diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/row.lux | 26 |
1 files changed, 13 insertions, 13 deletions
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 |