diff options
Diffstat (limited to 'stdlib/source/lux/control/state.lux')
-rw-r--r-- | stdlib/source/lux/control/state.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/control/state.lux b/stdlib/source/lux/control/state.lux index 296147e6b..be8844a0c 100644 --- a/stdlib/source/lux/control/state.lux +++ b/stdlib/source/lux/control/state.lux @@ -80,7 +80,7 @@ (All [s a] (-> s (State s a) [s a])) (action state)) -(struct: (Functor<StateT> Functor<M>) +(struct: (Functor<State'> Functor<M>) (All [M s] (-> (F.Functor M) (F.Functor (All [a] (-> s (M [s a])))))) (def: (map f sfa) @@ -88,10 +88,10 @@ (:: Functor<M> map (function (_ [s a]) [s (f a)]) (sfa state))))) -(struct: (Apply<StateT> Monad<M>) +(struct: (Apply<State'> Monad<M>) (All [M s] (-> (Monad M) (A.Apply (All [a] (-> s (M [s a])))))) - (def: functor (Functor<StateT> (:: Monad<M> functor))) + (def: functor (Functor<State'> (:: Monad<M> functor))) (def: (apply sFf sFa) (function (_ state) @@ -109,11 +109,11 @@ (All [M s a] (-> s (State' M s a) (M [s a]))) (action state)) -(struct: #export (StateT Monad<M>) +(struct: #export (Monad<State'> Monad<M>) {#.doc "A monad transformer to create composite stateful computations."} (All [M s] (-> (Monad M) (Monad (State' M s)))) - (def: functor (Functor<StateT> (:: Monad<M> functor))) + (def: functor (Functor<State'> (:: Monad<M> functor))) (def: (wrap a) (function (_ state) |