specs2
API
Generated with
specs2/org.specs2/org.specs2.control/org.specs2.control.origami

org.specs2.control.origami

package org.specs2.control.origami

Members list

Type members

Classlikes

trait Fold[M[_], A, B]

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.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Self type
Fold[M, A, B]
object Fold

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Fold.type
trait Folds

Typeclass instances and creation methods for folds

Typeclass instances and creation methods for folds

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Folds
object Folds extends Folds

Attributes

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

Types

type AsyncFold[A, B] = Fold[Action, A, B]

alias for a Fold with async actions

alias for a Fold with async actions

Attributes

type AsyncSink[A] = Fold[Action, A, Unit]

alias for a Sink with async actions

alias for a Sink with async actions

Attributes

type FoldId[A, U] = Fold[Id, A, U]

alias for a non-effectful Fold

alias for a non-effectful Fold

Attributes

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

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

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

Attributes

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

alias for a Fold sinking its last value

alias for a Fold sinking its last value

Attributes

Generated with