data-lab
data-lab
data
data.const
hkd
tc
tc.derived
data-lab
/
tc
/
RepresentableK
RepresentableK
trait
RepresentableK
[U <: ([f <: ([_$15] =>>
Any
)] =>>
Any
)] extends
ApplicativeK
[
U
]
Companion
object
Graph
Super types
Known subtyes
trait
ApplicativeK
[
U
]
trait
PureK
[
U
]
trait
ApplyK
[
U
]
trait
FunctorK
[
U
]
class
Object
trait
Matchable
class
Any
trait
Craft
[
U
]
Value members
Extensions
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
PureK
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
ApplicativeK
->
FunctorK
Inhertied from
ApplicativeK