data-lab/tc/Craft

Craft

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

Value members

Methods

def craft[F <: ([_$30] =>> Any), G <: ([_$31] =>> Any)](gain: [A] => (x$1: Rep[U, A]) => F[G[A]])(evidence$1: Applicative[F]): F[U[G]]
def tabulate[F <: ([_$32] =>> Any)](gain: [A] => (x$1: Rep[U, A]) => F[A]): U[F]

Inherited methods

override def pureK[F <: ([_$17] =>> Any)](gen: [A] => () => F[A]): U[F]
Definition Classes
Inhertied from
RepresentableK

Extensions

Extensions

extension (uf: U[F])
def traverseK[F <: ([_$33] =>> Any), G <: ([_$34] =>> Any), H <: ([_$35] =>> Any)](f: [A] => (x$1: F[A]) => G[H[A]])(using Applicative[G]): G[U[H]]

Inherited 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]
Inhertied from
RepresentableK
extension (uf: U[F])
def parSequenceId[F <: ([_$28] =>> Any)](using Parallel[F]): F[U[Identity]]
Inhertied from
TraversableK
def sequenceId[F <: ([_$28] =>> Any)](using Applicative[F]): F[U[Identity]]
Inhertied from
TraversableK
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 (uf: U[[A] =>> F[G[A]]])
def parSequenceK[F <: ([_$26] =>> Any), G <: ([_$27] =>> Any)](using P: Parallel[F]): F[U[G]]
Inhertied from
TraversableK
def sequenceK[F <: ([_$26] =>> Any), G <: ([_$27] =>> Any)](using Applicative[F]): F[U[G]]
Inhertied from
TraversableK
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