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

Last

libretto.lambda.Items1.Member.Last
case class Last[||[_, _], Nil, Init, Z]() extends Member[||, Nil, Z, Init || Z]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Member[||, Nil, Z, Init || Z]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

def inInit[B]: Member[||, Nil, Z, Init || Z || B]

Attributes

Inherited from:
Member
def ownerTypeIsTuple: Exists[[X] =>> Exists[[Y] =>> Init || Z =:= (X || Y)]]

Attributes

Inherited from:
Member
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with