libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/DropNames/Single

Single

libretto.lambda.DropNames.Single
case class Single[||[_, _], ::[_, _], ∙[_, _], Nil, NameA, A]() extends DropNames[||, ::, ∙, Nil, NameA :: A, Nil ∙ A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait DropNames[||, ::, ∙, Nil, NameA :: A, Nil ∙ A]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def inInit[NameX, X]: DropNames[||, ::, ∙, Nil, NameA :: A || (NameX :: X), Nil ∙ A ∙ X]

Attributes

Inherited from:
DropNames
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with