aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/data')
-rw-r--r--stdlib/source/test/lux/data/bit.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/row.lux26
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux4
-rw-r--r--stdlib/source/test/lux/data/color.lux4
-rw-r--r--stdlib/source/test/lux/data/error.lux4
-rw-r--r--stdlib/source/test/lux/data/format/json.lux4
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux4
-rw-r--r--stdlib/source/test/lux/data/identity.lux4
-rw-r--r--stdlib/source/test/lux/data/lazy.lux4
-rw-r--r--stdlib/source/test/lux/data/maybe.lux4
-rw-r--r--stdlib/source/test/lux/data/name.lux4
-rw-r--r--stdlib/source/test/lux/data/number/complex.lux4
-rw-r--r--stdlib/source/test/lux/data/number/frac.lux10
-rw-r--r--stdlib/source/test/lux/data/number/i64.lux4
-rw-r--r--stdlib/source/test/lux/data/number/int.lux8
-rw-r--r--stdlib/source/test/lux/data/number/nat.lux8
-rw-r--r--stdlib/source/test/lux/data/number/ratio.lux6
-rw-r--r--stdlib/source/test/lux/data/number/rev.lux8
-rw-r--r--stdlib/source/test/lux/data/product.lux4
-rw-r--r--stdlib/source/test/lux/data/sum.lux4
-rw-r--r--stdlib/source/test/lux/data/text.lux4
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux4
34 files changed, 93 insertions, 93 deletions
diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux
index eebca5f2a..7dda82016 100644
--- a/stdlib/source/test/lux/data/bit.lux
+++ b/stdlib/source/test/lux/data/bit.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
["r" math/random]
[abstract
@@ -17,7 +17,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of .Bit)))
+ (<| (_.context (%.name (name-of .Bit)))
(do r.monad
[value r.bit]
($_ _.and
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index c210a9163..50b1fcc71 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do Monad)]
@@ -34,7 +34,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Array)))
+ (<| (_.context (%.name (name-of /.Array)))
(do r.monad
[size bounded-size]
($_ _.and
diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux
index 4b9743912..b0f4dec0e 100644
--- a/stdlib/source/test/lux/data/collection/bits.lux
+++ b/stdlib/source/test/lux/data/collection/bits.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -27,7 +27,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
($_ _.and
($equivalence.spec /.equivalence ..bits)
(do r.monad
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux
index 863c47973..4512c0bec 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -26,7 +26,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Dictionary)))
+ (<| (_.context (%.name (name-of /.Dictionary)))
(do r.monad
[#let [capped-nat (:: r.monad map (n/% 100) r.nat)]
size capped-nat
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index 57dab9884..28119cd93 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -39,7 +39,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Dictionary)))
+ (<| (_.context (%.name (name-of /.Dictionary)))
(do r.monad
[size (|> r.nat (:: @ map (n/% 100)))
keys (r.set nat.hash size r.nat)
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index fb97c3d32..77d473fd6 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -64,7 +64,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of .List)))
+ (<| (_.context (%.name (name-of .List)))
(do r.monad
[size bounded-size
#let [(^open "/@.") (/.equivalence nat.equivalence)
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index 506cf15e3..f9a32c0c8 100644
--- a/stdlib/source/test/lux/data/collection/queue.lux
+++ b/stdlib/source/test/lux/data/collection/queue.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -22,7 +22,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Queue)))
+ (<| (_.context (%.name (name-of /.Queue)))
(do r.monad
[size (:: @ map (n/% 100) r.nat)
sample (r.queue size r.nat)
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux
index 4c4f2923a..9464819a3 100644
--- a/stdlib/source/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/test/lux/data/collection/queue/priority.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
["." monad (#+ do)]]
@@ -26,7 +26,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Queue)))
+ (<| (_.context (%.name (name-of /.Queue)))
(do r.monad
[size (|> r.nat (:: @ map (n/% 100)))
sample (..queue size)
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux
index 15085776b..7afbafd59 100644
--- a/stdlib/source/test/lux/data/collection/row.lux
+++ b/stdlib/source/test/lux/data/collection/row.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -25,7 +25,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(do r.monad
[size (|> r.nat (:: @ map (|>> (n/% 100) (n/max 10))))]
($_ _.and
@@ -43,35 +43,35 @@
non-member (|> r.nat (r.filter (|>> (/.member? nat.equivalence sample) not)))
#let [(^open "/@.") (/.equivalence nat.equivalence)]]
($_ _.and
- (_.test (format (%name (name-of /.size))
- " " (%name (name-of /.empty?)))
+ (_.test (format (%.name (name-of /.size))
+ " " (%.name (name-of /.empty?)))
(if (/.empty? sample)
(and (n/= 0 size)
(n/= 0 (/.size sample)))
(n/= size (/.size sample))))
- (_.test (format (%name (name-of /.add))
- " " (%name (name-of /.pop)))
+ (_.test (format (%.name (name-of /.add))
+ " " (%.name (name-of /.pop)))
(and (n/= (inc size) (/.size (/.add non-member sample)))
(n/= (dec size) (/.size (/.pop sample)))))
- (_.test (format (%name (name-of /.put))
- " " (%name (name-of /.nth)))
+ (_.test (format (%.name (name-of /.put))
+ " " (%.name (name-of /.nth)))
(|> sample
(/.put idx non-member)
(/.nth idx)
maybe.assume
(is? non-member)))
- (_.test (%name (name-of /.update))
+ (_.test (%.name (name-of /.update))
(|> sample
(/.put idx non-member) (/.update idx inc)
(/.nth idx) maybe.assume
(n/= (inc non-member))))
- (_.test (format (%name (name-of /.to-list))
- " " (%name (name-of /.from-list)))
+ (_.test (format (%.name (name-of /.to-list))
+ " " (%.name (name-of /.from-list)))
(|> sample /.to-list /.from-list (/@= sample)))
- (_.test (%name (name-of /.member?))
+ (_.test (%.name (name-of /.member?))
(and (not (/.member? nat.equivalence sample non-member))
(/.member? nat.equivalence (/.add non-member sample) non-member)))
- (_.test (%name (name-of /.reverse))
+ (_.test (%.name (name-of /.reverse))
(and (not (/@= sample
(/.reverse sample)))
(/@= sample
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index 19926ca92..2beb3599f 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
comonad
@@ -20,7 +20,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Sequence)))
+ (<| (_.context (%.name (name-of /.Sequence)))
(do r.monad
[size (|> r.nat (:: @ map (|>> (n/% 100) (n/max 2))))
offset (|> r.nat (:: @ map (n/% 100)))
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index f272cf305..6e668af56 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -25,7 +25,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Set)))
+ (<| (_.context (%.name (name-of /.Set)))
(do r.monad
[size gen-nat]
($_ _.and
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index 4bddfaf33..fa7c00798 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -39,7 +39,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Set)))
+ (<| (_.context (%.name (name-of /.Set)))
($_ _.and
(do r.monad
[size gen-nat]
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index 05b8efc47..74ddf6c86 100644
--- a/stdlib/source/test/lux/data/collection/stack.lux
+++ b/stdlib/source/test/lux/data/collection/stack.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -28,7 +28,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(do r.monad
[size gen-nat
sample (r.stack size gen-nat)
@@ -37,13 +37,13 @@
($equivalence.spec (/.equivalence nat.equivalence) (r.stack size r.nat))
($functor.spec ..injection /.equivalence /.functor)
- (_.test (%name (name-of /.size))
+ (_.test (%.name (name-of /.size))
(n/= size (/.size sample)))
- (_.test (%name (name-of /.peek))
+ (_.test (%.name (name-of /.peek))
(case (/.peek sample)
#.None (/.empty? sample)
(#.Some _) (not (/.empty? sample))))
- (_.test (%name (name-of /.pop))
+ (_.test (%.name (name-of /.pop))
(case (/.size sample)
0 (case (/.pop sample)
#.None
@@ -58,7 +58,7 @@
#.None
false)))
- (_.test (%name (name-of /.push))
+ (_.test (%.name (name-of /.push))
(and (is? sample
(|> sample (/.push new-top) /.pop maybe.assume))
(n/= (inc (/.size sample))
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index 65b46e382..1506494c8 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -47,7 +47,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Tree)))
+ (<| (_.context (%.name (name-of /.Tree)))
(do r.monad
[size (:: @ map (|>> (n/% 100) (n/+ 1)) r.nat)]
($_ _.and
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index f4b812420..71d5a71cd 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract/monad (#+ do Monad)]
[control
@@ -22,7 +22,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Zipper)))
+ (<| (_.context (%.name (name-of /.Zipper)))
(do r.monad
[size (:: @ map (|>> (n/% 90) (n/+ 10)) r.nat)
sample (//.tree size r.nat)
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index a8a61cb46..86abba0a3 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -7,7 +7,7 @@
[/
["$." equivalence]]}]
[data
- text/format
+ ["%" text/format (#+ format)]
[number
["." frac ("#@." number)]]]
["." math
@@ -52,7 +52,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(do r.monad
[any ..color
colorful (|> color
diff --git a/stdlib/source/test/lux/data/error.lux b/stdlib/source/test/lux/data/error.lux
index f65128ec3..340b4b73b 100644
--- a/stdlib/source/test/lux/data/error.lux
+++ b/stdlib/source/test/lux/data/error.lux
@@ -13,7 +13,7 @@
pipe
["." io]]
[data
- text/format
+ ["%" text/format (#+ format)]
[number
["." nat]]]
[math
@@ -38,7 +38,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
($_ _.and
($equivalence.spec (/.equivalence nat.equivalence) (..error r.nat))
($functor.spec ..injection ..comparison /.functor)
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index c2826143a..61cf67a6c 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
codec
@@ -63,7 +63,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
($_ _.and
($equivalence.spec /.equivalence ..json)
($codec.spec /.equivalence /.codec ..json)
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index 0ad940971..6ca73269a 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -1,6 +1,6 @@
(.module:
[lux (#- char)
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ Monad do)]
@@ -66,7 +66,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.XML)))
+ (<| (_.context (%.name (name-of /.XML)))
($_ _.and
($equivalence.spec /.equivalence ..xml)
($codec.spec /.equivalence /.codec ..xml)
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux
index 3d0ae44c2..cd9f480fa 100644
--- a/stdlib/source/test/lux/data/identity.lux
+++ b/stdlib/source/test/lux/data/identity.lux
@@ -13,7 +13,7 @@
["$." monad]]}]
[data
["." text ("#@." monoid equivalence)
- format]]]
+ ["%" format (#+ format)]]]]
{1
["." / (#+ Identity)]})
@@ -28,7 +28,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Identity)))
+ (<| (_.context (%.name (name-of /.Identity)))
($_ _.and
($functor.spec ..injection ..comparison /.functor)
($apply.spec ..injection ..comparison /.apply)
diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux
index 62b1273e4..cfc096326 100644
--- a/stdlib/source/test/lux/data/lazy.lux
+++ b/stdlib/source/test/lux/data/lazy.lux
@@ -10,7 +10,7 @@
["$." monad]
["$." equivalence]]}]
[data
- text/format
+ ["%" text/format (#+ format)]
[number
["." nat]]]
[math
@@ -33,7 +33,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.Lazy)))
+ (<| (_.context (%.name (name-of /.Lazy)))
(do r.monad
[left r.nat
right r.nat
diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux
index a92141bd9..60d154a7a 100644
--- a/stdlib/source/test/lux/data/maybe.lux
+++ b/stdlib/source/test/lux/data/maybe.lux
@@ -14,7 +14,7 @@
pipe]
[data
["." text
- format]
+ ["%" format (#+ format)]]
[number
["." nat]]]
[math
@@ -28,7 +28,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of .Maybe)))
+ (<| (_.context (%.name (name-of .Maybe)))
($_ _.and
($equivalence.spec (/.equivalence nat.equivalence) (..maybe r.nat))
($functor.spec /@wrap /.equivalence /.functor)
diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux
index d9ee517d0..63acad50b 100644
--- a/stdlib/source/test/lux/data/name.lux
+++ b/stdlib/source/test/lux/data/name.lux
@@ -11,7 +11,7 @@
pipe]
[data
["." text ("#@." equivalence)
- format]]
+ ["%" format (#+ format)]]]
[math
["r" random (#+ Random)]]]
{1
@@ -28,7 +28,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of .Name)))
+ (<| (_.context (%.name (name-of .Name)))
(do r.monad
[## First Name
sizeM1 (|> r.nat (:: @ map (n/% 100)))
diff --git a/stdlib/source/test/lux/data/number/complex.lux b/stdlib/source/test/lux/data/number/complex.lux
index 644db8e27..6d7689582 100644
--- a/stdlib/source/test/lux/data/number/complex.lux
+++ b/stdlib/source/test/lux/data/number/complex.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -193,7 +193,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
($_ _.and
..construction
..absolute-value
diff --git a/stdlib/source/test/lux/data/number/frac.lux b/stdlib/source/test/lux/data/number/frac.lux
index 544ab858c..e683fb134 100644
--- a/stdlib/source/test/lux/data/number/frac.lux
+++ b/stdlib/source/test/lux/data/number/frac.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -20,20 +20,20 @@
(def: #export test
Test
(let [gen-frac (:: r.monad map (|>> (i/% +100) .int-to-frac) r.int)]
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(`` ($_ _.and
($equivalence.spec /.equivalence gen-frac)
($order.spec /.order gen-frac)
($number.spec /.order /.number gen-frac)
(~~ (template [<monoid>]
- [(<| (_.context (%name (name-of <monoid>)))
+ [(<| (_.context (%.name (name-of <monoid>)))
($monoid.spec /.equivalence <monoid> gen-frac))]
[/.addition] [/.multiplication] [/.minimum] [/.maximum]
))
## TODO: Uncomment ASAP
## (~~ (template [<codec>]
- ## [(<| (_.context (%name (name-of /.binary)))
+ ## [(<| (_.context (%.name (name-of /.binary)))
## ($codec.spec /.equivalence <codec> gen-frac))]
## [/.binary] [/.octal] [/.decimal] [/.hex]
@@ -48,6 +48,6 @@
(hex "+dead,BE.EF"))))
(do r.monad
[sample gen-frac]
- (_.test (format (%name (name-of /.frac-to-bits)) " " (%name (name-of /.bits-to-frac)))
+ (_.test (format (%.name (name-of /.frac-to-bits)) " " (%.name (name-of /.bits-to-frac)))
(|> sample /.frac-to-bits /.bits-to-frac (f/= sample))))
)))))
diff --git a/stdlib/source/test/lux/data/number/i64.lux b/stdlib/source/test/lux/data/number/i64.lux
index 1519b1e48..c4124669b 100644
--- a/stdlib/source/test/lux/data/number/i64.lux
+++ b/stdlib/source/test/lux/data/number/i64.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -16,7 +16,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(do r.monad
[pattern r.nat
idx (:: @ map (n/% /.width) r.nat)]
diff --git a/stdlib/source/test/lux/data/number/int.lux b/stdlib/source/test/lux/data/number/int.lux
index 5b0d523ae..4fa93051b 100644
--- a/stdlib/source/test/lux/data/number/int.lux
+++ b/stdlib/source/test/lux/data/number/int.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -21,7 +21,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(`` ($_ _.and
($equivalence.spec /.equivalence r.int)
($order.spec /.order r.int)
@@ -29,13 +29,13 @@
($enum.spec /.enum r.int)
($interval.spec /.interval r.int)
(~~ (template [<monoid>]
- [(<| (_.context (%name (name-of <monoid>)))
+ [(<| (_.context (%.name (name-of <monoid>)))
($monoid.spec /.equivalence <monoid> r.int))]
[/.addition] [/.multiplication] [/.minimum] [/.maximum]
))
(~~ (template [<codec>]
- [(<| (_.context (%name (name-of /.binary)))
+ [(<| (_.context (%.name (name-of /.binary)))
($codec.spec /.equivalence <codec> r.int))]
[/.binary] [/.octal] [/.decimal] [/.hex]
diff --git a/stdlib/source/test/lux/data/number/nat.lux b/stdlib/source/test/lux/data/number/nat.lux
index 4c46b4b0c..dda227223 100644
--- a/stdlib/source/test/lux/data/number/nat.lux
+++ b/stdlib/source/test/lux/data/number/nat.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -21,7 +21,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(`` ($_ _.and
($equivalence.spec /.equivalence r.nat)
($order.spec /.order r.nat)
@@ -29,13 +29,13 @@
($enum.spec /.enum r.nat)
($interval.spec /.interval r.nat)
(~~ (template [<monoid>]
- [(<| (_.context (%name (name-of <monoid>)))
+ [(<| (_.context (%.name (name-of <monoid>)))
($monoid.spec /.equivalence <monoid> r.nat))]
[/.addition] [/.multiplication] [/.minimum] [/.maximum]
))
(~~ (template [<codec>]
- [(<| (_.context (%name (name-of /.binary)))
+ [(<| (_.context (%.name (name-of /.binary)))
($codec.spec /.equivalence <codec> r.nat))]
[/.binary] [/.octal] [/.decimal] [/.hex]
diff --git a/stdlib/source/test/lux/data/number/ratio.lux b/stdlib/source/test/lux/data/number/ratio.lux
index f0ce55751..160a4fa53 100644
--- a/stdlib/source/test/lux/data/number/ratio.lux
+++ b/stdlib/source/test/lux/data/number/ratio.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -29,13 +29,13 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(`` ($_ _.and
($equivalence.spec /.equivalence ..ratio)
($order.spec /.order ..ratio)
($number.spec /.order /.number ..ratio)
(~~ (template [<monoid>]
- [(<| (_.context (%name (name-of <monoid>)))
+ [(<| (_.context (%.name (name-of <monoid>)))
($monoid.spec /.equivalence <monoid> ..ratio))]
[/.addition] [/.multiplication]
diff --git a/stdlib/source/test/lux/data/number/rev.lux b/stdlib/source/test/lux/data/number/rev.lux
index 308861368..9b25ae6af 100644
--- a/stdlib/source/test/lux/data/number/rev.lux
+++ b/stdlib/source/test/lux/data/number/rev.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
@@ -25,20 +25,20 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /._)))
+ (<| (_.context (%.name (name-of /._)))
(`` ($_ _.and
($equivalence.spec /.equivalence r.rev)
($order.spec /.order r.rev)
($enum.spec /.enum r.rev)
($interval.spec /.interval r.rev)
(~~ (template [<monoid>]
- [(<| (_.context (%name (name-of <monoid>)))
+ [(<| (_.context (%.name (name-of <monoid>)))
($monoid.spec /.equivalence <monoid> r.rev))]
[/.addition] [/.minimum] [/.maximum]
))
(~~ (template [<codec>]
- [(<| (_.context (%name (name-of /.binary)))
+ [(<| (_.context (%.name (name-of /.binary)))
($codec.spec /.equivalence <codec> r.rev))]
[/.binary] [/.octal] [/.decimal] [/.hex]
diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux
index 5e28aaf5e..b7522077c 100644
--- a/stdlib/source/test/lux/data/product.lux
+++ b/stdlib/source/test/lux/data/product.lux
@@ -1,13 +1,13 @@
(.module:
[lux #*
["_" test (#+ Test)]
- data/text/format]
+ ["%" data/text/format (#+ format)]]
{1
["." /]})
(def: #export test
Test
- (<| (_.context (%name (name-of .&)))
+ (<| (_.context (%.name (name-of .&)))
($_ _.and
(_.test "Can access the sides of a pair."
(and (i/= +1 (/.left [+1 +2]))
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index 2a7fa889e..29e02de04 100644
--- a/stdlib/source/test/lux/data/sum.lux
+++ b/stdlib/source/test/lux/data/sum.lux
@@ -1,7 +1,7 @@
(.module:
[lux #*
["_" test (#+ Test)]
- data/text/format
+ ["%" data/text/format (#+ format)]
[control
pipe]
[data
@@ -13,7 +13,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of .|)))
+ (<| (_.context (%.name (name-of .|)))
(let [(^open "list/.") (list.equivalence text.equivalence)]
($_ _.and
(_.test "Can inject values into Either."
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 20ad838b7..8adabf715 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract
[monad (#+ do Monad)]
@@ -25,7 +25,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of .Text)))
+ (<| (_.context (%.name (name-of .Text)))
($_ _.and
($equivalence.spec /.equivalence (r.ascii 2))
($order.spec /.order (r.ascii 2))
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 03f1e2f9c..61e1df77a 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- data/text/format
+ ["%" data/text/format (#+ format)]
["_" test (#+ Test)]
[abstract/monad (#+ do)]
[control
@@ -292,7 +292,7 @@
(def: #export test
Test
- (<| (_.context (%name (name-of /.regex)))
+ (<| (_.context (%.name (name-of /.regex)))
($_ _.and
..basics
..system-character-classes