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

K1T

harness.deriving.K1T
abstract class K1T[UB]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object K1.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] =>> Any]]])

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])(children: List[T[[_ <: UB] =>> Any]])

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 <: ([_ <: 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 }
type Generic[O[_ <: UB]] = Kind[Mirror, O]
type Head[T[_ <: UB], A] = T[A] match { case h *: _$51 => h }
type Id[x <: UB] = x
type Kind[C, O[_ <: UB]] = C { type MirroredType = [X <: UB] =>> O[X]; type MirroredMonoType = O[UB]; type MirroredElemTypes <: ([_ <: UB] =>> Tuple); }
type ProductGeneric[O[_ <: UB]] = Kind[Product, O]
type SumGeneric[O[_ <: UB]] = Kind[Sum, O]
type Tail[T[_ <: UB], A] = T[A] match { case _$52 *: t => t }

Value members

Concrete methods

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