data-lab
data-lab
data
data.const
hkd
tc
tc.derived
data-lab
/
tc
tc
package
tc
Type members
Value members
Type members
Classlikes
trait
AppTraverse
[F <: ([_$17] =>>
Any
)] extends
Traverse
[
F
] with
Applicative
[
F
]
trait
Applicative
[F <: ([_$10] =>>
Any
)] extends
Apply
[
F
] with
Pure
[
F
]
trait
ApplicativeK
[U <: ([f <: ([_$12] =>>
Any
)] =>>
Any
)] extends
ApplyK
[
U
] with
PureK
[
U
]
trait
Apply
[F <: ([_$9] =>>
Any
)] extends
Functor
[
F
]
trait
ApplyK
[U <: ([f <: ([_$6] =>>
Any
)] =>>
Any
)] extends
FunctorK
[
U
]
trait
ConstraintK
[F <: ([_$1] =>>
Any
), TC <: ([_$2] =>>
Any
)]
Companion
object
object
ConstraintK
Companion
class
trait
Craft
[U <: ([f <: ([_$29] =>>
Any
)] =>>
Any
)] extends
RepresentableK
[
U
] with
TraversableK
[
U
]
Companion
object
object
Craft
Companion
class
trait
Functor
[F <: ([_$1] =>>
Any
)]
Companion
object
object
Functor
Companion
class
trait
FunctorK
[U <: ([f <: ([_$3] =>>
Any
)] =>>
Any
)]
trait
InstancePack
[TC <: ([_$6] =>>
Any
)]
Companion
object
object
InstancePack
Companion
class
trait
Pure
[F <: ([_$7] =>>
Any
)]
trait
PureK
[U <: ([f <: ([_$10] =>>
Any
)] =>>
Any
)]
trait
RepresentableK
[U <: ([f <: ([_$15] =>>
Any
)] =>>
Any
)] extends
ApplicativeK
[
U
]
Companion
object
object
RepresentableK
Companion
class
trait
TraversableK
[U <: ([f <: ([_$22] =>>
Any
)] =>>
Any
)] extends
FunctorK
[
U
]
trait
Traverse
[T <: ([_$14] =>>
Any
)] extends
Functor
[
T
]
Types
type
EqK
[F <: ([_$4] =>>
Any
)] =
ConstraintK
[
F
,
Eq
]
type
Identity
[+A] =
A
type
Name
[A] =
String
type
Names
[Data <: ([f <: ([_$3] =>>
Any
)] =>>
Any
)] =
Data
[
Name
]
type
OrderK
[F <: ([_$5] =>>
Any
)] =
ConstraintK
[
F
,
Order
]
type
Provided
[Data <: ([f <: ([_$1] =>>
Any
)] =>>
Any
), TC <: ([_$2] =>>
Any
)] =
Data
[
TC
]
type
Rep
[-U <: ([f <: ([_$1] =>>
Any
)] =>>
Any
), A] = [F <: ([_$2] =>>
Any
)] => (x$1:
U
[F]) => F[
A
]
type
ShowK
[F <: ([_$3] =>>
Any
)] =
ConstraintK
[
F
, [T] =>>
Show
[T]]
Value members
Methods
inline
def
names
[Data <: ([f <: ([_$4] =>>
Any
)] =>>
Any
)](using p:
ProductOf
[
Data
[
Name
]]):
MirroredMonoType
inline
def
provision
[P](using p:
ProductOf
[
P
]):
P
def
pure
[F <: ([_$8] =>>
Any
), A](a:
A
)(using F:
Pure
[
F
]):
F
[
A
]