HasStateRef s env => MonadState s (RIO env) # | |
Instance detailsDefined in RIO.Prelude.RIO |
MonadState s m => MonadState s (MaybeT m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: MaybeT m s # put :: s -> MaybeT m () # state :: (s -> (a, s)) -> MaybeT m a # |
(Monoid w, MonadState s m) => MonadState s (AccumT w m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: AccumT w m s # put :: s -> AccumT w m () # state :: (s -> (a, s)) -> AccumT w m a # |
MonadState s m => MonadState s (ExceptT e m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: ExceptT e m s # put :: s -> ExceptT e m () # state :: (s -> (a, s)) -> ExceptT e m a # |
MonadState s m => MonadState s (IdentityT m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: IdentityT m s # put :: s -> IdentityT m () # state :: (s -> (a, s)) -> IdentityT m a # |
MonadState s m => MonadState s (ReaderT r m) | |
Instance detailsDefined in Control.Monad.State.Class |
MonadState s m => MonadState s (SelectT r m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: SelectT r m s # put :: s -> SelectT r m () # state :: (s -> (a, s)) -> SelectT r m a # |
Monad m => MonadState s (StateT s m) | |
Instance detailsDefined in Control.Monad.State.Class |
Monad m => MonadState s (StateT s m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: StateT s m s # put :: s -> StateT s m () # state :: (s -> (a, s)) -> StateT s m a # |
(Monoid w, MonadState s m) => MonadState s (WriterT w m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: WriterT w m s # put :: s -> WriterT w m () # state :: (s -> (a, s)) -> WriterT w m a # |
(Monoid w, MonadState s m) => MonadState s (WriterT w m) | |
Instance detailsDefined in Control.Monad.State.Class |
(Monoid w, MonadState s m) => MonadState s (WriterT w m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: WriterT w m s # put :: s -> WriterT w m () # state :: (s -> (a, s)) -> WriterT w m a # |
MonadState s m => MonadState s (ContT r m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: ContT r m s # put :: s -> ContT r m () # state :: (s -> (a, s)) -> ContT r m a # |
(Monad m, Monoid w) => MonadState s (RWST r w s m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: RWST r w s m s # put :: s -> RWST r w s m () # state :: (s -> (a, s)) -> RWST r w s m a # |
(Monad m, Monoid w) => MonadState s (RWST r w s m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: RWST r w s m s # put :: s -> RWST r w s m () # state :: (s -> (a, s)) -> RWST r w s m a # |
(Monad m, Monoid w) => MonadState s (RWST r w s m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: RWST r w s m s # put :: s -> RWST r w s m () # state :: (s -> (a, s)) -> RWST r w s m a # |