IndexOfACastingImpl

perspective.derivation.HKDSumGeneric.IndexOfACasting.IndexOfACastingImpl
class IndexOfACastingImpl[Index[_], ElemTop, X1 <: ElemTop](val index: Index[X1], val value: X1) extends IndexOfACasting[Index, ElemTop]

Attributes

Source
hkdGeneric.scala
Graph
Supertypes
trait IndexOfACasting[Index, ElemTop]
class Object
trait Matchable
class Any

Members list

Type members

Types

type X0 = X1

Attributes

Source
hkdGeneric.scala

Value members

Concrete fields

val index: Index[X1]

Attributes

Source
hkdGeneric.scala
val value: X1

Attributes

Source
hkdGeneric.scala