Control.Effects.State

Documentation

data GetState s

Instances

Monad m => MonadEffect (GetState s) (StateT s m)

Methods

effect :: proxy (GetState s) -> EffectMsg (GetState s) -> StateT s m (EffectRes (GetState s))

type EffectRes (GetState s)

type EffectRes (GetState s) = s

type EffectMsg (GetState s)

type EffectMsg (GetState s) = ()

data SetState s

Instances

Monad m => MonadEffect (SetState s) (StateT s m)

Methods

effect :: proxy (SetState s) -> EffectMsg (SetState s) -> StateT s m (EffectRes (SetState s))

type EffectRes (SetState s)

type EffectRes (SetState s) = ()

type EffectMsg (SetState s)

type EffectMsg (SetState s) = s

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

type EffectHandlerState s m = EffectHandler (GetState s) (EffectHandler (SetState s) m)

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

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

modifyState :: forall s m. MonadEffectState s m => (s -> s) -> m ()

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

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

handleState :: Monad m => m s -> (s -> m ()) -> EffectHandlerState s m a -> m a

handleStateIO :: MonadIO m => s -> EffectHandlerState s m a -> m a

handleStateT :: Monad m => s -> StateT s m a -> m a

module Control.Effects