ItemList

libretto.lambda.ItemList

See theItemList companion object

sealed trait ItemList[||[_, _], ::[_, _], Items]

Witnesses that Items is a list of name :: type pairs, i.e. that Items is of the form (Name1 :: T1) || ... || (NameN :: TN).

Attributes

Companion: object
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class Single[||, ::, Lbl, A]

class Snoc[||, ::, Init, Lbl, A]

In this article

Generated with