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