derivation
API
Generated with
derivation/perspective.derivation/HKDProductGeneric

HKDProductGeneric

perspective.derivation.HKDProductGeneric
See theHKDProductGeneric companion trait
object HKDProductGeneric

Attributes

Companion
trait
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]; }

Value members

Concrete methods

transparent inline def apply[A](using gen: HKDProductGeneric[A]): Aux[A, Gen]
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[Length]; type TypeName = Label; }

Givens

Givens

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