trait LabelledTypeClassCompanion[C[_]] extends LabelledProductTypeClassCompanion[C]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- LabelledTypeClassCompanion
- LabelledProductTypeClassCompanion
- Serializable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
trait
Wrap[KV] extends Serializable
- Definition Classes
- LabelledProductTypeClassCompanion
Abstract Value Members
-
abstract
val
typeClass: LabelledTypeClass[C]
- Definition Classes
- LabelledTypeClassCompanion → LabelledProductTypeClassCompanion
Concrete Value Members
-
object
Wrap extends Serializable
- Definition Classes
- LabelledProductTypeClassCompanion
-
def
apply[T](implicit ct: Lazy[C[T]]): C[T]
- Definition Classes
- LabelledProductTypeClassCompanion
- implicit def deriveCCons[HK <: Symbol, HV, TKV <: Coproduct](implicit ch: Lazy[C[HV]], key: Aux[HK], ct: Lazy[Wrap[TKV] { type V <: shapeless.Coproduct }]): Aux[:+:[FieldType[HK, HV], TKV], :+:[HV, (value)#V]]
- implicit def deriveCNil: Aux[CNil, CNil]
-
implicit
def
deriveHCons[HK <: Symbol, HV, TKV <: HList](implicit ch: Lazy[C[HV]], key: Aux[HK], ct: Lazy[Wrap[TKV] { type V <: shapeless.HList }]): Aux[::[FieldType[HK, HV], TKV], ::[HV, (value)#V]]
- Definition Classes
- LabelledProductTypeClassCompanion
-
implicit
def
deriveHNil: Aux[HNil, HNil]
- Definition Classes
- LabelledProductTypeClassCompanion
-
implicit
def
deriveInstance[T, LKV](implicit lgen: Aux[T, LKV], lwclkv: Lazy[Wrap[LKV]]): C[T]
- Definition Classes
- LabelledProductTypeClassCompanion