diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/abstract/predicate.lux | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 1a0d457db..ab101ea76 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -6,8 +6,9 @@ [monad (#+ do)] {[0 #spec] [/ + ["$." monoid] [functor - ["." contravariant]]]}] + ["$." contravariant]]]}] [control ["." function]] [data @@ -18,8 +19,6 @@ ["." list]]] [math ["." random (#+ Random)]]] - ["." // #_ - ["#." monoid]] {1 ["." /]}) @@ -43,16 +42,16 @@ (_.with-cover [/.Predicate]) ($_ _.and (_.with-cover [/.functor] - (contravariant.spec equivalence (multiple? 2) /.functor)) + ($contravariant.spec equivalence (multiple? 2) /.functor)) (let [generator (: (Random (/.Predicate Nat)) (|> random.nat (random.filter (|>> (n.= 0) not)) (:: @ map multiple?)))] ($_ _.and (_.with-cover [/.union] - (//monoid.spec equivalence /.union generator)) + ($monoid.spec equivalence /.union generator)) (_.with-cover [/.intersection] - (//monoid.spec equivalence /.intersection generator)))) + ($monoid.spec equivalence /.intersection generator)))) (_.cover [/.none] (bit@= false (/.none sample))) |