s2mc-protocol-core/io.github.kory33.s2mctest.core.generic.compiletime/TupleElementIndex

TupleElementIndex

trait TupleElementIndex[T <: Tuple, A]
Companion
object
class Object
trait Matchable
class Any

Value members

Concrete methods

final
def access(t: T): A

Extract the element A from a tuple by accessing the idx'th element.

Extract the element A from a tuple by accessing the idx'th element.

final
def mapWith[F[_]]: TupleElementIndex[Map[T, F], F[A]]

Abstract fields

val elemEv: Elem[T & NonEmptyTuple, Int] =:= A
val idx: Int
val nonEmptyEv: T =:= T & NonEmptyTuple