Idris2Doc : Control.Monad.State.State

Control.Monad.State.State

State : Type -> Type -> Type
The State monad. See the MonadState interface
StateT : Type -> (Type -> Type) -> Type -> Type
The transformer on which the State monad is based
Totality: total
Constructor: 
evalState : stateType -> StatestateTypea -> a
Unwrap and apply a State monad computation, but discard the final state.
evalStateT : Functorm => stateType -> StateTstateTypema -> ma
Unwrap and apply a StateT monad computation, but discard the final state.
execState : stateType -> StatestateTypea -> stateType
Unwrap and apply a State monad computation, but discard the resulting value.
execStateT : Functorm => stateType -> StateTstateTypema -> mstateType
Unwrap and apply a StateT monad computation, but discard the resulting value.
mapState : ((s, a) -> (s, b)) -> Statesa -> Statesb
Map both the return value and final state of a computation using
the given function.
mapStateT : (m (s, a) -> n (s, b)) -> StateTsma -> StateTsnb
Map both the return value and final state of a computation using
the given function.
runState : stateType -> StatestateTypea -> (stateType, a)
Unwrap and apply a State monad computation.
runStateT : stateType -> StateTstateTypema -> m (stateType, a)
Unwrap and apply a StateT monad computation.