derivation/perspective.derivation/InlineHKDProductGeneric

InlineHKDProductGeneric

object InlineHKDProductGeneric
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

class DerivedImpl[A, ElemTypes <: Tuple, ElemLabels <: Tuple, TypeName0 <: String, NamesUnion <: String](using val m: ProductOf[A] { type MirroredElemTypes = ElemTypes; type MirroredElemLabels = ElemLabels; type MirroredLabel = TypeName0; }, val idClassTag: ClassTag[Union[ElemTypes]]) extends InlineHKDProductGeneric[A] with InlineHKDGenericTypeclassOps[A, ElemTypes]

Types

type Aux[A, Gen0[_[_]]] = InlineHKDProductGeneric[A] { type Gen = [B[_]] =>> Gen0[B]; }

Value members

Concrete methods

transparent inline def apply[A](using gen: InlineHKDProductGeneric[A]): Aux[A, Gen]

Givens

Givens

given derived[A](using m: ProductOf[A], idClassTag: ClassTag[Union[<none>]]): DerivedImpl[A, <none>, MirroredElemLabels, MirroredLabel, TupleUnionLub[MirroredElemLabels, String, Nothing]]