HKDGeneric

perspective.derivation.HKDGeneric
See theHKDGeneric companion trait
object HKDGeneric

Attributes

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

Members list

Type members

Classlikes

case class IdxWrapper[Index[_], X](idx: Index[X])

Attributes

Source
hkdGeneric.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Types

type Aux[A, Gen0[_[_]]] = HKDGeneric[A] { type Gen = [B[_]] =>> Gen0[B]; }

Attributes

Source
hkdGeneric.scala

Givens

Givens

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

Attributes

Source
hkdGeneric.scala