trait ReaderEffect extends ReaderCreation with ReaderInterpretation
Effect for computations depending on an environment.
The inside datatype for this effect is cats.data.Reader
- Alphabetic
- By Inheritance
- ReaderEffect
- ReaderInterpretation
- ReaderCreation
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- 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
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- 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
- 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
- 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
- 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 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
- 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
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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
- 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()
- 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