libretto.lambda.ParN.Named
See theNamed companion trait
object Named
Attributes
Members list
Type members
Classlikes
case class Single[||[_, _], ::[_, _], ->[_, _], Lbl <: String, A, B](label: SingletonType[Lbl], value: A -> B) extends Named[||, ::, ->, Lbl :: A, Lbl :: B]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
case class Snoc[||[_, _], ::[_, _], ->[_, _], AInit, BInit, Lbl <: String, C, D](init: Named[||, ::, ->, AInit, BInit], label: SingletonType[Lbl], last: C -> D) extends Named[||, ::, ->, AInit || (Lbl :: C), BInit || (Lbl :: D)]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Inherited and Abstract types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
In this article