harness-deriving
API
Generated with
harness-deriving/harness.deriving/K0

K0

harness.deriving.K0$
object K0 extends K0T[Any]

Attributes

Graph
Supertypes
class K0T[Any]
class Object
trait Matchable
class Any
Self type
K0.type

Members list

Type members

Inherited classlikes

trait Derivable[T[_ <: UB]]

Attributes

Inherited from:
K0T
Supertypes
class Object
trait Matchable
class Any
final class ProductInstances[F <: UB, T[_ <: UB]](val m: ProductGeneric[F])(val ev: MirroredMonoType <:< Product, val rawInstances: List[LazyDerived[T[UB]]])

Attributes

Inherited from:
K0T
Supertypes
class Object
trait Matchable
class Any
object ProductInstances

Attributes

Inherited from:
K0T
Supertypes
class Object
trait Matchable
class Any
final class SumInstances[F <: UB, T[_ <: UB]](val m: SumGeneric[F])(val children: List[T[UB]])

Attributes

Inherited from:
K0T
Supertypes
class Object
trait Matchable
class Any
object SumInstances

Attributes

Inherited from:
K0T
Supertypes
class Object
trait Matchable
class Any

Inherited types

type FieldInstances[T <: Tuple, W[_], F[_ <: UB]] = T match { case EmptyTuple => EmptyTuple case x *: xs => W[F[x]] *: FieldInstances[xs, W, F] }

Attributes

Inherited from:
K0T
type Generic[O <: UB] = Kind[Mirror, O]

Attributes

Inherited from:
K0T
type Kind[C, O <: UB] = C { type MirroredType = O; type MirroredMonoType = O; type MirroredElemTypes <: Tuple; }

Attributes

Inherited from:
K0T
type ProductGeneric[O <: UB] = Kind[Product, O]

Attributes

Inherited from:
K0T
type SumGeneric[O <: UB] = Kind[Sum, O]

Attributes

Inherited from:
K0T

Value members

Inherited methods

inline def summonFieldInstances[T <: Tuple, F[_], G[_]]: List[F[G[UB]]]

Attributes

Inherited from:
K0T
Generated with