Attributes
- Companion:
- trait
- Source:
- ReaderEffect.scala
- Graph
- Supertypes
- trait ReaderEffecttrait ReaderInterpretationtrait ReaderCreationclass Objecttrait Matchableclass Any
- Self type
- ReaderEffect.type
Members list
Value members
Inherited methods
get the environment
modify the environment
modify the environment using a Kleisli[F, T, *]
modify the environment using a Kleisli[F, T, *]
Attributes
- Inherited from:
- ReaderCreation
- Source:
- ReaderEffect.scala
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:
- ReaderEffect.scala
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:
- ReaderEffect.scala
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:
- ReaderEffect.scala
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:
- ReaderEffect.scala
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:
- ReaderEffect.scala