Control.Monad.State.CPS

Documentation

newtype StateT s m a

Constructors

StateT

Fields

• unStateT :: forall r. s -> (a -> s -> m r) -> m r

Instances

MonadReader e m => MonadReader e (StateT s m)

Methods

ask :: StateT s m e

local :: (e -> e) -> StateT s m a -> StateT s m a

reader :: (e -> a) -> StateT s m a

MonadState s (StateT s m)

Methods

get :: StateT s m s

put :: s -> StateT s m ()

state :: (s -> (a, s)) -> StateT s m a

MonadTrans (StateT s)

Methods

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

Monad (StateT s m)

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 (StateT s m)

Methods

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

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

MonadFix m => MonadFix (StateT s m)

Methods

mfix :: (a -> StateT s m a) -> StateT s m a

Applicative (StateT s m)

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

MonadIO m => MonadIO (StateT s m)

Methods

liftIO :: IO a -> StateT s m a

MonadCont m => MonadCont (StateT s m)

Methods

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

runStateT :: Monad m => StateT s m a -> s -> m (a, s)

evalStateT :: Monad m => StateT s m a -> s -> m a

execStateT :: Monad m => StateT s m a -> s -> m s

mapStateT :: (Monad m, Monad n) => (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b

type State s = StateT s Identity

runState :: State s a -> s -> (a, s)

evalState :: State s a -> s -> a

execState :: State s a -> s -> s

module Control.Monad.State.Class