perspective
0.3.0
DocsAPI
Generated with
perspective/perspective/perspective.derivation/HKDProductGeneric

HKDProductGeneric

perspective.derivation.HKDProductGeneric
See theHKDProductGeneric companion trait
object HKDProductGeneric

Attributes

Companion
trait
Source
hkdGeneric.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

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

Attributes

Source
hkdGeneric.scala

Value members

Concrete methods

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

Attributes

Source
hkdGeneric.scala
def derivedImpl[A, ElemTypes <: Tuple, Label <: String, L <: Int](label: Label, namesArr: IArray[String], namesSet: Set[String])(using m: ProductOf[A] { type MirroredElemTypes = ElemTypes; type MirroredLabel = Label; }, typeLength: Aux[A, L]): HKDProductGeneric[A] { type TupleRep = ElemTypes; type Gen = [F[_]] =>> ProductK[F, this.TupleRep]; type Index = [_] =>> Finite[typeLength.Length]; type TypeName = Label; }

Attributes

Source
hkdGeneric.scala

Givens

Givens

transparent inline given derived[A](using m: ProductOf[A], typeLength: TypeLength[A]): HKDProductGeneric[A]

Attributes

Source
hkdGeneric.scala
Generated with