LiftIO

cats.effect.LiftIO
See theLiftIO companion trait
object LiftIO

Attributes

Companion
trait
Source
LiftIO.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
LiftIO.type

Members list

Value members

Concrete methods

def apply[F[_]](implicit F: LiftIO[F]): LiftIO[F]

Attributes

Source
LiftIO.scala
def liftK[F[_]](implicit F: LiftIO[F]): FunctionK[IO, F]

LiftIO.liftIO as a natural transformation

LiftIO.liftIO as a natural transformation

Attributes

Source
LiftIO.scala

Implicits

Implicits

implicit def catsContTLiftIO[F[_], R](implicit F: LiftIO[F], FF: FlatMap[F]): LiftIO[[_] =>> ContT[F, R, _$26]]

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

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

Attributes

Source
LiftIO.scala
implicit def catsEffectLiftIOForResource[F[_]](implicit F00: LiftIO[F], F10: Applicative[F]): LiftIO[[_] =>> Resource[F, _$29]]

LiftIO instance for Resource values.

LiftIO instance for Resource values.

Attributes

Source
LiftIO.scala
implicit def catsEitherTLiftIO[F[_], L](implicit F: LiftIO[F], FF: Functor[F]): LiftIO[[_] =>> EitherT[F, L, _$5]]

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.

Attributes

Source
LiftIO.scala
implicit def catsIorTLiftIO[F[_], L](implicit F: LiftIO[F], FA: Applicative[F]): LiftIO[[_] =>> IorT[F, L, _$20]]

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.

Attributes

Source
LiftIO.scala
implicit def catsKleisliLiftIO[F[_], R](implicit F: LiftIO[F]): LiftIO[[_] =>> Kleisli[F, R, _$8]]

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.

Attributes

Source
LiftIO.scala
implicit def catsOptionTLiftIO[F[_]](implicit F: LiftIO[F], FF: Functor[F]): LiftIO[[_] =>> OptionT[F, _$11]]

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.

Attributes

Source
LiftIO.scala
implicit def catsReaderWriterStateTLiftIO[F[_], E, L, S](implicit F: LiftIO[F], FA: Applicative[F], L: Monoid[L]): LiftIO[[_] =>> ReaderWriterStateT[F, E, L, S, _$23]]

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.

Attributes

Source
LiftIO.scala
implicit def catsStateTLiftIO[F[_], S](implicit F: LiftIO[F], FA: Applicative[F]): LiftIO[[_] =>> StateT[F, S, _$14]]

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.

Attributes

Source
LiftIO.scala
implicit def catsWriterTLiftIO[F[_], L](implicit F: LiftIO[F], FA: Applicative[F], L: Monoid[L]): LiftIO[[_] =>> WriterT[F, L, _$17]]

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.

Attributes

Source
LiftIO.scala
implicit val ioLiftIO: LiftIO[IO]

LiftIO instance for IO values.

LiftIO instance for IO values.

Attributes

Source
LiftIO.scala