scalaz.iteratee

Type members

Classlikes

trait Enumeratee2T[J, K, I, F[_]]
Companion
object
Companion
class
trait EnumerateeT[O, I, F[_]]
Companion
object
Companion
class
abstract
class EnumeratorP[E, F[_]]
Companion
object
sealed abstract
trait EnumeratorT[E, F[_]]
Companion
object
trait ForallM[P[_[_]]]
sealed abstract
class Input[E]

The input to an iteratee. *

The input to an iteratee. *

Companion
object
object Input extends InputInstances with InputFunctions
Companion
class
sealed abstract
sealed abstract
class IterateeT[E, F[_], A]

A data sink.

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
sealed abstract
sealed abstract
sealed abstract
sealed abstract
class StepT[E, F[_], A]

The current state of an Iteratee, one of:

The current state of an Iteratee, one of:

  • '''cont''' Waiting for more data
  • '''done''' Already calculated a result
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.Step.

Companion
object
Companion
class

Types

type >@>[E, A] = Iteratee[E, A]
type Enumeratee[O, I] = EnumerateeT[O, I, Id]
type Enumerator[E] = EnumeratorT[E, Id]
type Iteratee[E, A] = IterateeT[E, Id, A]
type Step[E, A] = StepT[E, Id, A]