Members list
Value members
Concrete methods
Injects a given environment into the underlying effect in cats.data.Kleisli. Prioritizes Kleisli context over ZIO environment.
Injects a given environment into the underlying effect in cats.data.Kleisli. Prioritizes Kleisli context over ZIO environment.
Attributes
- F
the higher-kinded type of a polymorphic effect
- R
the type of ZIO environment
Injects a zoomed value (via lens) from the given environment into the underlying effect in cats.data.Kleisli.
Injects a zoomed value (via lens) from the given environment into the underlying effect in cats.data.Kleisli.
Constructs a new environment using zio.RIO env and local context from cats.data.Kleisli.
Useful when zio.RIO and effect F are using different contextual environments.
Attributes
- F
the higher-kinded type of a polymorphic effect
- R
the type of ZIO environment
- R1
the zoomed typed inside of the
R- lens
zooms
R1inside of theR- mod
the modification function that returns a new environment