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

Member

libretto.lambda.Member
See theMember companion object
sealed trait Member[||[_, _], ::[_, _], Label, A, Cases]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class InHead[||, ::, Label, A, Tail]
class InTail[||, ::, Label, A, HLbl, H, Tail]
class Single[||, ::, Label, A]

Members list

Type members

Types

final type Type = A

Value members

Abstract methods

def label: Label & String
infix def testEqual[Lbl2, B](that: Member[||, ::, Lbl2, B, Cases])(using BiInjective[||], BiInjective[::]): Option[A =:= B]

Concrete methods

def inTail[HLbl, H]: Member[||, ::, Label, A, (HLbl :: H) || Cases]
Generated with