diff options
Diffstat (limited to 'stdlib/source/test/lux/control/state.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/state.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index a037f8a91..d537ca4de 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -85,7 +85,7 @@ [limit (|> random.nat (\ ! map (n.% 10))) #let [condition (do /.monad [state /.get] - (wrap (n.< limit state)))]] + (in (n.< limit state)))]] ($_ _.and (_.cover [/.while /.run] (|> (/.while condition (/.update inc)) @@ -111,9 +111,9 @@ (_.cover [/.State' /.with /.lift /.run'] (|> (: (/.State' io.IO Nat Nat) (do (/.with io.monad) - [a (/.lift io.monad (io\wrap left)) - b (wrap right)] - (wrap (n.+ a b)))) + [a (/.lift io.monad (io\in left)) + b (in right)] + (in (n.+ a b)))) (/.run' state) io.run (let> [state' output'] |