HasStateRef s env => MonadState s (RIO env) Source # | |
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 # |
MonadState s m => MonadState s (ListT m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: ListT m s # put :: s -> ListT m () # state :: (s -> (a, s)) -> ListT 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 Methods get :: WriterT w m s # put :: s -> WriterT w m () # state :: (s -> (a, s)) -> WriterT w m a # |
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 # |
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 # |
MonadState s m => MonadState s (ReaderT r m) | |
Instance detailsDefined in Control.Monad.State.Class |
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 (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 # |
(Error e, MonadState s m) => MonadState s (ErrorT e m) | |
Instance detailsDefined in Control.Monad.State.Class Methods get :: ErrorT e m s # put :: s -> ErrorT e m () # state :: (s -> (a, s)) -> ErrorT e 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 # |