# EffInterpretation

### Related Docs: trait EffInterpretation | package eff

#### object EffInterpretation extends EffInterpretation

Linear Supertypes
EffInterpretation, AnyRef, Any
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. EffInterpretation
2. EffInterpretation
3. AnyRef
4. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Value Members

1. #### final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
3. #### final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
4. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
5. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
6. #### def detach[M[_], A](eff: Eff[Fx1[M], A])(implicit arg0: Monad[M]): M[A]

peel-off the only present effect

peel-off the only present effect

Definition Classes
EffInterpretation
7. #### def detachA[M[_], A](eff: Eff[Fx1[M], A])(implicit monad: Monad[M], applicative: Applicative[M]): M[A]

peel-off the only present effect, using an Applicative instance where possible

peel-off the only present effect, using an Applicative instance where possible

Definition Classes
EffInterpretation
8. #### def effInto[R, U, A](e: Eff[R, A])(implicit f: IntoPoly[R, U]): Eff[U, A]

An Eff[R, A] value can be transformed into an Eff[U, A] value provided that all the effects in R are also in U

An Eff[R, A] value can be transformed into an Eff[U, A] value provided that all the effects in R are also in U

Definition Classes
EffInterpretation
9. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
10. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
11. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
12. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
13. #### def hashCode(): Int

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

Definition Classes
Any
15. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
16. #### final def notify(): Unit

Definition Classes
AnyRef
17. #### final def notifyAll(): Unit

Definition Classes
AnyRef
18. #### def run[A](eff: Eff[NoFx, A]): A

base runner for an Eff value having no effects at all

base runner for an Eff value having no effects at all

This runner can only return the value in Pure because it doesn't known how to interpret the effects in Impure

Definition Classes
EffInterpretation
19. #### def runPure[R, A](eff: Eff[R, A]): Option[A]

get the pure value if there is no effect

get the pure value if there is no effect

Definition Classes
EffInterpretation
20. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
21. #### def toString(): String

Definition Classes
AnyRef → Any
22. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )