Control.Monad.Coroutine.Iteratee

This module provides a bridge between the Control.Monad.Coroutine and the Data.Enumerator monad transformers.

Documentation

coroutineEnumerator :: (Monad m, Monoid s) => Coroutine (Yield [s]) m b -> Enumerator s m c

Converts a Coroutine parameterized with the Yield functor into an Enumerator.

enumeratorCoroutine :: Monad m => Enumerator s (Coroutine (Yield [s]) m) () -> Coroutine (Yield [s]) m ()

Converts an Enumerator into a Coroutine parameterized with the Yield functor.

coroutineIteratee :: (Monad m, Monoid s) => Coroutine (Await [s]) m (Either SomeException (b, [s])) -> Iteratee s m b

Converts a Coroutine parameterized with the Await [x] functor, treating an empty input chunk as EOF, into an Iteratee.

iterateeCoroutine :: (Monad m, Monoid s) => Iteratee s m b -> Coroutine (Await [s]) m (Either SomeException (b, [s]))

Converts an Iteratee into a Coroutine parameterized with the Await [x] functor. The coroutine treats an empty input chunk as EOF.

iterateeStreamCoroutine :: Monad m => Iteratee s m b -> Coroutine (Await (Stream s)) m (Either SomeException (b, Stream s))

Converts an Iteratee into a Coroutine parameterized with the Await (Stream x) functor.

streamCoroutineIteratee :: Monad m => Coroutine (Await (Stream s)) m (Either SomeException (b, Stream s)) -> Iteratee s m b

Converts a Coroutine parameterized with the Await functor into an Iteratee.