Foundation.Monad.State

newtypenewtype StateT s (m :: Type -> Type) a

State Transformer

Instances12MonadTrans, Monad, Functor, MonadFix, Applicative, MonadIO, …

MonadTrans (StateT s)Defined in foundation-0.0.30 · Foundation.Monad.State
(Functor m, Monad m) => Monad (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
Functor m => Functor (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
(Functor m, MonadFix m) => MonadFix (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
(Applicative m, Monad m) => Applicative (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
(Functor m, MonadIO m) => MonadIO (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
(Functor m, MonadFailure m) => MonadFailure (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
(Functor m, Monad m) => MonadState (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
(Functor m, MonadThrow m) => MonadThrow (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
(Functor m, MonadCatch m) => MonadCatch (StateT s m)Defined in foundation-0.0.30 · Foundation.Monad.State
type Failure (StateT s m) = Failure mDefined in foundation-0.0.30 · Foundation.Monad.State
type State (StateT s m) = sDefined in foundation-0.0.30 · Foundation.Monad.State

MonadState