diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
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 |