IndexOfACasting

perspective.derivation.HKDSumGeneric.IndexOfACasting
See theIndexOfACasting companion object
trait IndexOfACasting[Index[_], ElemTop]

Attributes

Companion
object
Source
hkdGeneric.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class IndexOfACastingImpl[Index, ElemTop, X1]

Members list

Type members

Types

type X0 <: ElemTop

Attributes

Source
hkdGeneric.scala

Value members

Abstract fields

val index: Index[X0]

Attributes

Source
hkdGeneric.scala
val value: X0

Attributes

Source
hkdGeneric.scala