diff options
Diffstat (limited to 'stdlib/source/test/lux/control/maybe.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/maybe.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index a9b64e197..b9f6c89df 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -8,8 +8,8 @@ ["[1]T" \\test]] ["[0]" apply ["[1]T" \\test]] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]] ["[0]" equivalence @@ -41,7 +41,7 @@ (_.for [/.hash] (|> random.nat (of random.monad each (|>> {.#Some})) - ($hash.spec (/.hash n.hash)))) + (hashT.spec (/.hash n.hash)))) (_.for [/.monoid] (monoidT.spec (/.equivalence n.equivalence) /.monoid (random.maybe random.nat))) (_.for [/.functor] |