root
API
Generated with
root/com.github.rssh.appcontext/TupleIndex

TupleIndex

com.github.rssh.appcontext.TupleIndex
opaque object TupleIndex

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TupleIndex.type

Members list

Type members

Types

opaque type OfSubtype[Xs <: Tuple, T, N <: Int]

Givens

Givens

inline given nextOfSubtype[XsH, XsT <: NonEmptyTuple, T, N <: Int](using idx: OfSubtype[XsT, T, N]): OfSubtype[XsH *: XsT, T, S[N]]
inline given zeroOfSubtype[XsH, XsT <: Tuple, T <: XsH]: OfSubtype[XsH *: XsT, T, 0]

Extensions

Extensions

extension [Xs <: Tuple, T, N <: Int](idx: OfSubtype[Xs, T, N])
def index: Int
Generated with