TaskLift

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

A lawless type class that specifies conversions from Task 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

def apply[A](task: Task[A]): F[A]

Converts Task[A] into F[A].

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).

Deprecated methods

@deprecated("Switch to TaskLift.apply", since = "3.0.0-RC3")
def taskLift[A](task: Task[A]): F[A]
Implicitly added by Deprecated

DEPRECATED — switch to TaskLift.apply.

DEPRECATED — switch to TaskLift.apply.

Deprecated
[Since version 3.0.0-RC3]

Inherited methods

def and[H[_]](h: FunctionK[Task, H]): FunctionK[Task, [_] =>> Tuple2K[F, H, _$9]]

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

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
def andThen[H[_]](f: FunctionK[F, H]): FunctionK[Task, H]

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

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

Inherited from:
FunctionK
def compose[E[_]](f: FunctionK[E, Task]): FunctionK[E, F]

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

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

Inherited from:
FunctionK
def narrow[F0 <: (Task)]: FunctionK[F0, F]

Narrows the input type of this FunctionK from F to F0

Narrows the input type of this FunctionK from F to F0

Inherited from:
FunctionK
def or[H[_]](h: FunctionK[H, F]): FunctionK[[_] =>> EitherK[Task, H, _$6], F]

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

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
def widen[G0[x]]: FunctionK[Task, G0]

Widens the output type of this FunctionK from G to G0

Widens the output type of this FunctionK from G to G0

Inherited from:
FunctionK

Concrete fields

val inst: TaskLift[F]
Implicitly added by Deprecated