cats-effect/cats.effect/LiftIO

LiftIO

object LiftIO
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

trait AllOps[F[_], A] extends Ops[F, A]
trait Ops[F[_], A]
trait ToLiftIOOps
object nonInheritedOps extends ToLiftIOOps
object ops

Value members

Concrete methods

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

Summon an instance of LiftIO for F.

Summon an instance of LiftIO for F.

def liftK[F[_]](`evidence$1`: LiftIO[F]): FunctionK[[A] =>> IO[A], F]

LiftIO.liftIO as a natural transformation.

LiftIO.liftIO as a natural transformation.

Implicits

Implicits

implicit def catsEitherTLiftIO[F[_], L](`evidence$2`: LiftIO[F], `evidence$3`: Functor[F]): LiftIO[[_] =>> EitherT[F, L, _$4]]

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

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

implicit def catsIorTLiftIO[F[_], L](`evidence$12`: LiftIO[F], `evidence$13`: Applicative[F]): LiftIO[[_] =>> IorT[F, L, _$14]]

LiftIO instance built for cats.data.IorT values initialized with any F data type that also implements LiftIO.

LiftIO instance built for cats.data.IorT values initialized with any F data type that also implements LiftIO.

implicit def catsKleisliLiftIO[F[_], R](`evidence$4`: LiftIO[F]): LiftIO[[_] =>> Kleisli[F, R, _$6]]

LiftIO instance built for cats.data.Kleisli values initialized with any F data type that also implements LiftIO.

LiftIO instance built for cats.data.Kleisli values initialized with any F data type that also implements LiftIO.

implicit def catsOptionTLiftIO[F[_]](`evidence$5`: LiftIO[F], `evidence$6`: Functor[F]): LiftIO[[_] =>> OptionT[F, _$8]]

LiftIO instance built for cats.data.OptionT values initialized with any F data type that also implements LiftIO.

LiftIO instance built for cats.data.OptionT values initialized with any F data type that also implements LiftIO.

implicit def catsReaderWriterStateTLiftIO[F[_], E, L, S](`evidence$14`: LiftIO[F], `evidence$15`: Applicative[F], `evidence$16`: Monoid[L]): LiftIO[[_] =>> ReaderWriterStateT[F, E, L, S, _$16]]

LiftIO instance built for cats.data.ReaderWriterStateT values initialized with any F data type that also implements LiftIO.

LiftIO instance built for cats.data.ReaderWriterStateT values initialized with any F data type that also implements LiftIO.

implicit def catsStateTLiftIO[F[_], S](`evidence$7`: LiftIO[F], `evidence$8`: Applicative[F]): LiftIO[[_] =>> StateT[F, S, _$10]]

LiftIO instance built for cats.data.StateT values initialized with any F data type that also implements LiftIO.

LiftIO instance built for cats.data.StateT values initialized with any F data type that also implements LiftIO.

implicit def catsWriterTLiftIO[F[_], L](`evidence$9`: LiftIO[F], `evidence$10`: Applicative[F], `evidence$11`: Monoid[L]): LiftIO[[_] =>> WriterT[F, L, _$12]]

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

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