Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Monad transformers utilities.
- module Control.Monad.Except
- module Control.Monad.Reader
- module Control.Monad.State.Strict
- module Control.Monad.Trans
- module Control.Monad.Trans.Identity
- module Control.Monad.Trans.Maybe
- usingReader :: r -> Reader r a -> a
- usingReaderT :: r -> ReaderT r m a -> m a
- evaluatingState :: s -> State s a -> a
- evaluatingStateT :: Functor f => s -> StateT s f a -> f a
- executingState :: s -> State s a -> s
- executingStateT :: Functor f => s -> StateT s f a -> f s
- usingState :: s -> State s a -> (a, s)
- usingStateT :: s -> StateT s m a -> m (a, s)
Reexports from Control.Monad.*
module Control.Monad.Except
module Control.Monad.Reader
module Control.Monad.State.Strict
module Control.Monad.Trans
module Control.Monad.Trans.Identity
module Control.Monad.Trans.Maybe
Convenient functions to work with Reader
monad
usingReader :: r -> Reader r a -> a Source #
Shorter and more readable alias for flip runReader
.
usingReaderT :: r -> ReaderT r m a -> m a Source #
Shorter and more readable alias for flip runReaderT
.
Convenient functions to work with State
monad
evaluatingState :: s -> State s a -> a Source #
Alias for flip evalState
. It's not shorter but sometimes
more readable. Done by analogy with using*
functions family.
evaluatingStateT :: Functor f => s -> StateT s f a -> f a Source #
Alias for flip evalStateT
. It's not shorter but sometimes
more readable. Done by analogy with using*
functions family.
executingState :: s -> State s a -> s Source #
Alias for flip execState
. It's not shorter but sometimes
more readable. Done by analogy with using*
functions family.
executingStateT :: Functor f => s -> StateT s f a -> f s Source #
Alias for flip execStateT
. It's not shorter but sometimes
more readable. Done by analogy with using*
functions family.
usingState :: s -> State s a -> (a, s) Source #
Shorter and more readable alias for flip runState
.
usingStateT :: s -> StateT s m a -> m (a, s) Source #
Shorter and more readable alias for flip runStateT
.