cats-effect/cats.effect/Effect

Effect

object Effect
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

trait AllOps[F[_], A] extends Ops[F, A] with AllOps[F, A]
trait Ops[F[_], A]
trait ToEffectOps
object nonInheritedOps extends ToEffectOps
class ops$

Value members

Concrete methods

@inline
def apply[F[_]](implicit instance: Effect[F]): Effect[F]

Summon an instance of Effect for F.

Summon an instance of Effect for F.

def toIOFromRunAsync[F[_], A](f: F[A])(implicit F: Effect[F]): IO[A]

Effect.toIO default implementation, derived from Effect.runAsync.

Effect.toIO default implementation, derived from Effect.runAsync.

def toIOK[F[_]](implicit F: Effect[F]): FunctionK[F, [A] =>> IO[A]]

Effect.toIO as a natural transformation.

Effect.toIO as a natural transformation.

Concrete fields

val ops: ops$

Implicits

Implicits

implicit def catsEitherTEffect[F[_]](implicit evidence$1: Effect[F]): Effect[[_] =>> EitherT[F, Throwable, _$5]]

Effect instance built for cats.data.EitherT values initialized with any F data type that also implements Effect.

Effect instance built for cats.data.EitherT values initialized with any F data type that also implements Effect.

implicit def catsWriterTEffect[F[_], L](implicit evidence$2: Effect[F], evidence$3: Monoid[L]): Effect[[_] =>> WriterT[F, L, _$7]]

Effect instance built for cats.data.WriterT values initialized with any F data type that also implements Effect.

Effect instance built for cats.data.WriterT values initialized with any F data type that also implements Effect.