ReaderEffect

org.atnos.eff.ReaderEffect
See theReaderEffect companion object

Effect for computations depending on an environment.

The inside datatype for this effect is cats.data.Reader

Attributes

Companion
object
Source
ReaderEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ReaderEffect

Members list

Value members

Inherited methods

def ask[R, T](using MemberIn[[_] =>> Reader[T, _$1], R]): Eff[R, T]

get the environment

get the environment

Attributes

Inherited from:
ReaderCreation
Source
ReaderCreation.scala
def local[R, T, U](f: T => U)(using MemberIn[[_] =>> Reader[T, _$2], R]): Eff[R, U]

modify the environment

modify the environment

Attributes

Inherited from:
ReaderCreation
Source
ReaderCreation.scala
def localKleisli[R, T, U, F[_]](f: T => F[U])(using MemberIn[[_] =>> Kleisli[F, T, _$5], R]): Eff[R, U]

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

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

Attributes

Inherited from:
ReaderCreation
Source
ReaderCreation.scala
def localReader[R, T, A](e: Eff[R, A])(modify: T => T)(using r: MemberInOut[[_] =>> Reader[T, _$16], 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

Attributes

Inherited from:
ReaderInterpretation
Source
ReaderInterpretation.scala
def runKleisli[R, U, S, A, F[_]](env: S)(e: Eff[R, A])(using Aux[[_] =>> Kleisli[F, S, _$6], R, U], MemberIn[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

Attributes

Inherited from:
ReaderInterpretation
Source
ReaderInterpretation.scala
def runReader[R, U, A, B](env: A)(effect: Eff[R, B])(using Aux[[_] =>> Reader[A, _$1], 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

Attributes

Inherited from:
ReaderInterpretation
Source
ReaderInterpretation.scala
def translateReader[R, U, S, B, A](e: Eff[R, A], getter: B => S)(using Aux[[_] =>> Reader[S, _$8], R, U], MemberIn[[_] =>> Reader[B, _$9], 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

Attributes

Inherited from:
ReaderInterpretation
Source
ReaderInterpretation.scala
def zoomReader[R1, R2, U, S, T, A](e: Eff[R1, A])(f: T => S)(using Aux[[_] =>> Reader[S, _$12], R1, U], Aux[[_] =>> Reader[T, _$13], 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

Attributes

Inherited from:
ReaderInterpretation
Source
ReaderInterpretation.scala