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

org.specs2.control.origami

package org.specs2.control.origami

Members list

Concise view

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
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Fold[M, A, B]
object Fold

Attributes

Companion:
trait
Graph
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
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Folds.type
object Folds extends Folds

Attributes

Companion:
trait
Graph
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
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL