case class Impure[R, X, A](union: Effect[R, X], continuation: Continuation[R, X, A], last: Last[R] = Last.none[R]) extends Eff[R, A] with Product with Serializable
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
Ordering
- Alphabetic
- By Inheritance
Inherited
- Impure
- Serializable
- Product
- Equals
- Eff
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new Impure(union: Effect[R, X], continuation: Continuation[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
- def <<[B](fb: Eff[R, B]): Eff[R, A]
- Definition Classes
- Eff
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def >>[B](fb: Eff[R, B]): Eff[R, B]
- Definition Classes
- Eff
- def >>=[B](f: (A) => Eff[R, B]): Eff[R, B]
- Definition Classes
- Eff
- def addLast(l: Last[R]): Eff[R, A]
add one last action to be executed after any computation chained to this Eff value
- 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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- val continuation: Continuation[R, X, A]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def finalize(): Unit
- Attributes
- protected[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[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val last: Last[R]
- def map[B](f: (A) => B): Eff[R, B]
- Definition Classes
- Eff
- def map2[B, C](fb: Eff[R, B])(f: (A, B) => C): Eff[R, C]
- Definition Classes
- Eff
- def map2Flatten[B, C](fb: Eff[R, B])(f: (A, B) => Eff[R, C]): Eff[R, C]
- Definition Classes
- Eff
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def product[B](fb: Eff[R, B]): Eff[R, (A, B)]
- Definition Classes
- Eff
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- val union: Effect[R, X]
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()