enumerator-0.4.20: Reliable, high-performance processing with left-fold enumerators

Portabilityportable
Maintainerjmillikin@gmail.com
Safe HaskellNone

Data.Enumerator.Trans

Contents

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

Synopsis

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

evalRWSI' :: (Monoid w, Monad m) => r -> s -> Iteratee a (RWST r w s m) b -> Iteratee a m (b, w)Source

Lifted version of (strict) 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 (strict) execRWST

Since: 0.4.16