sealed abstract class IterateeT[E, F[_], A] extends AnyRef
A data sink.
Represents a value of type F[StepT[E, F, A]]
- E
The type of the input data (mnemonic: Element 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.
- A
The type of the calculated result
- Source
- IterateeT.scala
- See also
- Alphabetic
- By Inheritance
- IterateeT
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def %=[O](e: EnumerateeT[O, E, F])(implicit m: Monad[F]): IterateeT[O, F, A]
- def &=(e: EnumeratorT[E, F])(implicit F: Bind[F]): IterateeT[E, F, A]
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def >>==[EE, AA](f: (StepT[E, F, A]) => IterateeT[EE, F, AA])(implicit F: Bind[F]): IterateeT[EE, F, AA]
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
andenumIterator
, for example:head[Unit, Int, Id] >>== Stream.continually(1) // enumStream(Stream.continually(1))
- 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]
.
- def advance[EE, AA, G[_]](f: (StepT[E, F, A]) => IterateeT[EE, G, AA], trans: ~>[F, G])(implicit G: Bind[G]): IterateeT[EE, G, AA]
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.
- def advanceT[EE, AA, G[_]](f: (StepT[E, F, A]) => G[StepT[EE, F, AA]], trans: ~>[F, G])(implicit G: Bind[G]): G[StepT[EE, F, AA]]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def contramap[EE](f: (EE) => E)(implicit F: Monad[F]): IterateeT[EE, F, A]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def flatMap[B](f: (A) => IterateeT[E, F, B])(implicit F: Monad[F]): IterateeT[E, F, B]
- def foldT[Z](cont: ((Input[E]) => IterateeT[E, F, A]) => F[Z], done: (=> A, => Input[E]) => F[Z])(implicit F: Bind[F]): F[Z]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def joinI[I, B](implicit outer: ===[IterateeT[E, F, A], IterateeT[E, F, StepT[I, F, B]]], M: Monad[F]): IterateeT[E, F, B]
- def map[B](f: (A) => B)(implicit F: Monad[F]): IterateeT[E, F, B]
- def mapI[G[_]](f: ~>[F, G])(implicit F: Functor[F]): IterateeT[E, G, A]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def run(implicit F: Monad[F]): F[A]
Run this iteratee
- def sequenceI(implicit m: Monad[F]): EnumerateeT[E, A, F]
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.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def up[G[_]](implicit G: Applicative[G], F: Comonad[F]): IterateeT[E, G, A]
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def zip[B](other: IterateeT[E, F, B])(implicit F: Monad[F]): IterateeT[E, F, (A, B)]