HKDSumExtraTypes

perspective.derivation.HKDSumExtraTypes
See theHKDSumExtraTypes companion object
trait HKDSumExtraTypes[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

Types

override type ElemTop <: A

Attributes

Source
hkdTypes.scala
type NameOf[X <: ElemTop] <: Names

Returns the name of a field given the type of the field.

Returns the name of a field given the type of the field.

Attributes

Source
hkdTypes.scala

Inherited types

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

Abstract methods

def indexToName[X <: ElemTop](idx: Index[X]): NameOf[X]

Given a index, return the name of the index.

Given a index, return the name of the index.

Attributes

Source
hkdTypes.scala

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