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

K1

harness.deriving.K1$
object K1 extends K1T[Any]

Attributes

Graph
Supertypes
class K1T[Any]
class Object
trait Matchable
class Any
Self type
K1.type

Members list

Type members

Inherited classlikes

trait Derivable[T[_[_ <: UB]]]

Attributes

Inherited from:
K1T
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] =>> Any]]])

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
K1T
Supertypes
class Object
trait Matchable
class Any

Inherited types

type FieldInstances[T <: ([_ <: UB] =>> Tuple), F[_], G[_[_ <: UB]]] = T[UB] match { case _$53 *: _$54 => F[G[[X] =>> Head[T, X]]] *: FieldInstances[[X] =>> Tail[T, X], F, G] case EmptyTuple => EmptyTuple }

Attributes

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

Attributes

Inherited from:
K1T
type Head[T[_ <: UB], A] = T[A] match { case h *: _$51 => h }

Attributes

Inherited from:
K1T
type Id[x <: UB] = x

Attributes

Inherited from:
K1T
type Kind[C, O[_ <: UB]] = C { type MirroredType = [X <: UB] =>> O[X]; type MirroredMonoType = O[UB]; type MirroredElemTypes <: ([_ <: UB] =>> Tuple); }

Attributes

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

Attributes

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

Attributes

Inherited from:
K1T
type Tail[T[_ <: UB], A] = T[A] match { case _$52 *: t => t }

Attributes

Inherited from:
K1T

Value members

Inherited methods

inline def summonFieldInstances[T <: ([_] =>> Tuple), F[_], G[_[_]]]: List[F[G[[_ <: UB] =>> Any]]]

Attributes

Inherited from:
K1T
Generated with