- Companion:
- class
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.
- Type parameters:
- 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.
- Type parameters:
- F
the higher-kinded type of a polymorphic effect
- R
the type of ZIO environment
- R1
the zoomed typed inside of the
R
- Value parameters:
- lens
zooms
R1
inside of theR
- mod
the modification function that returns a new environment