libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Items1/Member

Member

libretto.lambda.Items1.Member
See theMember companion object
sealed trait Member[||[_, _], Nil, A, As]

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

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]: Member[||, Nil, A, As || B]
def ownerTypeIsTuple: Exists[[X] =>> Exists[[Y] =>> As =:= (X || Y)]]
Generated with