diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/bits.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/bits.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index b03ccee8c..72bd8a31f 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -17,16 +17,16 @@ (def: (size min max) (-> Nat Nat (Random Nat)) (|> random.nat - (# random.monad each (|>> (n.% (++ max)) (n.max min))))) + (at random.monad each (|>> (n.% (++ max)) (n.max min))))) (def: .public random (Random Bits) (do [! random.monad] - [size (# ! each (n.% 1,000) random.nat)] + [size (at ! each (n.% 1,000) random.nat)] (case size 0 (in /.empty) _ (do [! random.monad] - [idx (|> random.nat (# ! each (n.% size)))] + [idx (|> random.nat (at ! each (n.% size)))] (in (/.one idx /.empty)))))) (def: .public test @@ -47,8 +47,8 @@ (/.empty? /.empty)) (do [! random.monad] - [size (# ! each (|>> (n.% 1,000) ++) random.nat) - idx (# ! each (n.% size) random.nat) + [size (at ! each (|>> (n.% 1,000) ++) random.nat) + idx (at ! each (n.% size) random.nat) sample ..random] (all _.and (_.coverage [/.bit /.one] @@ -79,17 +79,17 @@ (_.coverage [/.not] (and (same? /.empty (/.not /.empty)) (or (same? /.empty sample) - (and (not (# /.equivalence = sample (/.not sample))) - (# /.equivalence = sample (/.not (/.not sample))))))) + (and (not (at /.equivalence = sample (/.not sample))) + (at /.equivalence = sample (/.not (/.not sample))))))) (_.coverage [/.xor] (and (same? /.empty (/.xor sample sample)) (n.= (/.size (/.xor sample (/.not sample))) (/.capacity sample)))) (_.coverage [/.or] - (and (# /.equivalence = sample (/.or sample sample)) + (and (at /.equivalence = sample (/.or sample sample)) (n.= (/.size (/.or sample (/.not sample))) (/.capacity sample)))) (_.coverage [/.and] - (and (# /.equivalence = sample (/.and sample sample)) + (and (at /.equivalence = sample (/.and sample sample)) (same? /.empty (/.and sample (/.not sample))))) ))))) |