FromEffect

object FromEffect
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

trait Contextual[F[_], R] extends FromEffect[F, R]

Contextual version of the FromEffect.

Contextual version of the FromEffect.

Type parameters:
F

the higher-kinded type of a polymorphic effect

R

the type of ZIO environment

Value members

Concrete methods

def apply[F[_], R](implicit ev: FromEffect[F, R]): FromEffect[F, R]
def contextual[F[_], R](dispatcher: Dispatcher[F])(implicit injector: InjectEnv[F, R]): Contextual[F, R]
   Contextual conversion from a polymorphic effect `F` to [[zio.RIO]].

   An environment of type `R` is injected into the effect `F` via `injector`.
   The execution of `RIO[R, A]` relies on the environment `R` modified by [[InjectEnv.modify]].
Type parameters:
F

the higher-kinded type of a polymorphic effect

R

the type of ZIO environment

Value parameters:
dispatcher

the instance of cats.effect.std.Dispatcher. Required in order to perform the conversion

injector

injects the given environment of type R into the effect F

def contextual[F[_], R](from: FromEffect[F, R])(implicit injector: InjectEnv[F, R]): Contextual[F, R]
   Contextual conversion from a polymorphic effect `F` to [[zio.RIO]].

   An environment of type `R` is injected into the effect `F` via `injector`.
   The execution of `RIO[R, A]` relies on the environment `R` modified by [[InjectEnv.modify]].
Type parameters:
F

the higher-kinded type of a polymorphic effect

R

the type of ZIO environment

Value parameters:
from

the underlying conversion from F to zio.RIO

injector

injects the given environment of type R into the effect F

Implicits

Implicits

implicit def forDispatcher[F[_], R](implicit dispatcher: Dispatcher[F]): FromEffect[F, R]

Default (non-contextual) conversion from a polymorphic effect F to zio.RIO.

Default (non-contextual) conversion from a polymorphic effect F to zio.RIO.

Identical to what https://github.com/zio/interop-cats offers.

Type parameters:
F

the higher-kinded type of a polymorphic effect

R

the type of ZIO environment

Value parameters:
dispatcher

the instance of cats.effect.std.Dispatcher. Required in order to perform the conversion