A data sink.
Represents a value of type F[StepT[E, F, A]]
- Type Params
- A
The type of the calculated result
- E
The type of the input data (mnemonic: '''E'''lement type)
- F
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.
- See also
- Companion
- object
Value members
Concrete methods
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))
- Value Params
- f
An Enumerator-like function. If the type parameters
EE
andBB
are chosen to beE
andB
respectively, the type off
is equivalent toEnumeratorT[E, F, A]
.
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.
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.
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.
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.