Type Members

1.  type Aux[R, A, B, S1] = Fold[[β$1$]Eff[R, β$1$], A, B] { type S = S1 }

   alias for a Fold exposing it state type

2.  trait Fold[M[_], A, B] extends AnyRef

   A Fold is a "left fold" over a data structure with:

   A Fold is a "left fold" over a data structure with:

   • a 'start' value
   • a 'fold' method to accumulate state
   • an 'end' method to finalize the result

   Both 'start' and 'end' have an effect which allows the whole folding to take place inside a context.

3.  type FoldId[A, U] = Fold[Id, A, U]

   alias for a non-effectful Fold

4.  type FoldState[A, B] = Fold[Id, A, B] { type S = B }

   alias for a non-effectful Fold where the state type is U

5.  trait Folds extends AnyRef

   Typeclass instances and creation methods for folds

6.  type Sink[M[_], A] = Fold[M, A, Unit]

   alias for a Fold sinking its last value

7.  type SinkEff[R, A] = Fold[[β$0$]Eff[R, β$0$], A, Unit]

   alias for a Fold sinking its last value