diff options
Diffstat (limited to 'stdlib/source/test/lux/control/state.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/state.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index 53622408d..a037f8a91 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -20,7 +20,7 @@ [\\library ["." / (#+ State)]]) -(def: (with-conditions [state output] computation) +(def: (with_conditions [state output] computation) (-> [Nat Nat] (State Nat Nat) Bit) (|> computation (/.run state) @@ -33,23 +33,23 @@ value random.nat] ($_ _.and (_.cover [/.State /.get] - (with-conditions [state state] + (with_conditions [state state] /.get)) (_.cover [/.put] - (with-conditions [state value] + (with_conditions [state value] (do /.monad [_ (/.put value)] /.get))) (_.cover [/.update] - (with-conditions [state (n.* value state)] + (with_conditions [state (n.* value state)] (do /.monad [_ (/.update (n.* value))] /.get))) (_.cover [/.use] - (with-conditions [state (inc state)] + (with_conditions [state (inc state)] (/.use inc))) (_.cover [/.local] - (with-conditions [state (n.* value state)] + (with_conditions [state (n.* value state)] (/.local (n.* value) /.get))) ))) @@ -92,8 +92,8 @@ (/.run 0) (let> [state' output'] (n.= limit state')))) - (_.cover [/.do-while] - (|> (/.do-while condition (/.update inc)) + (_.cover [/.do_while] + (|> (/.do_while condition (/.update inc)) (/.run 0) (let> [state' output'] (or (n.= limit state') @@ -101,7 +101,7 @@ (n.= 1 state')))))) ))) -(def: monad-transformer +(def: monad_transformer Test (do random.monad [state random.nat @@ -128,4 +128,4 @@ ..basics ..structures ..loops - ..monad-transformer))) + ..monad_transformer))) |