Control.Monad.Ether.State.Class

See Control.Monad.State.Class.

Documentation

class Monad m => MonadState tag s m | m tag -> s where

See MonadState.

Minimal complete definition

state | get, put

Methods

get :: proxy tag -> m s

Return the state from the internals of the monad.

put :: proxy tag -> s -> m ()

Replace the state inside the monad.

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

Embed a simple state action into the monad.

Instances

(MonadTrans t, Monad (t m), MonadState k tag s m) => MonadState k tag s (t m)

Methods

get :: proxy s -> m (t m)

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

state :: proxy s -> (t m -> (a, t m)) -> m a

(Monad m, (~) * s s') => MonadState k tag s (StateT k tag s' m)

Methods

get :: proxy s -> m (StateT k tag s' m)

put :: proxy s -> StateT k tag s' m -> m ()

state :: proxy s -> (StateT k tag s' m -> (a, StateT k tag s' m)) -> m a

(Monad m, (~) * s s') => MonadState k tag s (StateT k tag s' m)

Methods

get :: proxy s -> m (StateT k tag s' m)

put :: proxy s -> StateT k tag s' m -> m ()

state :: proxy s -> (StateT k tag s' m -> (a, StateT k tag s' m)) -> m a

modify :: MonadState tag s m => proxy tag -> (s -> s) -> m ()

Modifies the state inside a state monad.

gets :: MonadState tag s m => proxy tag -> (s -> a) -> m a

Gets specific component of the state, using a projection function supplied.