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
MonadState s m => MonadState s (CatchT m) | |
HasStateRef s env => MonadState s (RIO env) Source # | |
MonadState s m => MonadState s (MaybeT m) | |
(Monoid w, MonadState s m) => MonadState s (AccumT w m) | |
MonadState s m => MonadState s (ExceptT e m) | |
MonadState s m => MonadState s (IdentityT m) | |
MonadState s m => MonadState s (ReaderT r m) | |
MonadState s m => MonadState s (SelectT 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) | |
(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) | |
(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
MonadAccum w m => MonadAccum w (StateT s m) | |||||
MonadError e m => MonadError e (StateT s m) | |||||
Defined in Control.Monad.Error.Class Methods throwError :: e -> StateT s m a catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a | |||||
MonadReader r m => MonadReader r (StateT s m) | |||||
MonadSelect w m => MonadSelect w (StateT s m) | |||||
Defined in Control.Monad.Select | |||||
Monad m => MonadState s (StateT s m) | |||||
MonadWriter w m => MonadWriter w (StateT s m) | |||||
MonadTrans (StateT s) | |||||
Defined in Control.Monad.Trans.State.Lazy | |||||
MonadFail m => MonadFail (StateT s m) | |||||
Defined in Control.Monad.Trans.State.Lazy | |||||
MonadFix m => MonadFix (StateT s m) | |||||
Defined in Control.Monad.Trans.State.Lazy | |||||
MonadIO m => MonadIO (StateT s m) | |||||
Defined in Control.Monad.Trans.State.Lazy | |||||
Contravariant m => Contravariant (StateT s m) | |||||
(Functor m, MonadPlus m) => Alternative (StateT s m) | |||||
(Functor m, Monad m) => Applicative (StateT s m) | |||||
Defined in Control.Monad.Trans.State.Lazy | |||||
Functor m => Functor (StateT s m) | |||||
Monad m => Monad (StateT s m) | |||||
MonadPlus m => MonadPlus (StateT s m) | |||||
MonadCatch m => MonadCatch (StateT s m) | |||||
Defined in Control.Monad.Catch | |||||
MonadMask m => MonadMask (StateT s m) | |||||
Defined in Control.Monad.Catch Methods mask :: HasCallStack => ((forall a. StateT s m a -> StateT s m a) -> StateT s m b) -> StateT s m b uninterruptibleMask :: HasCallStack => ((forall a. StateT s m a -> StateT s m a) -> StateT s m b) -> StateT s m b generalBracket :: HasCallStack => StateT s m a -> (a -> ExitCase b -> StateT s m c) -> (a -> StateT s m b) -> StateT s m (b, c) | |||||
MonadThrow m => MonadThrow (StateT s m) | |||||
Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> StateT s m a # | |||||
MonadCont m => MonadCont (StateT s m) | |||||
Defined in Control.Monad.Cont.Class | |||||
PrimMonad m => PrimMonad (StateT s m) | |||||
Monad z => Zoom (StateT s z) (StateT t z) s t | |||||
Defined in Lens.Micro.Mtl.Internal | |||||
Generic (StateT s m a) | |||||
Defined in Control.Monad.Trans.State.Lazy Associated Types
| |||||
type Zoomed (StateT s z) | |||||
Defined in Lens.Micro.Mtl.Internal type Zoomed (StateT s z) = Focusing z | |||||
type PrimState (StateT s m) | |||||
Defined in Control.Monad.Primitive | |||||
type Rep (StateT s m a) | |||||
Defined in Control.Monad.Trans.State.Lazy |
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 #