derivation/perspective.derivation/InlineHKDGeneric/IdxWrapper

IdxWrapper

class IdxWrapper[X](val idx: IndexAux[X & ElemTop])

A wrapper for Index where we want no bound on what X can be.

class Object

trait Matchable

class Any

Value members

Concrete fields