Safe Haskell	None
Language	Haskell2010

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 -> a) -> m a Source #