derivation/perspective.derivation/InlineHKDSumGeneric/IndexOfACasting/IndexOfACastingImpl

IndexOfACastingImpl

class IndexOfACastingImpl[Index, ElemTop, X1 <: ElemTop](val index: Index { type X = 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 { type X = X1; }
val value: X1