Combine this Iteratee with an Enumerator-like function.
Combine this Iteratee with an Enumerator-like function.
Often used in combination with the implicit views such as enumStream
and enumIterator
, for example:
head[Unit, Int, Id] >>== Stream.continually(1) // enumStream(Stream.continually(1))
An Enumerator-like function. If the type parameters EE
and BB
are chosen to be
E
and B
respectively, the type of f
is equivalent to EnumeratorT[E, F, A]
.
A generalization of >>== that allows a step function which returns its result in a different, "bigger" monad.
A generalization of >>== that allows a step function which returns its result in a different, "bigger" monad. The monad for G must perform all the effects of F as part of its evaluation; in the trivial case, of course F and G will have the same monad.
Run this iteratee
Feeds input elements to this iteratee until it is done, feeds the produced value to the inner iteratee.
Feeds input elements to this iteratee until it is done, feeds the produced value to the inner iteratee. Then this iteratee will start over, looping until the inner iteratee is done.
A data sink.
Represents a value of type
F[StepT[E, F, A]]
The type of the input data (mnemonic: Element type)
The type constructor representing an effect. The type constructor scalaz.Id is used to model pure computations, and is fixed as such in the type alias scalaz.iteratee.Iteratee.
The type of the calculated result
scalaz.iteratee.StepT