Control.Effects.State

Documentation

data GetState s

Instances

type EffectRes (GetState s)

type EffectRes (GetState s) = s

type EffectMsg (GetState s)

type EffectMsg (GetState s) = ()

data SetState s

Instances

type EffectRes (SetState s)

type EffectRes (SetState s) = ()

type EffectMsg (SetState s)

type EffectMsg (SetState s) = s

getState :: forall m s. MonadEffect (GetState s) m => m s

setState :: forall m s. MonadEffect (SetState s) m => s -> m ()

modifyState :: forall m s. (MonadEffect (GetState s) m, MonadEffect (SetState s) m) => (s -> s) -> m ()

handleGetState :: Monad m => m s -> EffectHandler (GetState s) m a -> m a

handleSetState :: Monad m => (s -> m ()) -> EffectHandler (SetState s) m a -> m a

handleStateIO :: MonadIO m => s -> EffectHandler (GetState s) (EffectHandler (SetState s) m) a -> m a

handleState :: Monad m => s -> EffectHandler (GetState s) (EffectHandler (SetState s) (StateT s m)) a -> m a

handleSubstate :: forall s t m a. (MonadEffect (GetState s) m, MonadEffect (SetState s) m) => Lens' s t -> t -> EffectHandler (GetState t) (EffectHandler (SetState t) m) a -> m a

type MonadEffectState s m = (MonadEffect (GetState s) m, MonadEffect (SetState s) m)

module Control.Effects