Class/Object

scalaz.iteratee

IterateeT

Related Docs: object IterateeT | package iteratee

Permalink

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

scalaz.iteratee.StepT

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IterateeT
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def value: F[StepT[E, F, A]]

    Permalink

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def %=[O](e: EnumerateeT[O, E, F])(implicit m: Monad[F]): IterateeT[O, F, A]

    Permalink
  4. def &=(e: EnumeratorT[E, F])(implicit F: Bind[F]): IterateeT[E, F, A]

    Permalink
  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  6. def >>==[EE, AA](f: (StepT[E, F, A]) ⇒ IterateeT[EE, F, AA])(implicit F: Bind[F]): IterateeT[EE, F, AA]

    Permalink

    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))
    f

    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].

  7. def advance[EE, AA, G[_]](f: (StepT[E, F, A]) ⇒ IterateeT[EE, G, AA])(implicit MO: |>=|[G, F]): IterateeT[EE, G, AA]

    Permalink

    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.

  8. def advanceT[EE, AA, G[_]](f: (StepT[E, F, A]) ⇒ G[StepT[EE, F, AA]])(implicit MO: |>=|[G, F]): G[StepT[EE, F, AA]]

    Permalink
  9. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. def contramap[EE](f: (EE) ⇒ E)(implicit F: Monad[F]): IterateeT[EE, F, A]

    Permalink
  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def flatMap[B](f: (A) ⇒ IterateeT[E, F, B])(implicit F: Monad[F]): IterateeT[E, F, B]

    Permalink
  16. def foldT[Z](cont: ((Input[E]) ⇒ IterateeT[E, F, A]) ⇒ F[Z], done: (⇒ A, ⇒ Input[E]) ⇒ F[Z])(implicit F: Bind[F]): F[Z]

    Permalink
  17. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  18. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  19. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  20. def joinI[I, B](implicit outer: =:=[IterateeT[E, F, A], IterateeT[E, F, StepT[I, F, B]]], M: Monad[F]): IterateeT[E, F, B]

    Permalink
  21. def map[B](f: (A) ⇒ B)(implicit F: Monad[F]): IterateeT[E, F, B]

    Permalink
  22. def mapI[G[_]](f: ~>[F, G])(implicit F: Functor[F]): IterateeT[E, G, A]

    Permalink
  23. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  24. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  25. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  26. def run(implicit F: Monad[F]): F[A]

    Permalink

    Run this iteratee

  27. def sequenceI(implicit m: Monad[F]): EnumerateeT[E, A, F]

    Permalink

    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.

  28. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  29. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  30. def up[G[_]](implicit G: Applicative[G], F: Comonad[F]): IterateeT[E, G, A]

    Permalink
  31. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. def zip[B](other: IterateeT[E, F, B])(implicit F: Monad[F]): IterateeT[E, F, (A, B)]

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped