ImpureAp

ImpureAp is a list of independent effects and a pure function creating a value with all the resulting values once all effects have been interpreted.

This essentially models a sequence + map operation but it is important to understand that the list of Union objects can represent different effects and be like: List[Option[Int], Future[String], Option[Int]].

Interpreting such an Eff value for a given effect (say Option) consists in:

grouping all the Option values,
sequencing them
pass them to a continuation which will apply the 'map' functions when the other effects (Future in the example above) will have been interpreted

VERY IMPORTANT:

this object is highly unsafe
the size of the list argument to 'map' must always be equal to the number of unions in the Unions object
the types of the elements in the list argument to 'map' must be the exact types of each effect in unions.unions

Linear Supertypes

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

Instance Constructors

new ImpureAp(unions: Unions[R, X], continuation: Arrs[R, List[Any], 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
ImpureAp → 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, List[Any], 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
def toMonadic: Eff[R, A]
val unions: Unions[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 ImpureAp[R, X, A](unions: Unions[R, X], continuation: Arrs[R, List[Any], A], last: Last[R] = Last.none[R]) extends Eff[R, A] with Product with Serializable

Instance Constructors

new ImpureAp(unions: Unions[R, X], continuation: Arrs[R, List[Any], 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, List[Any], 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

def toMonadic: Eff[R, A]

val unions: Unions[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