diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/data/maybe.lux | 23 |
1 files changed, 7 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux index 9b3a77ff9..4aa89f85f 100644 --- a/stdlib/source/test/lux/data/maybe.lux +++ b/stdlib/source/test/lux/data/maybe.lux @@ -6,10 +6,10 @@ [monad (#+ do)] {[0 #test] [/ - ["$." functor (#+ Injection Comparison)] + ["$." equivalence] + ["$." functor] ["$." apply] - ["$." monad] - ["$." equivalence]]}] + ["$." monad]]}] [data ["." text format] @@ -19,16 +19,7 @@ [math ["r" random (#+ Random)]]] {1 - ["." / ("#@." monoid)]}) - -(def: injection - (Injection Maybe) - (|>> #.Some)) - -(def: comparison - (Comparison Maybe) - (function (_ ==) - (:: (/.equivalence ==) =))) + ["." / ("#@." monoid monad)]}) (def: #export maybe (All [a] (-> (Random a) (Random (Maybe a)))) @@ -39,9 +30,9 @@ (<| (_.context (%name (name-of .Maybe))) ($_ _.and ($equivalence.spec (/.equivalence nat.equivalence) (..maybe r.nat)) - ($functor.spec ..injection ..comparison /.functor) - ($apply.spec ..injection ..comparison /.apply) - ($monad.spec ..injection ..comparison /.monad) + ($functor.spec /@wrap /.equivalence /.functor) + ($apply.spec /@wrap /.equivalence /.apply) + ($monad.spec /@wrap /.equivalence /.monad) (do r.monad [left r.nat |