Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
getState :: forall m s. MonadEffect (GetState s) m => m s Source #
setState :: forall m s. MonadEffect (SetState s) m => s -> m () Source #
modifyState :: forall m s. (MonadEffect (GetState s) m, MonadEffect (SetState s) m) => (s -> s) -> m () Source #
handleGetState :: Monad m => m s -> EffectHandler (GetState s) m a -> m a Source #
handleSetState :: Monad m => (s -> m ()) -> EffectHandler (SetState s) m a -> m a Source #
handleStateIO :: MonadIO m => s -> EffectHandler (GetState s) (EffectHandler (SetState s) m) a -> m a Source #
handleState :: Monad m => s -> EffectHandler (GetState s) (EffectHandler (SetState s) (StateT s m)) a -> m a Source #
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 Source #
type MonadEffectState s m = (MonadEffect (GetState s) m, MonadEffect (SetState s) m) Source #
module Control.Effects