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

InInit

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

Attributes

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