Control.Effect.Class.State

Documentation

class State s f where

Methods

get :: f s

put :: s -> f ()

Instances

SendIns (StateI s) f => State s (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.State

Methods

get :: EffectsVia EffectDataHandler f s

put :: s -> EffectsVia EffectDataHandler f ()

data StateI (s :: Type) (a :: Type) where

Constructors

Get :: forall s. StateI s s

Put :: forall s. s -> StateI s ()

type StateS s = LiftIns (StateI s)

pattern PutS :: () => a_6989586621679050567 ~ () => s -> LiftIns (StateI s) f a_6989586621679050567

pattern GetS :: () => a_6989586621679050565 ~ s => LiftIns (StateI s) f a_6989586621679050565

gets :: (State s f, Functor f) => (s -> a) -> f a

modify :: (State s m, Monad m) => (s -> s) -> m ()