diff options
Diffstat (limited to 'stdlib/source/lux/control/state.lux')
-rw-r--r-- | stdlib/source/lux/control/state.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/control/state.lux b/stdlib/source/lux/control/state.lux index 3400ed07b..e791542d5 100644 --- a/stdlib/source/lux/control/state.lux +++ b/stdlib/source/lux/control/state.lux @@ -1,7 +1,7 @@ (;module: lux - (lux (control functor - ["A" applicative #*] + (lux (control ["F" functor] + ["A" applicative] [monad #+ do Monad]))) ## [Types] @@ -10,13 +10,13 @@ (-> s [s a])) ## [Structures] -(struct: #export Functor<State> (All [s] (Functor (State s))) +(struct: #export Functor<State> (All [s] (F;Functor (State s))) (def: (map f ma) (function [state] (let [[state' a] (ma state)] [state' (f a)])))) -(struct: #export Applicative<State> (All [s] (Applicative (State s))) +(struct: #export Applicative<State> (All [s] (A;Applicative (State s))) (def: functor Functor<State>) (def: (wrap a) @@ -75,14 +75,14 @@ (action state)) (struct: (Functor<StateT> Functor<M>) - (All [M s] (-> (Functor M) (Functor (All [a] (-> s (M [s a])))))) + (All [M s] (-> (F;Functor M) (F;Functor (All [a] (-> s (M [s a])))))) (def: (map f sfa) (function [state] (:: Functor<M> map (function [[s a]] [s (f a)]) (sfa state))))) (struct: (Applicative<StateT> Monad<M>) - (All [M s] (-> (Monad M) (Applicative (All [a] (-> s (M [s a])))))) + (All [M s] (-> (Monad M) (A;Applicative (All [a] (-> s (M [s a])))))) (def: functor (Functor<StateT> (:: Monad<M> functor))) (def: (wrap a) |