IOLift

@implicitNotFound("Cannot find implicit value for IOLift[${F}].\nBuilding this implicit value might depend on having an implicit\ns.c.ExecutionContext in scope, a Scheduler or some equivalent type.") trait IOLift[F[_]] extends FunctionK[Task, F]

A lawless type class that specifies conversions from IO to similar data types (i.e. pure, asynchronous, preferably cancelable).

Companion: object

trait FunctionK[Task, F]

trait Serializable

class Object

trait Matchable

class Any

Value members

Abstract methods

Converts Task[A] into F[A].

The operation should preserve referential transparency and if possible runtime characteristics (e.g. the result should not block threads if the source doesn't) and interruptibility (although this isn't possible for conversions to cats.effect.Async data types that are not also Concurrent).

Inherited methods

Composes two instances of FunctionK into a new FunctionK that transforms one single functor to a cats.data.Tuple2K of two functors.

scala> import cats.arrow.FunctionK
scala> val list2option = λ[FunctionK[List, Option]](_.headOption)
scala> val list2vector = λ[FunctionK[List, Vector]](_.toVector)
scala> val optionAndVector = list2option and list2vector
scala> optionAndVector(List(1,2,3))
res0: cats.data.Tuple2K[Option,Vector,Int] = Tuple2K(Some(1),Vector(1, 2, 3))

Inherited from: FunctionK

Composes two instances of FunctionK into a new FunctionK with this transformation applied first.

Inherited from: FunctionK

Composes two instances of FunctionK into a new FunctionK with this transformation applied last.

Inherited from: FunctionK

Narrows the input type of this FunctionK from F to F0

Inherited from: FunctionK

Composes two instances of FunctionK into a new FunctionK that transforms a cats.data.EitherK to a single functor.

This transformation will be used to transform left F values while h will be used to transform right H values.

Inherited from: FunctionK

Widens the output type of this FunctionK from G to G0

Inherited from: FunctionK