Idris2Doc : Control.Monad.State.State

Control.Monad.State.State

State : Type -> Type -> Type
  The State monad. See the MonadState interface

Totality: total
recordStateT : Type -> (Type -> Type) -> Type -> Type
  The transformer on which the State monad is based

Totality: total
Constructor: 
ST : (stateType -> m (stateType, a)) -> StateTstateTypema

Projection: 
.runStateT' : StateTstateTypema -> stateType -> m (stateType, a)
evalState : stateType -> StatestateTypea -> a
  Unwrap and apply a State monad computation, but discard the final state.

Totality: total
evalStateT : Functorm => stateType -> StateTstateTypema -> ma
  Unwrap and apply a StateT monad computation, but discard the final state.

Totality: total
execState : stateType -> StatestateTypea -> stateType
  Unwrap and apply a State monad computation, but discard the resulting value.

Totality: total
execStateT : Functorm => stateType -> StateTstateTypema -> mstateType
  Unwrap and apply a StateT monad computation, but discard the resulting value.

Totality: total
mapState : ((s, a) -> (s, b)) -> Statesa -> Statesb
  Map both the return value and final state of a computation using
the given function.

Totality: total
mapStateT : (m (s, a) -> n (s, b)) -> StateTsma -> StateTsnb
  Map both the return value and final state of a computation using
the given function.

Totality: total
runState : stateType -> StatestateTypea -> (stateType, a)
  Unwrap and apply a State monad computation.

Totality: total
runStateT : stateType -> StateTstateTypema -> m (stateType, a)
  Unwrap and apply a StateT monad computation.

Totality: total