libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/TupleElem

TupleElem

libretto.lambda.TupleElem
See theTupleElem companion object
sealed trait TupleElem[||[_, _], Nil, A, As]

Witnesses that A is one of As, where As is of the form Nil || A1 || A2 || ... (where || associates to the left).

Unlike Member, TupleElem is for unnamed tuples.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class InInit[||, Nil, A, Init, Z]
class Last[||, Nil, Init, Z]

Members list

Value members

Abstract methods

def ownerTypeAsTuple[R](f: [X, Y] => (As =:= (X || Y)) ?=> R): R

Concrete methods

def inInit[B]: TupleElem[||, Nil, A, As || B]
def ownerTypeIsTuple: Exists[[X] =>> Exists[[Y] =>> As =:= (X || Y)]]
Generated with