data-lab/tc/ApplicativeK

ApplicativeK

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

Value members

Inherited methods

def pureK[F <: ([_$11] =>> Any)](gen: [A] => () => F[A]): U[F]
Inhertied from
PureK

Extensions

Extensions

extension (obj: U[F])
override def mapK[F <: ([_$13] =>> Any), G <: ([_$14] =>> Any)](f: [A] => (x$1: F[A]) => G[A]): U[G]
Definition Classes

Inherited extensions

extension (left: U[F])
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]
Inhertied from
ApplyK
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]
Inhertied from
ApplyK