core
API
Generated with
core/org.hungerford.generic.schema.utilities/GetIndex

GetIndex

org.hungerford.generic.schema.utilities.GetIndex$
See theGetIndex companion trait
object GetIndex

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Types

type Aux[I <: Nat, R <: Tuple, Start <: Nat, TO] = GetIndex[I, R, Start] { type T = TO; }

Givens

Givens

given atIndex[I <: Nat, HR, TR <: Tuple]: atIndex[I, HR, TR]
given next[I <: Nat, HR, TR <: Tuple, Current <: Nat, TO](using next: Aux[I, TR, Succ[Current], TO]): next[I, HR, TR, Current, TO]
Generated with