derivation/perspective.derivation/HKDSumGeneric/IndexOfACasting/IndexOfACastingImpl

IndexOfACastingImpl

class IndexOfACastingImpl[Index[_], ElemTop, X1 <: ElemTop](val index: Index[X1], val value: X1) extends IndexOfACasting[Index, ElemTop]
trait IndexOfACasting[Index, ElemTop]
class Object
trait Matchable
class Any

Type members

Types

type X0 = X1

Value members

Concrete fields

val index: Index[X1]
val value: X1