foundation-0.0.6: Alternative prelude with batteries and no dependencies

Safe HaskellNone
LanguageHaskell2010

Foundation.Monad.State

Synopsis

Documentation

data StateT s m a Source #

State Transformer

Instances

MonadTrans (StateT s) Source # 

Methods

lift :: Monad m => m a -> StateT s m a Source #

(Functor m, Monad m) => Monad (StateT s m) Source # 

Methods

(>>=) :: StateT s m a -> (a -> StateT s m b) -> StateT s m b #

(>>) :: StateT s m a -> StateT s m b -> StateT s m b #

return :: a -> StateT s m a #

fail :: String -> StateT s m a #

Functor m => Functor (StateT s m) Source # 

Methods

fmap :: (a -> b) -> StateT s m a -> StateT s m b #

(<$) :: a -> StateT s m b -> StateT s m a #

(Applicative m, Monad m) => Applicative (StateT s m) Source # 

Methods

pure :: a -> StateT s m a #

(<*>) :: StateT s m (a -> b) -> StateT s m a -> StateT s m b #

(*>) :: StateT s m a -> StateT s m b -> StateT s m b #

(<*) :: StateT s m a -> StateT s m b -> StateT s m a #

(Functor m, MonadIO m) => MonadIO (StateT s m) Source # 

Methods

liftIO :: IO a -> StateT s m a #

(Functor m, MonadCatch m) => MonadCatch (StateT s m) Source # 

Methods

catch :: Exception e => StateT s m a -> (e -> StateT s m a) -> StateT s m a Source #

(Functor m, MonadThrow m) => MonadThrow (StateT s m) Source # 

Methods

throw :: Exception e => e -> StateT s m a Source #

(Functor m, MonadFailure m) => MonadFailure (StateT s m) Source # 

Associated Types

type Failure (StateT s m :: * -> *) :: * Source #

Methods

mFail :: Failure (StateT s m) -> StateT s m () Source #

type Failure (StateT s m) Source # 
type Failure (StateT s m) = Failure m

runStateT :: StateT s m a -> s -> m (a, s) Source #