diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/data/collection/set/ordered.lux | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 64a1dc4bb..d35037fd9 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -21,7 +21,7 @@ (def: size (random.Random Nat) - (# random.monad each (n.% 100) random.nat)) + (at random.monad each (n.% 100) random.nat)) (def: .public (random size order gen_value) (All (_ a) (-> Nat (Order a) (Random a) (Random (Set a)))) @@ -47,7 +47,7 @@ non_memberL (random.only (|>> (//.member? usetL) not) random.nat) .let [listL (//.list usetL)] - listR (|> (random.set n.hash sizeR random.nat) (# ! each //.list)) + listR (|> (random.set n.hash sizeR random.nat) (at ! each //.list)) .let [(open "/#[0]") /.equivalence setL (/.of_list n.order listL) setR (/.of_list n.order listR) @@ -64,9 +64,9 @@ (_.coverage [/.empty] (/.empty? (/.empty n.order))) (_.coverage [/.list] - (# (list.equivalence n.equivalence) = - (/.list (/.of_list n.order listL)) - (list.sorted (# n.order <) listL))) + (at (list.equivalence n.equivalence) = + (/.list (/.of_list n.order listL)) + (list.sorted (at n.order <) listL))) (_.coverage [/.of_list] (|> setL /.list (/.of_list n.order) @@ -101,7 +101,7 @@ (|> setL (/.has non_memberL) (/.lacks non_memberL) - (# /.equivalence = setL))) + (at /.equivalence = setL))) (_.coverage [/.sub?] (let [self! (/.sub? setL setL) @@ -126,23 +126,23 @@ (~~ (template [<coverage> <relation> <empty?>] [(_.coverage [<coverage>] (let [self! - (# /.equivalence = - setL - (<coverage> setL setL)) + (at /.equivalence = + setL + (<coverage> setL setL)) super! (and (<relation> (<coverage> setL setR) setL) (<relation> (<coverage> setL setR) setR)) empty! - (# /.equivalence = - (if <empty?> empty setL) - (<coverage> setL empty)) + (at /.equivalence = + (if <empty?> empty setL) + (<coverage> setL empty)) idempotence! - (# /.equivalence = - (<coverage> setL (<coverage> setL setR)) - (<coverage> setR (<coverage> setL setR)))] + (at /.equivalence = + (<coverage> setL (<coverage> setL setR)) + (<coverage> setR (<coverage> setL setR)))] (and self! super! empty! @@ -155,21 +155,21 @@ (let [self! (|> setL (/.difference setL) - (# /.equivalence = empty)) + (at /.equivalence = empty)) empty! (|> setL (/.difference empty) - (# /.equivalence = setL)) + (at /.equivalence = setL)) difference! (not (list.any? (/.member? (/.difference setL setR)) (/.list setL))) idempotence! - (# /.equivalence = - (/.difference setL setR) - (/.difference setL (/.difference setL setR)))] + (at /.equivalence = + (/.difference setL setR) + (/.difference setL (/.difference setL setR)))] (and self! empty! difference! |