specs2-common
API
Generated with
specs2-common/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.type
object fold.type
object Folds extends Folds

Attributes

Companion
trait
Supertypes
trait Folds
class Object
trait Matchable
class Any
Self type
Folds.type
object fold extends Folds

Attributes

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

Types

type Aux[R, A, B, S1] = Fold[[_] =>> Eff[R, _$3], A, B] { type S = S1; }

alias for a Fold exposing it state type

alias for a Fold exposing it state type

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

type SinkEff[R, A] = Fold[[_] =>> Eff[R, _$2], A, Unit]

alias for a Fold sinking its last value

alias for a Fold sinking its last value

Attributes

Generated with