Impure

Impure is an effect (encoded as one possibility among other effects, a Union) and a continuation providing the next Eff value.

This essentially models a flatMap operation with the current effect and the monadic function to apply to a value once the effect is interpreted

One effect can always be executed last, just for side-effects

Linear Supertypes

Serializable, Serializable, Product, Equals, Eff[R, A], AnyRef, Any

Instance Constructors

new Impure(union: Union[R, X], continuation: Arrs[R, X, A], last: Last[R] = Last.none[R])

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def *>[B](fb: Eff[R, B]): Eff[R, B]

Definition Classes
Eff
def <*[B](fb: Eff[R, B]): Eff[R, A]

Definition Classes
Eff
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def addLast(l: Last[R]): Eff[R, A]

add one last action to be executed after any computation chained to this Eff value
add one last action to be executed after any computation chained to this Eff value

Definition Classes
Impure → Eff
def addLast(l: ⇒ Eff[R, Unit]): Eff[R, A]

add one last action to be executed after any computation chained to this Eff value
add one last action to be executed after any computation chained to this Eff value

Definition Classes
Eff
def ap[B](f: Eff[R, (A) ⇒ B]): Eff[R, B]

Definition Classes
Eff
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val continuation: Arrs[R, X, A]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def flatMap[B](f: (A) ⇒ Eff[R, B]): Eff[R, B]

Definition Classes
Eff
def flatten[B](implicit ev: =:=[A, Eff[R, B]]): Eff[R, B]

Definition Classes
Eff
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val last: Last[R]
def map[B](f: (A) ⇒ B): Eff[R, B]

Definition Classes
Eff
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val union: Union[R, X]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package eff

case class Impure[R, X, A](union: Union[R, X], continuation: Arrs[R, X, A], last: Last[R] = Last.none[R]) extends Eff[R, A] with Product with Serializable

Instance Constructors

new Impure(union: Union[R, X], continuation: Arrs[R, X, A], last: Last[R] = Last.none[R])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def *>[B](fb: Eff[R, B]): Eff[R, B]

def <*[B](fb: Eff[R, B]): Eff[R, A]

final def ==(arg0: Any): Boolean

def addLast(l: Last[R]): Eff[R, A]

def addLast(l: ⇒ Eff[R, Unit]): Eff[R, A]

def ap[B](f: Eff[R, (A) ⇒ B]): Eff[R, B]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val continuation: Arrs[R, X, A]

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

def flatMap[B](f: (A) ⇒ Eff[R, B]): Eff[R, B]

def flatten[B](implicit ev: =:=[A, Eff[R, B]]): Eff[R, B]

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

val last: Last[R]

def map[B](f: (A) ⇒ B): Eff[R, B]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

val union: Union[R, X]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Eff[R, A]

Inherited from AnyRef

Inherited from Any

Ungrouped