transformers-eff-0.1.0.0: An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff

Safe HaskellNone
LanguageHaskell2010

Control.Effect.State

Documentation

runState :: Monad m => Eff (State s) m a -> s -> m (a, s) Source

evalState :: Monad m => Eff (State s) m a -> s -> m a Source

execState :: Monad m => Eff (State s) m a -> s -> m s Source

get :: Interprets (State state) m => m state Source

put :: Interprets (State state) m => state -> m () Source

modify :: Interprets (State state) m => (state -> state) -> m () Source

modify' :: Interprets (State state) m => (state -> state) -> m () Source

gets :: Interprets (State state) m => (state -> state) -> m state Source