HKDProductExtraTypes

perspective.derivation.HKDProductExtraTypes
See theHKDProductExtraTypes companion object
trait HKDProductExtraTypes[A] extends HKDExtraTypes[A]

Attributes

Companion
object
Source
hkdTypes.scala
Graph
Supertypes
trait HKDExtraTypes[A]
class Object
trait Matchable
class Any

Members list

Type members

Inherited types

type ElemTop

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala
type FieldOf[Name <: Names]

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala
type Gen[F[_]]

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala
type Index[_]

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala
type Names <: String

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala
type Special

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala
type TupleRep <: Tuple

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala

Value members

Inherited methods

def nameToIndex[Name <: Names](name: Name): Index[FieldOf[Name]]

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala
def names: Gen[Const[Names]]

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala
def withIdx[I[_]](using ev: Index[Special] =:= I[Special]): this.type { type Index = I; }

Attributes

Inherited from:
HKDExtraTypes
Source
hkdTypes.scala