diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/row.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/row.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index 716b03168..7a51ff797 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -15,16 +15,16 @@ ["." try (#+ Try)] ["." exception]] [data - ["." bit ("#@." equivalence)] + ["." bit ("#\." equivalence)] [number ["n" nat]] [collection - ["." list ("#@." fold)] + ["." list ("#\." fold)] ["." set]]] [math ["." random]]] {1 - ["." / ("#@." monad)]}) + ["." / ("#\." monad)]}) (def: signatures Test @@ -36,13 +36,13 @@ (_.with-cover [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.row size random.nat))) (_.with-cover [/.fold] - ($fold.spec /@wrap /.equivalence /.fold)) + ($fold.spec /\wrap /.equivalence /.fold)) (_.with-cover [/.functor] - ($functor.spec /@wrap /.equivalence /.functor)) + ($functor.spec /\wrap /.equivalence /.functor)) (_.with-cover [/.apply] - ($apply.spec /@wrap /.equivalence /.apply)) + ($apply.spec /\wrap /.equivalence /.apply)) (_.with-cover [/.monad] - ($monad.spec /@wrap /.equivalence /.monad)) + ($monad.spec /\wrap /.equivalence /.monad)) ))) (def: whole @@ -51,24 +51,24 @@ [size (:: ! map (n.% 100) random.nat) sample (random.set n.hash size random.nat) #let [sample (|> sample set.to-list /.from-list)] - #let [(^open "/@.") (/.equivalence n.equivalence)]] + #let [(^open "/\.") (/.equivalence n.equivalence)]] ($_ _.and (_.cover [/.size] (n.= size (/.size sample))) (_.cover [/.empty?] - (bit@= (/.empty? sample) (n.= 0 (/.size sample)))) + (bit\= (/.empty? sample) (n.= 0 (/.size sample)))) (_.cover [/.empty] (/.empty? /.empty)) (_.cover [/.to-list /.from-list] - (|> sample /.to-list /.from-list (/@= sample))) + (|> sample /.to-list /.from-list (/\= sample))) (_.cover [/.reverse] (or (n.< 2 (/.size sample)) (let [not-same! - (not (/@= sample + (not (/\= sample (/.reverse sample))) self-symmetry! - (/@= sample + (/\= sample (/.reverse (/.reverse sample)))] (and not-same! self-symmetry!)))) @@ -145,14 +145,14 @@ non-member (random.filter (|>> (set.member? sample) not) random.nat) #let [sample (|> sample set.to-list /.from-list)] - #let [(^open "/@.") (/.equivalence n.equivalence)]] + #let [(^open "/\.") (/.equivalence n.equivalence)]] ($_ _.and (do ! [value/0 random.nat value/1 random.nat value/2 random.nat] (_.cover [/.row] - (/@= (/.from-list (list value/0 value/1 value/2)) + (/\= (/.from-list (list value/0 value/1 value/2)) (/.row value/0 value/1 value/2)))) (_.cover [/.member?] (and (list.every? (/.member? n.equivalence sample) @@ -180,7 +180,7 @@ (|> sample (/.add non-member) /.pop - (/@= sample))] + (/\= sample))] (and expected-size! symmetry!)))) )) |