IdrisDoc: Effect.State

Effect.State

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