Attributes
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.
Type parameters
- F
-
the higher-kinded type of a polymorphic effect
- R
-
the type of ZIO environment
Attributes
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