Add {Integer,Natural}/toDouble (#10)

I had forgotten to mirror these to the official Prelude when I added them to the Prelude used by the Haskell implementation
dhall-lang · Sep 10, 2018 · 4e565d6 · 4e565d6
1 parent 0c83aed
commit 4e565d6
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/Integer/toDouble b/Integer/toDouble
@@ -0,0 +1,12 @@
+{-
+Convert an `Integer` to the corresponding `Double`
+
+Examples:
+
+```
+./toDouble -3 = -3.0
+
+./toDouble +2 = 2.0
+```
+-}
+let toDouble : Integer → Double = Integer/toDouble in toDouble
diff --git a/Natural/toDouble b/Natural/toDouble
@@ -0,0 +1,16 @@
+{-
+Convert a `Natural` number to the corresponding `Double`
+
+Examples:
+
+```
+./toDouble 3 = 3.0
+
+./toDouble 0 = 0.0
+```
+-}
+    let toDouble
+        : Natural → Double
+        = λ(n : Natural) → Integer/toDouble (Natural/toInteger n)
+
+in  toDouble