diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/maybe.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index 7ff61a642..ca86ab509 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -36,7 +36,7 @@ ($equivalence.spec (/.equivalence n.equivalence) (random.maybe random.nat))) (_.for [/.hash] (|> random.nat - (at random.monad each (|>> {.#Some})) + (of random.monad each (|>> {.#Some})) ($hash.spec (/.hash n.hash)))) (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.maybe random.nat))) @@ -80,7 +80,7 @@ (do random.monad [value random.nat] (_.coverage [/.list] - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = (list value) (/.list {.#Some value})))) (do random.monad |