HKDExtraTypes

perspective.derivation.HKDExtraTypes
See theHKDExtraTypes companion object
sealed trait HKDExtraTypes[A]

Attributes

Companion
object
Source
hkdTypes.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Type members

Types

type ElemTop

Attributes

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

Attributes

Source
hkdTypes.scala
type Gen[F[_]]

Attributes

Source
hkdTypes.scala
type Index[_]

Attributes

Source
hkdTypes.scala
type Names <: String

Attributes

Source
hkdTypes.scala
type Special

Attributes

Source
hkdTypes.scala
type TupleRep <: Tuple

Attributes

Source
hkdTypes.scala

Value members

Abstract methods

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

Attributes

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

Attributes

Source
hkdTypes.scala

Attributes

Source
hkdTypes.scala

Concrete methods

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

Attributes

Source
hkdTypes.scala