data-lab/tc/ApplyK

ApplyK

trait ApplyK[U <: ([f <: ([_$6] =>> Any)] =>> Any)] extends FunctorK[U]
trait FunctorK[U]
class Object
trait Matchable
class Any
trait Craft[U]

Extensions

Extensions

extension (left: U[F])
def map2K[F <: ([_$7] =>> Any), G <: ([_$8] =>> Any), H <: ([_$9] =>> Any)](right: U[G])(f: [A] => (x$1: F[A], x$2: G[A]) => H[A]): U[H]
def map2Given[F <: ([_$7] =>> Any), G <: ([_$8] =>> Any), H <: ([_$9] =>> Any)](right: U[G])(f: [A] => (x$1: F[A]) => G[A] => H[A]): U[H]

Inherited extensions

extension (obj: U[F])
def mapK[F <: ([_$4] =>> Any), G <: ([_$5] =>> Any)](f: [A] => (x$1: F[A]) => G[A]): U[G]
Inhertied from
FunctorK