data-lab/tc/RepresentableK

RepresentableK

trait RepresentableK[U <: ([f <: ([_$15] =>> Any)] =>> Any)] extends ApplicativeK[U]
Companion
object
trait PureK[U]
trait ApplyK[U]
trait FunctorK[U]
class Object
trait Matchable
class Any
trait Craft[U]

Value members

Methods

def tabulate[F <: ([_$16] =>> Any)](gain: [A] => (x$1: Rep[U, A]) => F[A]): U[F]
override def pureK[F <: ([_$17] =>> Any)](gen: [A] => () => F[A]): U[F]
Definition Classes

Extensions

Extensions

extension (left: U[F])
def map2K[F <: ([_$18] =>> Any), G <: ([_$19] =>> Any), H <: ([_$20] =>> Any)](right: U[G])(f: [A] => (x$1: F[A], x$2: G[A]) => H[A]): U[H]

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
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
Inhertied from
ApplicativeK