| Portability | portable |
|---|---|
| Maintainer | jmillikin@gmail.com |
| Safe Haskell | None |
Data.Enumerator.Trans
Description
This module provides functions for running monad transformers within iteratees. Most types defined in the "transformers" library are supported.
Functions suffixed with an apostrophe (') apply to the strict variant
of their transformer type.
Since: 0.4.16
- runIdentityI :: Monad m => Iteratee a (IdentityT m) b -> Iteratee a m b
- runMaybeI :: Monad m => Iteratee a (MaybeT m) b -> Iteratee a m (Maybe b)
- runErrorI :: (Error e, Monad m) => Iteratee a (ErrorT e m) b -> Iteratee a m (Either e b)
- runReaderI :: Monad m => r -> Iteratee a (ReaderT r m) b -> Iteratee a m b
- runStateI :: Monad m => s -> Iteratee a (StateT s m) b -> Iteratee a m (b, s)
- evalStateI :: Monad m => s -> Iteratee a (StateT s m) b -> Iteratee a m b
- runStateI' :: Monad m => s -> Iteratee a (StateT s m) b -> Iteratee a m (b, s)
- evalStateI' :: Monad m => s -> Iteratee a (StateT s m) b -> Iteratee a m b
- runWriterI :: (Monoid w, Monad m) => Iteratee a (WriterT w m) b -> Iteratee a m (b, w)
- execWriterI :: (Monoid w, Monad m) => Iteratee a (WriterT w m) b -> Iteratee a m w
- runWriterI' :: (Monoid w, Monad m) => Iteratee a (WriterT w m) b -> Iteratee a m (b, w)
- execWriterI' :: (Monoid w, Monad m) => Iteratee a (WriterT w m) b -> Iteratee a m w
- runRWSI :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (b, s, w)
- evalRWSI :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (b, w)
- execRWSI :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (s, w)
- runRWSI' :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (b, s, w)
- evalRWSI' :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (b, w)
- execRWSI' :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (s, w)
IdentityT
runIdentityI :: Monad m => Iteratee a (IdentityT m) b -> Iteratee a m bSource
Lifted version of runIdentityT
Since: 0.4.16
MaybeT
runMaybeI :: Monad m => Iteratee a (MaybeT m) b -> Iteratee a m (Maybe b)Source
Lifted version of runMaybeT
Since: 0.4.16
ErrorT
runErrorI :: (Error e, Monad m) => Iteratee a (ErrorT e m) b -> Iteratee a m (Either e b)Source
Lifted version of runErrorT
Since: 0.4.16
ReaderT
runReaderI :: Monad m => r -> Iteratee a (ReaderT r m) b -> Iteratee a m bSource
Lifted version of runReaderT
Since: 0.4.16
StateT
Lazy
runStateI :: Monad m => s -> Iteratee a (StateT s m) b -> Iteratee a m (b, s)Source
Lifted version of (lazy) runStateT
Since: 0.4.16
evalStateI :: Monad m => s -> Iteratee a (StateT s m) b -> Iteratee a m bSource
Lifted version of (lazy) evalStateT
Since: 0.4.16
Strict
runStateI' :: Monad m => s -> Iteratee a (StateT s m) b -> Iteratee a m (b, s)Source
Lifted version of (strict) runStateT
Since: 0.4.16
evalStateI' :: Monad m => s -> Iteratee a (StateT s m) b -> Iteratee a m bSource
Lifted version of (strict) evalStateT
Since: 0.4.16
WriterT
Lazy
runWriterI :: (Monoid w, Monad m) => Iteratee a (WriterT w m) b -> Iteratee a m (b, w)Source
Lifted version of (lazy) runWriterT
Since: 0.4.16
execWriterI :: (Monoid w, Monad m) => Iteratee a (WriterT w m) b -> Iteratee a m wSource
Lifted version of (lazy) execWriterT
Since: 0.4.16
Strict
runWriterI' :: (Monoid w, Monad m) => Iteratee a (WriterT w m) b -> Iteratee a m (b, w)Source
Lifted version of (strict) runWriterT
Since: 0.4.16
execWriterI' :: (Monoid w, Monad m) => Iteratee a (WriterT w m) b -> Iteratee a m wSource
Lifted version of (strict) execWriterT
Since: 0.4.16
RWST
Lazy
runRWSI :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (b, s, w)Source
Lifted version of (lazy) runRWST
Since: 0.4.16
evalRWSI :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (b, w)Source
Lifted version of (lazy) evalRWST
Since: 0.4.16
execRWSI :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (s, w)Source
Lifted version of (lazy) execRWST
Since: 0.4.16
Strict
runRWSI' :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (b, s, w)Source
Lifted version of (strict) runRWST
Since: 0.4.16