Object/Trait

org.atnos.eff

Eff

Related Docs: trait Eff | package eff

Permalink

object Eff extends EffCreation with EffInterpretation with EffImplicits

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Eff
  2. EffImplicits
  3. EffInterpretation
  4. EffCreation
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def EffApplicative[R]: Applicative[[β$6$]Eff[R, β$6$]]

    Permalink
    Definition Classes
    EffImplicits
  5. implicit final def EffMonad[R]: Monad[[β$4$]Eff[R, β$4$]]

    Permalink
    Definition Classes
    EffImplicits
  6. def ap[R, A, B](a: Eff[R, A])(f: Eff[R, (A) ⇒ B]): Eff[R, B]

    Permalink

    apply a function to an Eff value using the applicative instance

    apply a function to an Eff value using the applicative instance

    Definition Classes
    EffCreation
  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def bracketLast[R, A, B, C](acquire: Eff[R, A])(use: (A) ⇒ Eff[R, B])(release: (A) ⇒ Eff[R, C]): Eff[R, B]

    Permalink

    bracket an action with one last action to execute at the end of the program

    bracket an action with one last action to execute at the end of the program

    Definition Classes
    EffCreation
  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def collapse[R, M[_], A](r: Eff[R, M[A]])(implicit m: |=[M, R]): Eff[R, A]

    Permalink

    use the internal effect as one of the stack effects

    use the internal effect as one of the stack effects

    Definition Classes
    EffCreation
  11. def detach[M[_], A, E](eff: Eff[Fx1[M], A])(implicit monad: MonadError[M, E]): M[A]

    Permalink

    peel-off the only present effect

    peel-off the only present effect

    Definition Classes
    EffInterpretation
  12. def detach[M[_], R, A, E](eff: Eff[R, A])(implicit monad: MonadError[M, E], m: Aux[M, R, NoFx]): M[A]

    Permalink

    peel-off the only present effect

    peel-off the only present effect

    Definition Classes
    EffInterpretation
  13. def detachA[M[_], A, E](eff: Eff[Fx1[M], A])(implicit monad: MonadError[M, E], applicative: Applicative[M]): M[A]

    Permalink

    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
  14. def detachA[M[_], R, A, E](eff: Eff[R, A])(implicit monad: MonadError[M, E], applicative: Applicative[M], member: Aux[M, R, NoFx]): M[A]

    Permalink

    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
  15. final val effApplicativeUnsafe: Applicative[[β$2$]Eff[AnyRef, β$2$]]

    Permalink
    Definition Classes
    EffImplicits
  16. def effInto[R, U, A](e: Eff[R, A])(implicit f: IntoPoly[R, U]): Eff[U, A]

    Permalink

    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
  17. final val effMonadUnsafe: Monad[[β$0$]Eff[AnyRef, β$0$]]

    Permalink

    Monad implementation for the Eff[R, ?] type

    Monad implementation for the Eff[R, ?] type

    Definition Classes
    EffImplicits
  18. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  19. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  20. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. def flatSequenceA[R, F[_], A](fs: F[Eff[R, F[A]]])(implicit FT: Traverse[F], FM: FlatMap[F]): Eff[R, F[A]]

    Permalink

    use the applicative instance of Eff to sequence a list of values, then flatten it

    use the applicative instance of Eff to sequence a list of values, then flatten it

    Definition Classes
    EffCreation
  22. def flatTraverseA[R, F[_], A, B](fs: F[A])(f: (A) ⇒ Eff[R, F[B]])(implicit FT: Traverse[F], FM: FlatMap[F]): Eff[R, F[B]]

    Permalink

    use the applicative instance of Eff to traverse a list of values, then flatten it

    use the applicative instance of Eff to traverse a list of values, then flatten it

    Definition Classes
    EffCreation
  23. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  24. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  25. def impure[R, A, B](value: A, continuation: Continuation[R, A, B], map: (B) ⇒ B): Eff[R, B]

    Permalink

    create a delayed impure value

    create a delayed impure value

    Definition Classes
    EffCreation
  26. def impure[R, A, B](value: A, continuation: Continuation[R, A, B]): Eff[R, B]

    Permalink

    create a delayed impure value

    create a delayed impure value

    Definition Classes
    EffCreation
  27. def impure[R, X, A](union: Union[R, X], continuation: Continuation[R, X, A]): Eff[R, A]

    Permalink

    create a impure value from an union of effects and a continuation

    create a impure value from an union of effects and a continuation

    Definition Classes
    EffCreation
  28. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  29. def memoizeEffect[R, M[_], A](e: Eff[R, A], cache: Cache, key: AnyRef)(implicit member: /=[M, R], cached: SequenceCached[M]): Eff[R, A]

    Permalink

    Memoize an effect using a cache

    Memoize an effect using a cache

    all the consecutive effects M[X] leading to the computation of Eff[R, A] will be cached in the cache and retrieved from there if the Eff[R, A] computation is executed again

    Definition Classes
    EffInterpretation
  30. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  31. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  32. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  33. def pure[R, A](a: A): Eff[R, A]

    Permalink

    create a pure value

    create a pure value

    Definition Classes
    EffCreation
  34. def run[A](eff: Eff[NoFx, A]): A

    Permalink

    base runner for an Eff value having no effects at all the execution is trampolined using Eval

    base runner for an Eff value having no effects at all the execution is trampolined using Eval

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

    Permalink

    get the pure value if there is no effect

    get the pure value if there is no effect

    Definition Classes
    EffInterpretation
  36. def send[T[_], R, V](tv: T[V])(implicit member: |=[T, R]): Eff[R, V]

    Permalink

    create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R

    create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R

    Definition Classes
    EffCreation
  37. def sequenceA[R, F[_], A](fs: F[Eff[R, A]])(implicit arg0: Traverse[F]): Eff[R, F[A]]

    Permalink

    use the applicative instance of Eff to sequence a list of values

    use the applicative instance of Eff to sequence a list of values

    Definition Classes
    EffCreation
  38. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  39. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  40. def traverseA[R, F[_], A, B](fs: F[A])(f: (A) ⇒ Eff[R, B])(implicit arg0: Traverse[F]): Eff[R, F[B]]

    Permalink

    use the applicative instance of Eff to traverse a list of values

    use the applicative instance of Eff to traverse a list of values

    Definition Classes
    EffCreation
  41. def unit[R]: Eff[R, Unit]

    Permalink

    create an Eff value for ()

    create an Eff value for ()

    Definition Classes
    EffCreation
  42. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. def whenStopped[R, A](e: Eff[R, A], action: Last[R]): Eff[R, A]

    Permalink

    attach a clean-up action to the continuation (if any)

    attach a clean-up action to the continuation (if any)

    Definition Classes
    EffCreation

Inherited from EffImplicits

Inherited from EffInterpretation

Inherited from EffCreation

Inherited from AnyRef

Inherited from Any

Ungrouped