specs2-common
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
specs2-common/org.specs2.control.origami/Folds

Folds

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

Attributes

Companion:
trait
Graph
Supertypes
trait Folds
class Object
trait Matchable
class Any
Self type
Folds.type

Members list

Concise view

Value members

Inherited methods

def bracket[A, C](init: Action[C])(step: (C, A) => Action[C])(close: C => Finalizer): Fold[Action, A, Unit]

Attributes

Inherited from:
Folds
def fromFoldLeft[M[_], A, B](b: B)(f: (B, A) => M[B])(using m: Monad[M]): Fold[M, A, B] { type S = B; }

Attributes

Returns:

a fold from arguments of a fold left

Inherited from:
Folds
def fromMonoidMap[M[_], A, O](f: A => O)(using evidence$2: Monoid[O], m: Monad[M]): Fold[M, A, O] { type S = O; }

Attributes

Returns:

a fold which uses a Monoid to accumulate elements

Inherited from:
Folds
def fromMonoidMapEval[M[_], A, O](f: A => M[O])(using evidence$3: Monoid[O], m: Monad[M]): Fold[M, A, O] { type S = O; }

Attributes

Returns:

a fold which uses a Monoid to accumulate elements

Inherited from:
Folds
def fromSink[M[_], A](action: A => M[Unit])(using m: Monad[M]): Fold[M, A, Unit]

Attributes

Inherited from:
Folds
def fromStart[M[_], A, S1](action: M[S1])(using m: Monad[M]): Fold[M, A, S1] { type S = S1; }

Attributes

Returns:

a fold with just a start action

Inherited from:
Folds
def list[A]: Fold[Id, A, List[A]]

Attributes

Returns:

a Fold which simply accumulates elements into a List

Inherited from:
Folds
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL