core/org.atnos.eff/Continuation

Continuation

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

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

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]

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

execute this monadic function

execute this monadic function

This method is stack-safe

Source:
Continuation.scala
def applyEval(a: A): Eff[R, B]
def contraFlatMap[C](f: C => Eff[R, A]): Continuation[R, C, B]
def contramap[C](f: C => A): Continuation[R, C, B]
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

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

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

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

map the last value

map the last value

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

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]

Inherited methods

def andThen[A](g: Eff[R, B] => A): A => A
Inherited from:
Function1
def compose[A](g: A => A): A => Eff[R, B]
Inherited from:
Function1
def productIterator: Iterator[Any]
Inherited from:
Product
override def toString(): String
Definition Classes
Function1 -> Any
Inherited from:
Function1