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

K0T

harness.deriving.K0T
abstract class K0T[UB]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object K0.type

Members list

Type members

Classlikes

trait Derivable[T[_ <: UB]]

Attributes

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

Companion
object
Supertypes
class Object
trait Matchable
class Any
object ProductInstances

Attributes

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object SumInstances

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type

Types

type FieldInstances[T <: Tuple, W[_], F[_ <: UB]] = T match { case EmptyTuple => EmptyTuple case x *: xs => W[F[x]] *: FieldInstances[xs, W, F] }
type Generic[O <: UB] = Kind[Mirror, O]
type Kind[C, O <: UB] = C { type MirroredType = O; type MirroredMonoType = O; type MirroredElemTypes <: Tuple; }
type ProductGeneric[O <: UB] = Kind[Product, O]
type SumGeneric[O <: UB] = Kind[Sum, O]

Value members

Concrete methods

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