perspective.derivation.HKDSumGeneric
See theHKDSumGeneric companion trait
object HKDSumGeneric
Attributes
- Companion
- trait
- Source
- hkdGeneric.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
HKDSumGeneric.type
Members list
Type members
Classlikes
object IndexOfACasting
Attributes
- Companion
- trait
- Source
- hkdGeneric.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
IndexOfACasting.type
Attributes
- Companion
- object
- Source
- hkdGeneric.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
Types
Attributes
- Source
- hkdGeneric.scala
Value members
Concrete methods
Attributes
- Source
- hkdGeneric.scala
def derivedImpl[A, ElemTypes <: Tuple, Label <: String](label: Label, namesArr: IArray[String], namesSet: Set[String])(using m: SumOf[A] { type MirroredElemTypes = ElemTypes; type MirroredLabel = Label; }, typeLength: TypeLength[A], nz: NotZero[typeLength.Length] =:= true): HKDSumGeneric[A] { type TupleRep = ElemTypes; type Gen = [F[_]] =>> ProductK[F, this.TupleRep]; type Index = [_] =>> Finite[typeLength.Length]; type TypeName = Label; type ElemTop = A & TupleUnion[this.TupleRep, Nothing]; }
Attributes
- Source
- hkdGeneric.scala
Givens
Givens
transparent inline given derived[A](using m: SumOf[A], typeLength: TypeLength[A])(using NotZero[typeLength.Length] =:= true): HKDSumGeneric[A]
Attributes
- Source
- hkdGeneric.scala
In this article