derivation
API
Generated with
derivation/perspective.derivation/HKDSumGeneric/IndexOfACasting/IndexOfACastingImpl

IndexOfACastingImpl

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

Attributes

Graph
Supertypes
trait IndexOfACasting[Index, ElemTop]
class Object
trait Matchable
class Any

Members list

Type members

Types

type X0 = X1

Value members

Concrete fields

val index: Index[X1]
val value: X1
Generated with