CoevalLift

@implicitNotFound("Cannot find implicit value for CoevalLift[${F}].") trait CoevalLift[F[_]] extends FunctionK[[A] =>> Coeval[A], F]

A lawless type class that specifies conversions from Coeval to similar data types (i.e. pure, synchronous).

A lawless type class that specifies conversions from Coeval to similar data types (i.e. pure, synchronous).

This is nothing more than a cats.arrow.FunctionK.

Companion
object
trait FunctionK[[A] =>> Coeval[A], F]
trait Serializable
class Object
trait Matchable
class Any

Value members

Abstract methods

def apply[A](coeval: Coeval[A]): F[A]

Converts Coeval[A] into F[A].

Converts Coeval[A] into F[A].

The operation should preserve laziness if possible.

Inherited methods

def and[H[_]](h: FunctionK[[A] =>> Coeval[A], H]): FunctionK[[A] =>> Coeval[A], [_] =>> 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[[A] =>> Coeval[A], 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, [A] =>> Coeval[A]]): 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 <: ([x] =>> Coeval[x])]: 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[[A] =>> Coeval[A], 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[[A] =>> Coeval[A], 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