origami

Type Members

1. type Aux[M[_], A, B, S1] = Fold[M, 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

   Those 3 methods use a monad for effects

3. trait FoldCreation extends AnyRef

   

   Creation methods for folds

4. trait FoldId[A, U] extends Fold[Id, A, U]

   

   alias for a non-effectful Fold

5. trait FoldImplicits extends AnyRef

   

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

   

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

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

   

   alias for a Fold sinking its last value