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

HKDExtraTypes

perspective.derivation.HKDExtraTypes
See theHKDExtraTypes companion trait
object HKDExtraTypes

Attributes

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

Members list

Type members

Types

type FieldOfImpl[Name <: String, ElemTop, ElemTypes <: Tuple, Labels <: Tuple] = (ElemTypes, Labels, Labels) match { case (th *: tt, Name *: lt, lh *: _$12) => lh == Name match { case true => th & ElemTop } case (_$13 *: tt, _$14 *: lt, _$15) => FieldOfImpl[Name, ElemTop, tt, lt] }

Attributes

Source
hkdTypes.scala

Givens

Givens

transparent inline given derived[A](using m: Of[A], typeLength: TypeLength[m.MirroredElemTypes])(using NotZero[typeLength.Length] =:= true): HKDExtraTypes[A]

Attributes

Source
hkdTypes.scala
Generated with