diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/list.lux')
-rw-r--r-- | stdlib/source/test/lux/data/collection/list.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 3b079d53d..93af39185 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -35,7 +35,7 @@ (def bounded_size (Random Nat) - (at random.monad each (n.% 100) + (of random.monad each (n.% 100) random.nat)) (def random @@ -44,7 +44,7 @@ [size ..bounded_size] (|> random.nat (random.set n.hash size) - (at ! each set.list)))) + (of ! each set.list)))) (def signatures Test @@ -53,7 +53,7 @@ ($equivalence.spec (/.equivalence n.equivalence) ..random)) (_.for [/.hash] (|> random.nat - (at random.monad each (|>> list)) + (of random.monad each (|>> list)) ($hash.spec (/.hash n.hash)))) (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid ..random)) @@ -90,12 +90,12 @@ (do [! random.monad] [size ..bounded_size .let [(open "/#[0]") (/.equivalence n.equivalence)] - sample (at ! each set.list (random.set n.hash size random.nat))] + sample (of ! each set.list (random.set n.hash size random.nat))] (all _.and (_.coverage [/.size] (n.= size (/.size sample))) (_.coverage [/.empty?] - (at bit.equivalence = + (of bit.equivalence = (/.empty? sample) (n.= 0 (/.size sample)))) (_.coverage [/.repeated] @@ -179,7 +179,7 @@ (do ! [index (when size 0 random.nat - _ (at ! each (n.% size) random.nat)) + _ (of ! each (n.% size) random.nat)) .let [changed? (/#= sample (/.revised index ++ sample)) same? (/#= sample (/.revised size ++ sample))]] (_.coverage [/.revised] @@ -197,8 +197,8 @@ [sample (random.only (|>> /.size (n.> 0)) ..random) .let [size (/.size sample)] - idx (at ! each (n.% size) random.nat) - sub_size (at ! each (|>> (n.% size) ++) random.nat)] + idx (of ! each (n.% size) random.nat) + sub_size (of ! each (|>> (n.% size) ++) random.nat)] (all _.and (_.coverage [/.only] (let [positives (/.only n.even? sample) @@ -342,10 +342,10 @@ (and size_of_smaller_list! can_extract_values!))) (_.coverage [/.zipped] - (and (at (/.equivalence (product.equivalence n.equivalence n.equivalence)) = + (and (of (/.equivalence (product.equivalence n.equivalence n.equivalence)) = (/.zipped_2 sample/0 sample/1) ((/.zipped 2) sample/0 sample/1)) - (at (/.equivalence (all product.equivalence n.equivalence n.equivalence n.equivalence)) = + (of (/.equivalence (all product.equivalence n.equivalence n.equivalence n.equivalence)) = (/.zipped_3 sample/0 sample/1 sample/2) ((/.zipped 3) sample/0 sample/1 sample/2)))) @@ -378,7 +378,7 @@ choice (is (-> Nat (Maybe Text)) (function (_ value) (if (n.even? value) - {.#Some (at n.decimal encoded value)} + {.#Some (of n.decimal encoded value)} {.#None})))] (do [! random.monad] [sample ..random] @@ -386,7 +386,7 @@ (_.coverage [/.one] (when [(|> sample (/.only n.even?) - (/#each (at n.decimal encoded)) + (/#each (of n.decimal encoded)) /.head) (/.one choice sample)] [{.#Some expected} {.#Some actual}] @@ -398,10 +398,10 @@ _ false)) (_.coverage [/.all] - (at (/.equivalence text.equivalence) = + (of (/.equivalence text.equivalence) = (|> sample (/.only n.even?) - (/#each (at n.decimal encoded))) + (/#each (of n.decimal encoded))) (/.all choice sample))) (_.coverage [/.example] (when (/.example n.even? sample) @@ -451,7 +451,7 @@ 0))))) (_.coverage [/.mixes] (/#= (/#each (function (_ index) - (at /.mix mix n.+ 0 (/.first index sample))) + (of /.mix mix n.+ 0 (/.first index sample))) (/.indices (++ (/.size sample)))) (/.mixes n.+ 0 sample))) (do random.monad |