diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/refinement.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index 514d59e79..29856f4f5 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -29,10 +29,10 @@ (_.for [/.Refined]) (do [! random.monad] [raw random.nat - modulus (# ! each (|>> (n.% 10) (n.+ 2)) random.nat) + modulus (at ! each (|>> (n.% 10) (n.+ 2)) random.nat) .let [predicate (is (Predicate Nat) (|>> (n.% modulus) (n.= 0)))] - total_raws (# ! each (|>> (n.% 20) ++) random.nat) + total_raws (at ! each (|>> (n.% 20) ++) random.nat) raws (random.list total_raws random.nat)] (all _.and (_.for [/.Refiner] @@ -70,9 +70,9 @@ actual (/.only (/.refiner predicate) raws)] (and (n.= (list.size expected) (list.size actual)) - (# (list.equivalence n.equivalence) = - expected - (list#each /.value actual))))) + (at (list.equivalence n.equivalence) = + expected + (list#each /.value actual))))) (_.coverage [/.partition] (let [expected (list.only predicate raws) [actual alternative] (/.partition (/.refiner predicate) raws)] @@ -80,9 +80,9 @@ (list.size actual)) (n.= (n.- (list.size expected) total_raws) (list.size alternative)) - (# (list.equivalence n.equivalence) = - expected - (list#each /.value actual))))) + (at (list.equivalence n.equivalence) = + expected + (list#each /.value actual))))) (_.coverage [/.type] (exec (is (Maybe .._type) (.._refiner raw)) |