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

InInit

libretto.lambda.TupleElem.InInit
case class InInit[||[_, _], Nil, A, Init, Z](init: TupleElem[||, Nil, A, Init]) extends TupleElem[||, Nil, A, Init || Z]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TupleElem[||, Nil, A, 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]: TupleElem[||, Nil, A, Init || Z || B]

Attributes

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

Attributes

Inherited from:
TupleElem
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with