Folds

org.specs2.control.origami.Folds
See theFolds companion object
trait Folds

Typeclass instances and creation methods for folds

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Folds.type
object fold.type

Members list

Value members

Concrete methods

def bracket[R : _Safe, A, C](open: Eff[R, C])(step: (C, A) => Eff[R, C])(close: C => Eff[R, Unit]): Fold[[_] =>> Eff[R, _$24], A, Unit]
def fromFoldLeft[M[_] : Monad, A, B](b: B)(f: (B, A) => M[B]): Fold[M, A, B] { type S = B; }

Attributes

Returns

a fold from arguments of a fold left

def fromMonoidMap[M[_] : Monad, A, O : Monoid](f: A => O): Fold[M, A, O] { type S = O; }

Attributes

Returns

a fold which uses a Monoid to accumulate elements

def fromMonoidMapEval[M[_] : Monad, A, O : Monoid](f: A => M[O]): Fold[M, A, O] { type S = O; }

Attributes

Returns

a fold which uses a Monoid to accumulate elements

def fromSink[M[_] : Monad, A](action: A => M[Unit]): Fold[M, A, Unit]
def fromStart[M[_] : Monad, A, S1](action: M[S1]): Fold[M, A, S1] { type S = S1; }

Attributes

Returns

a fold with just a start action

def list[A]: Fold[Id, A, List[A]]

Attributes

Returns

a Fold which simply accumulates elements into a List