IdrisDoc: Effect.State

Effect.State

STATE : Type -> EFFECT
data State : Effect
Get : sig State a a
Put : b -> sig State () a b
get : Eff x [STATE x]
locally : x -> Eff t [STATE x] -> Eff t [STATE y]
put : x -> Eff () [STATE x]
putM : y -> Eff () [STATE x] [STATE y]
update : (x -> x) -> Eff () [STATE x]
updateM : (x -> y) -> Eff () [STATE x] [STATE y]