aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/math/number
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/math/number.lux28
-rw-r--r--stdlib/source/test/lux/math/number/complex.lux16
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux22
-rw-r--r--stdlib/source/test/lux/math/number/i16.lux10
-rw-r--r--stdlib/source/test/lux/math/number/i32.lux10
-rw-r--r--stdlib/source/test/lux/math/number/i64.lux12
-rw-r--r--stdlib/source/test/lux/math/number/i8.lux10
-rw-r--r--stdlib/source/test/lux/math/number/int.lux22
-rw-r--r--stdlib/source/test/lux/math/number/nat.lux20
-rw-r--r--stdlib/source/test/lux/math/number/ratio.lux20
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux22
11 files changed, 96 insertions, 96 deletions
diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux
index 432b2c10e..861a8bfdb 100644
--- a/stdlib/source/test/lux/math/number.lux
+++ b/stdlib/source/test/lux/math/number.lux
@@ -3,26 +3,26 @@
[lux "*"
["_" test {"+" [Test]}]
[control
- ["." try]]
+ ["[0]" try]]
[data
- ["." text]]]]
+ ["[0]" text]]]]
[\\library
- ["." /
+ ["[0]" /
["n" nat]
["i" int]
["r" rev]
["f" frac]]]
- ["." / "_"
- ["#." i8]
- ["#." i16]
- ["#." i32]
- ["#." i64]
- ["#." nat]
- ["#." int]
- ["#." rev]
- ["#." frac]
- ["#." ratio]
- ["#." complex]])
+ ["[0]" / "_"
+ ["[1][0]" i8]
+ ["[1][0]" i16]
+ ["[1][0]" i32]
+ ["[1][0]" i64]
+ ["[1][0]" nat]
+ ["[1][0]" int]
+ ["[1][0]" rev]
+ ["[1][0]" frac]
+ ["[1][0]" ratio]
+ ["[1][0]" complex]])
(def: clean_commas
(-> Text Text)
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index 94a903f79..9e002f43a 100644
--- a/stdlib/source/test/lux/math/number/complex.lux
+++ b/stdlib/source/test/lux/math/number/complex.lux
@@ -6,20 +6,20 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." order]
- ["$." codec]]]
+ ["$[0]" equivalence]
+ ["$[0]" order]
+ ["$[0]" codec]]]
[data
[collection
- ["." list ("#\." functor)]]]
- ["." math
- ["." random {"+" [Random]}]]]]
+ ["[0]" list ("[1]\[0]" functor)]]]
+ ["[0]" math
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
+ ["[0]" /
[//
["n" nat]
["f" frac]
- ["." int]]]])
+ ["[0]" int]]]])
... This margin of error is necessary because floating-point arithmetic is not exact.
(def: margin_of_error
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index baedf891a..df89b033a 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -3,26 +3,26 @@
[lux "*"
["_" test {"+" [Test]}]
["@" target]
- ["." ffi]
+ ["[0]" ffi]
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." monoid]
- ["$." codec]]]
+ ["$[0]" equivalence]
+ ["$[0]" hash]
+ ["$[0]" order]
+ ["$[0]" monoid]
+ ["$[0]" codec]]]
[data
- ["." bit ("#\." equivalence)]]
+ ["[0]" bit ("[1]\[0]" equivalence)]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
+ ["[0]" /
[// "*"
["n" nat]
["i" int]
["r" rev]
- ["." i64]]]])
+ ["[0]" i64]]]])
(def: random
(Random Frac)
@@ -119,7 +119,7 @@
)))
(with_expansions [<jvm> (as_is (ffi.import: java/lang/Double
- ["#::."
+ ["[1]::[0]"
("static" doubleToRawLongBits [double] long)
("static" longBitsToDouble [long] double)]))]
(for {@.old (as_is <jvm>)
diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux
index 6f35f015c..bd767dcc5 100644
--- a/stdlib/source/test/lux/math/number/i16.lux
+++ b/stdlib/source/test/lux/math/number/i16.lux
@@ -5,14 +5,14 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
- ["/#" // "_"
+ ["[0]" /
+ ["/[1]" // "_"
["i" int]
- ["#." i64]]]])
+ ["[1][0]" i64]]]])
(def: .public random
(Random /.I16)
diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux
index 0548c3c86..b9af4c673 100644
--- a/stdlib/source/test/lux/math/number/i32.lux
+++ b/stdlib/source/test/lux/math/number/i32.lux
@@ -5,14 +5,14 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
- ["/#" // "_"
+ ["[0]" /
+ ["/[1]" // "_"
["i" int]
- ["#." i64]]]])
+ ["[1][0]" i64]]]])
(def: .public random
(Random /.I32)
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index 3a32cdd3b..fd8d55789 100644
--- a/stdlib/source/test/lux/math/number/i64.lux
+++ b/stdlib/source/test/lux/math/number/i64.lux
@@ -3,17 +3,17 @@
[lux "*"
["_" test {"+" [Test]}]
[data
- ["." bit ("#\." equivalence)]]
+ ["[0]" bit ("[1]\[0]" equivalence)]]
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." hash]
- ["$." monoid]]]
+ ["$[0]" equivalence]
+ ["$[0]" hash]
+ ["$[0]" monoid]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." / ("\." equivalence)
+ ["[0]" / ("\[0]" equivalence)
[// {"+" [hex]}
["n" nat]
["i" int]]]])
diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux
index 8eb7517f1..f56137631 100644
--- a/stdlib/source/test/lux/math/number/i8.lux
+++ b/stdlib/source/test/lux/math/number/i8.lux
@@ -5,14 +5,14 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
- ["/#" // "_"
+ ["[0]" /
+ ["/[1]" // "_"
["i" int]
- ["#." i64]]]])
+ ["[1][0]" i64]]]])
(def: .public random
(Random /.I8)
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index 3313c5c0a..6cb8f0bfc 100644
--- a/stdlib/source/test/lux/math/number/int.lux
+++ b/stdlib/source/test/lux/math/number/int.lux
@@ -5,23 +5,23 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." enum]
- ["$." interval]
- ["$." monoid]
- ["$." codec]]]
+ ["$[0]" equivalence]
+ ["$[0]" hash]
+ ["$[0]" order]
+ ["$[0]" enum]
+ ["$[0]" interval]
+ ["$[0]" monoid]
+ ["$[0]" codec]]]
[data
- ["." bit ("#\." equivalence)]]
+ ["[0]" bit ("[1]\[0]" equivalence)]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
+ ["[0]" /
[//
["n" nat]
["f" frac]
- ["." i64]]]])
+ ["[0]" i64]]]])
(def: signature
Test
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index 2084821f7..2acfa18f1 100644
--- a/stdlib/source/test/lux/math/number/nat.lux
+++ b/stdlib/source/test/lux/math/number/nat.lux
@@ -5,19 +5,19 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." enum]
- ["$." interval]
- ["$." monoid]
- ["$." codec]]]
+ ["$[0]" equivalence]
+ ["$[0]" hash]
+ ["$[0]" order]
+ ["$[0]" enum]
+ ["$[0]" interval]
+ ["$[0]" monoid]
+ ["$[0]" codec]]]
[data
- ["." bit ("#\." equivalence)]]
+ ["[0]" bit ("[1]\[0]" equivalence)]]
[math
- ["." random]]]]
+ ["[0]" random]]]]
[\\library
- ["." /
+ ["[0]" /
[//
["f" frac]]]])
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux
index d7510c97a..332345387 100644
--- a/stdlib/source/test/lux/math/number/ratio.lux
+++ b/stdlib/source/test/lux/math/number/ratio.lux
@@ -5,20 +5,20 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." order]
- ["$." monoid]
- ["$." codec]]]
+ ["$[0]" equivalence]
+ ["$[0]" order]
+ ["$[0]" monoid]
+ ["$[0]" codec]]]
[control
- ["." maybe ("#\." functor)]]
+ ["[0]" maybe ("[1]\[0]" functor)]]
[data
- ["." bit ("#\." equivalence)]]
+ ["[0]" bit ("[1]\[0]" equivalence)]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
+ ["[0]" /
[//
- ["n" nat ("#\." equivalence)]]]])
+ ["n" nat ("[1]\[0]" equivalence)]]]])
(def: part
(Random Nat)
@@ -54,7 +54,7 @@
($codec.spec /.equivalence /.codec ..random))
(do random.monad
- [.let [(^open "\.") /.equivalence]
+ [.let [(^open "\[0]") /.equivalence]
denom/0 ..part
denom/1 ..part]
(_.cover [/.ratio]
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index bb379d597..a15b3f3f5 100644
--- a/stdlib/source/test/lux/math/number/rev.lux
+++ b/stdlib/source/test/lux/math/number/rev.lux
@@ -5,23 +5,23 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." hash]
- ["$." order]
- ["$." enum]
- ["$." interval]
- ["$." monoid]
- ["$." codec]]]
+ ["$[0]" equivalence]
+ ["$[0]" hash]
+ ["$[0]" order]
+ ["$[0]" enum]
+ ["$[0]" interval]
+ ["$[0]" monoid]
+ ["$[0]" codec]]]
[data
- ["." bit ("#\." equivalence)]]
+ ["[0]" bit ("[1]\[0]" equivalence)]]
[math
- ["." random]]]]
+ ["[0]" random]]]]
[\\library
- ["." /
+ ["[0]" /
[// {"+" [hex]}
["n" nat]
["f" frac]
- ["." i64 ("#\." hash)]]]])
+ ["[0]" i64 ("[1]\[0]" hash)]]]])
(def: signature
Test
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 06:46:34 +0000