Packages

object reader extends ReaderCreation with ReaderInterpretation

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. reader
  2. ReaderInterpretation
  3. ReaderCreation
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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 ask[R, T](implicit member: |=[[β$0$]Kleisli[[A]A, T, β$0$], R]): Eff[R, T]

    get the environment

    get the environment

    Definition Classes
    ReaderCreation
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  10. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. def local[R, T, U](f: (T) => U)(implicit member: |=[[β$1$]Kleisli[[A]A, T, β$1$], R]): Eff[R, U]

    modify the environment

    modify the environment

    Definition Classes
    ReaderCreation
  14. def localKleisli[R, T, U, F[_]](f: (T) => F[U])(implicit member: |=[[γ$3$]Kleisli[F, T, γ$3$], R]): Eff[R, U]

    modify the environment using a Kleisli[F, T, ?]

    modify the environment using a Kleisli[F, T, ?]

    Definition Classes
    ReaderCreation
  15. def localReader[R, T, A](e: Eff[R, A])(modify: (T) => T)(implicit r: /=[[β$17$]Kleisli[[A]A, T, β$17$], R]): Eff[R, A]

    Update the read value, the stack of the Eff computation stays the same

    Update the read value, the stack of the Eff computation stays the same

    Definition Classes
    ReaderInterpretation
  16. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. def runKleisli[R, U, S, A, F[_]](env: S)(e: Eff[R, A])(implicit mx: Aux[[γ$7$]Kleisli[F, S, γ$7$], R, U], m: |=[F, U]): Eff[U, A]

    interpret the Kleisli effect by providing an environment when required and translating the resulting target effect into the same stack

    interpret the Kleisli effect by providing an environment when required and translating the resulting target effect into the same stack

    Definition Classes
    ReaderInterpretation
  20. def runReader[R, U, A, B](env: A)(effect: Eff[R, B])(implicit m: Aux[[β$5$]Kleisli[[A]A, A, β$5$], R, U]): Eff[U, B]

    interpret the Reader effect by providing an environment when required

    interpret the Reader effect by providing an environment when required

    Definition Classes
    ReaderInterpretation
  21. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  22. def toString(): String
    Definition Classes
    AnyRef → Any
  23. def translateReader[R, U, S, B, A](e: Eff[R, A], getter: (B) => S)(implicit sr: Aux[[β$9$]Kleisli[[A]A, S, β$9$], R, U], br: |=[[β$10$]Kleisli[[A]A, B, β$10$], U]): Eff[U, A]

    Interpret a Reader effect by using another Reader effect in the same stack

    Interpret a Reader effect by using another Reader effect in the same stack

    Definition Classes
    ReaderInterpretation
  24. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  25. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  26. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  27. def zoomReader[R1, R2, U, S, T, A](e: Eff[R1, A])(f: (T) => S)(implicit readerS: Aux[[β$13$]Kleisli[[A]A, S, β$13$], R1, U], readerT: Aux[[β$14$]Kleisli[[A]A, T, β$14$], R2, U]): Eff[R2, A]

    Modify the type of the read value

    Modify the type of the read value

    This changes the stack of the Eff computation

    Definition Classes
    ReaderInterpretation

Inherited from ReaderInterpretation

Inherited from ReaderCreation

Inherited from AnyRef

Inherited from Any

Ungrouped