Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
RIO.State
Description
Provides reexports of MonadState
and related helpers.
Since: 0.1.4.0
Documentation
class Monad m => MonadState s (m :: Type -> Type) | m -> s where #
Instances
HasStateRef s env => MonadState s (RIO env) Source # | |
MonadState s m => MonadState s (ListT m) | |
MonadState s m => MonadState s (MaybeT m) | |
(Error e, MonadState s m) => MonadState s (ErrorT e m) | |
MonadState s m => MonadState s (ExceptT e m) | |
MonadState s m => MonadState s (IdentityT m) | |
MonadState s m => MonadState s (ReaderT r m) | |
Monad m => MonadState s (StateT s m) | |
Monad m => MonadState s (StateT s m) | |
(Monoid w, MonadState s m) => MonadState s (WriterT w m) | |
(Monoid w, MonadState s m) => MonadState s (WriterT w m) | |
MonadState s m => MonadState s (ContT r m) | |
(Monad m, Monoid w) => MonadState s (RWST r w s m) | |
(Monad m, Monoid w) => MonadState s (RWST r w s m) | |
gets :: MonadState s m => (s -> a) -> m a #
modify :: MonadState s m => (s -> s) -> m () #
modify' :: MonadState s m => (s -> s) -> m () #
newtype StateT s (m :: Type -> Type) a #
Instances
evalStateT :: Monad m => StateT s m a -> s -> m a #
execStateT :: Monad m => StateT s m a -> s -> m s #
withStateT :: forall s (m :: Type -> Type) a. (s -> s) -> StateT s m a -> StateT s m a #