diff options
Diffstat (limited to 'stdlib/source/library/lux/control/state.lux')
-rw-r--r-- | stdlib/source/library/lux/control/state.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/control/state.lux b/stdlib/source/library/lux/control/state.lux index 3e925308a..42270a943 100644 --- a/stdlib/source/library/lux/control/state.lux +++ b/stdlib/source/library/lux/control/state.lux @@ -93,13 +93,13 @@ (implementation (def (each f sfa) (function (_ state) - (at functor each (function (_ [s a]) [s (f a)]) + (of functor each (function (_ [s a]) [s (f a)]) (sfa state)))))) (def (with//apply monad) (All (_ M s) (-> (Monad M) (Apply (All (_ a) (-> s (M [s a])))))) (implementation - (def functor (with//functor (at monad functor))) + (def functor (with//functor (of monad functor))) (def (on sFa sFf) (function (_ state) @@ -118,11 +118,11 @@ (def .public (with monad) (All (_ M s) (-> (Monad M) (Monad (+State M s)))) (implementation - (def functor (with//functor (at monad functor))) + (def functor (with//functor (of monad functor))) (def (in a) (function (_ state) - (at monad in [state a]))) + (of monad in [state a]))) (def (conjoint sMsMa) (function (_ state) |