core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff/Continuation

Continuation

org.atnos.eff.Continuation
See theContinuation companion object
case class Continuation[R, A, B](functions: Vector[Any => Eff[R, Any]], onNone: Last[R]) 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]

An alternate unit value can also be set on this function in case the argument A is not available. This value can be set by an effect to do some cleanup if it doesn't even get the chance to add its own effect. See SafeEffect.bracket

Attributes

Companion:
object
Source:
Continuation.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait A => Eff[R, B]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def append[C](f: B => Eff[R, C]): Continuation[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

Source:
Continuation.scala
def apply(a: A): Eff[R, B]

execute this monadic function

execute this monadic function

This method is stack-safe

Attributes

Source:
Continuation.scala
def applyEval(a: A): Eff[R, B]

Attributes

Source:
Continuation.scala
def contraFlatMap[C](f: C => Eff[R, A]): Continuation[R, C, B]

Attributes

Source:
Continuation.scala
def contramap[C](f: C => A): Continuation[R, C, B]

Attributes

Source:
Continuation.scala
def dimapEff[C, D](f: C => A)(g: Eff[R, B] => Eff[R, D]): Continuation[R, C, D]

adapt the input and output of an Arrs function

adapt the input and output of an Arrs function

Attributes

Source:
Continuation.scala
def interpret[U, C](map: Eff[R, B] => Eff[U, C])(mapOnNone: Last[R] => Last[U]): Continuation[U, A, C]

create an Arrs function from the result of another Arrs function

create an Arrs function from the result of another Arrs function

Attributes

Source:
Continuation.scala
def interpretEff[U, C](map: Eff[R, B] => Eff[U, C])(mapOnNone: Eff[R, Unit] => Eff[U, Unit]): Continuation[U, A, C]

create an Arrs function from the result of another Arrs function

create an Arrs function from the result of another Arrs function

Attributes

Source:
Continuation.scala
def map[C](f: B => C): Continuation[R, A, C]

map the last value

map the last value

Attributes

Source:
Continuation.scala
def mapLast[C](f: Eff[R, B] => Eff[R, C]): Continuation[R, A, C]

map the last returned effect

map the last returned effect

Attributes

Source:
Continuation.scala
def runOnNone: Eff[R, Unit]

Attributes

Source:
Continuation.scala
def transform[U1, U2, M[_], N[_]](t: FunctionK[M, N])(implicit m: Aux[M, R, U1], n: Aux[N, R, U2], into: IntoPoly[U1, U2]): Continuation[R, A, B]

Attributes

Source:
Continuation.scala

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
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL