Control.Monad.Trans.Ether.State.Strict

See Control.Monad.Trans.State.Strict.

The State monad

type State tag r = StateT tag r Identity

The parametrizable state monad.

Computations have access to a mutable state.

The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.

state :: Monad m => proxy tag -> (s -> (a, s)) -> StateT tag s m a

Constructor for computations in the state monad (the inverse of runState).

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

Runs a State with the given initial state and returns both the final value and the final state.

evalState :: proxy tag -> State tag s a -> s -> a

Runs a State with the given initial state and returns the final value, discarding the final state.

execState :: proxy tag -> State tag s a -> s -> s

Runs a State with the given initial state and returns the final state, discarding the final value.

The StateT monad transformer

data StateT tag s m a

The state monad transformer.

The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.

Instances

MonadReader tag r m => MonadReader tag r (StateT tag' s m)

MonadState tag s m => MonadState tag s (StateT tag' s' m)

Monad m => MonadState tag s (StateT tag s m)

MonadExcept tag e m => MonadExcept tag e (StateT tag' s m)

MonadWriter tag w m => MonadWriter tag w (StateT tag' e m)

MonadError e m => MonadError e (StateT tag s m)

MonadReader r m => MonadReader r (StateT tag s m)

MonadState s' m => MonadState s' (StateT tag s m)

MonadWriter w m => MonadWriter w (StateT tag s m)

MonadTrans (StateT tag s)

(Functor m, MonadPlus m) => Alternative (StateT tag s m)

Monad m => Monad (StateT tag s m)

Functor m => Functor (StateT tag s m)

MonadFix m => MonadFix (StateT tag s m)

MonadPlus m => MonadPlus (StateT tag s m)

(Monad m, Functor m) => Applicative (StateT tag s m)

MonadIO m => MonadIO (StateT tag s m)

MonadCont m => MonadCont (StateT tag s m)

Taggable (StateT tag s m)

Tagged (StateT tag s m) tag

Generic (StateT tag s m a)

Newtype (StateT tag s m a)

type Untagged (StateT tag s m) = StateT s m

type Tag (StateT tag s m) = Just * tag

type Inner (StateT tag s m) = Just (* -> *) m

type Rep (StateT tag s m a)

type O (StateT tag s m a) = GO (Rep (StateT tag s m a))

stateT :: proxy tag -> (s -> m (a, s)) -> StateT tag s m a

Constructor for computations in the state monad transformer.

runStateT :: proxy tag -> StateT tag s m a -> s -> m (a, s)

Runs a StateT with the given initial state and returns both the final value and the final state.

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

Runs a StateT with the given initial state and returns the final value, discarding the final state.

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

Runs a StateT with the given initial state and returns the final state, discarding the final value.

mapStateT :: proxy tag -> (m (a, s) -> n (b, s)) -> StateT tag s m a -> StateT tag s n b

Transform the computation inside a StateT.

• runStateT tag (mapStateT tag f m) = f . runStateT tag m

State operations

get :: Monad m => proxy tag -> StateT tag s m s

Fetch the current value of the state within the monad.

put :: Monad m => proxy tag -> s -> StateT tag s m ()

Set the value of the state within the monad.

Litfing other operations

liftCatch :: proxy tag -> Catch e m (a, s) -> Catch e (StateT tag s m) a

Lift a catchE operation to the new monad.

liftCallCC' :: proxy tag -> CallCC m (a, s) (b, s) -> CallCC (StateT tag s m) a b

In-situ lifting of a callCC operation to the new monad. This version uses the current state on entering the continuation. It does not satisfy the uniformity property (see Control.Monad.Signatures).

liftListen :: Monad m => proxy tag -> Listen w m (a, s) -> Listen w (StateT tag s m) a

Lift a listen operation to the new monad.

liftPass :: Monad m => proxy tag -> Pass w m (a, s) -> Pass w (StateT tag s m) a

Lift a pass operation to the new monad.