diff options
Diffstat (limited to 'stdlib/source/library/lux/control/state.lux')
-rw-r--r-- | stdlib/source/library/lux/control/state.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/control/state.lux b/stdlib/source/library/lux/control/state.lux index b39690469..661c081d8 100644 --- a/stdlib/source/library/lux/control/state.lux +++ b/stdlib/source/library/lux/control/state.lux @@ -70,7 +70,7 @@ (def: &functor ..functor) - (def: (wrap a) + (def: (in a) (function (_ state) [state a])) @@ -87,7 +87,7 @@ (do ! [_ body] (while condition body)) - (wrap [])))) + (in [])))) (def: #export (do_while condition body) (All [s] (-> (State s Bit) (State s Any) (State s Any))) @@ -113,7 +113,7 @@ (do monad [[state f] (sFf state) [state a] (sFa state)] - (wrap [state (f a)]))))) + (in [state (f a)]))))) (type: #export (State' M s a) {#.doc "Stateful computations decorated by a monad."} @@ -130,9 +130,9 @@ (def: &functor (with//functor (\ monad &functor))) - (def: (wrap a) + (def: (in a) (function (_ state) - (\ monad wrap [state a]))) + (\ monad in [state a]))) (def: (join sMsMa) (function (_ state) @@ -146,4 +146,4 @@ (function (_ state) (do monad [a ma] - (wrap [state a])))) + (in [state a])))) |