Control.Monad.State.Dependent

Documentation

newtype StateT t s m a

Constructors

StateT (StateT s m a)

Instances

Monad m => MonadPut t s (StateT t s m)

Monad m => MonadGet t s (StateT t s m)

MonadState r m => MonadState r (StateT t s m)

MonadTrans (StateT t s)

Monad m => Monad (StateT t s m)

Functor m => Functor (StateT t s m)

MonadFix m => MonadFix (StateT t s m)

Monad m => Applicative (StateT t s m)

MonadPlus m => Alternative (StateT t s m)

MonadPlus m => MonadPlus (StateT t s m)

MonadIO m => MonadIO (StateT t s m)

type State t s = StateT t s Identity

type MonadState t s m = (MonadGet t s m, MonadPut t s m)

class Monad m => MonadGet t s m | t m -> s where

Methods

get :: t -> m s

Instances

(MonadGet tp s m, MonadTrans t, Monad (t m)) => MonadGet tp s (t m)

Monad m => MonadGet t s (StateT t s m)

class Monad m => MonadPut t s m | t m -> s where

Methods

put :: t -> s -> m ()

Instances

(MonadPut tp s m, MonadTrans t, Monad (t m)) => MonadPut tp s (t m)

Monad m => MonadPut t s (StateT t s m)

fromStateT :: StateT t s m a -> StateT s m a

runT :: t -> StateT t s m a -> s -> m (a, s)

evalT :: Monad m => t -> StateT t s m a -> s -> m a

execT :: Monad m => t -> StateT t s m a -> s -> m s

run :: t -> State t s a -> s -> (a, s)

eval :: t -> State t s a -> s -> a

exec :: t -> State t s a -> s -> s

with :: MonadState t s m => t -> (s -> s) -> m a -> m a

modify :: MonadState t s m => t -> (s -> (s, a)) -> m a

modify_ :: MonadState t s m => t -> (s -> s) -> m ()

modifyM :: MonadState t s m => t -> (s -> m (s, a)) -> m a

withState :: MonadState t s m => t -> (s -> s) -> m ()