Idris2Doc : Control.Effect.State

Control.Effect.State

(source)
Reexports
import public Control.Effect.Reader
import public Control.Effect.Writer
Definitions
StateE : Type -> (Type -> Type) -> Type -> Type
  State effect - the union of Reader and Writer effects.

  Visibility: public export
HintState : Algebra sig m => Algebra (StateE s :+: sig) (StateT s m)
  Visibility: public export