cats-effect/cats.effect/ContextShift

ContextShift

object ContextShift
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_]](ev: ContextShift[F]): ContextShift[F]
def evalOnK[F[_]](ec: ExecutionContext)(cs: ContextShift[F]): FunctionK[F, F]

evalOn as a natural transformation.

evalOn as a natural transformation.

Implicits

Implicits

implicit def deriveEitherT[F[_], L](F: Functor[F], cs: ContextShift[F]): ContextShift[[_] =>> EitherT[F, L, _$5]]

Derives a ContextShift instance for cats.data.EitherT, given we have one for F[_].

Derives a ContextShift instance for cats.data.EitherT, given we have one for F[_].

implicit def deriveIorT[F[_], L](F: Applicative[F], cs: ContextShift[F]): ContextShift[[_] =>> IorT[F, L, _$20]]

Derives a ContextShift instance for cats.data.IorT, given we have one for F[_].

Derives a ContextShift instance for cats.data.IorT, given we have one for F[_].

implicit def deriveKleisli[F[_], R](cs: ContextShift[F]): ContextShift[[_] =>> Kleisli[F, R, _$17]]

Derives a ContextShift instance for cats.data.Kleisli, given we have one for F[_].

Derives a ContextShift instance for cats.data.Kleisli, given we have one for F[_].

implicit def deriveOptionT[F[_]](F: Functor[F], cs: ContextShift[F]): ContextShift[[_] =>> OptionT[F, _$8]]

Derives a ContextShift instance for cats.data.OptionT, given we have one for F[_].

Derives a ContextShift instance for cats.data.OptionT, given we have one for F[_].

implicit def deriveStateT[F[_], L](F: Monad[F], cs: ContextShift[F]): ContextShift[[_] =>> StateT[F, L, _$14]]

Derives a ContextShift instance for cats.data.StateT, given we have one for F[_].

Derives a ContextShift instance for cats.data.StateT, given we have one for F[_].

implicit def deriveWriterT[F[_], L](F: Applicative[F], L: Monoid[L], cs: ContextShift[F]): ContextShift[[_] =>> WriterT[F, L, _$11]]

Derives a ContextShift instance for cats.data.WriterT, given we have one for F[_].

Derives a ContextShift instance for cats.data.WriterT, given we have one for F[_].