Arrs

org.specs2.control.eff.Arrs
See theArrs companion object
case class Arrs[R, A, B](functions: Vector[Any => Eff[R, Any]]) extends A => Eff[R, B]

Sequence of monadic functions from A to B: A => Eff[B]

Internally it is represented as a Vector of functions:

A => Eff[R, X1]; X1 => Eff[R, X2]; X2 => Eff[R, X3]; ...; X3 => Eff[R, B]

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A => Eff[R, B]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

type X = A

Value members

Concrete methods

def append[C](f: B => Eff[R, C]): Arrs[R, A, C]

append a new monadic function to this list of functions such that

append a new monadic function to this list of functions such that

Arrs[R, A, B] => (B => Eff[R, C]) => Arrs[R, A, C]

Attributes

def apply(a: A): Eff[R, B]

execute this monadic function

execute this monadic function

This method is stack-safe

Attributes

def contramap[C](f: C => A): Arrs[R, C, B]
def map[C](f: B => C): Arrs[R, A, C]

map the last value

map the last value

Attributes

def mapLast[C](f: Eff[R, B] => Eff[R, C]): Arrs[R, A, C]

map the last returned effect

map the last returned effect

Attributes

def transform[U, M[_], N[_]](t: NaturalTransformation[M, N])(implicit m: Aux[M, R, U], n: Aux[N, R, U]): Arrs[R, A, B]
def unsafeApply(a: Any): Eff[R, B]

Inherited methods

def andThen[A](g: Eff[R, B] => A): T1 => A

Attributes

Inherited from:
Function1
def compose[A](g: A => A): A => R

Attributes

Inherited from:
Function1
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Function1 -> Any
Inherited from:
Function1