diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 4d85a6e90..cc504777c 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -16,7 +16,7 @@ (def: (left-identity injection comparison (^open "_@.")) (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) - (do random.monad + (do {@ random.monad} [sample random.nat morphism (:: @ map (function (_ diff) (|>> (n.+ diff) _@wrap)) @@ -37,7 +37,7 @@ (def: (associativity injection comparison (^open "_@.")) (All [f] (-> (Injection f) (Comparison f) (Monad f) Test)) - (do random.monad + (do {@ random.monad} [sample random.nat increase (:: @ map (function (_ diff) (|>> (n.+ diff) _@wrap)) |