libretto.lambda.ItemList.Snoc
case class Snoc[||[_, _], ::[_, _], Init, Lbl <: String, A](init: ItemList[||, ::, Init], lbl: Lbl) extends ItemList[||, ::, Init || (Lbl :: A)]
Attributes
-
Graph
-
-
Supertypes
-
trait Serializable
trait Product
trait Equals
trait
ItemList[
||,
::,
Init || (
Lbl :: A)]
class Object
trait Matchable
class Any
Show all
Members list
Attributes
-
Inherited from:
-
Product
Attributes
-
Inherited from:
-
Product