DropNames

libretto.lambda.DropNames

See theDropNames companion object

sealed trait DropNames[||[_, _], ::[_, _], ∙[_, _], Nil, As, Bs]

Witnesses that when item names are removed from non-empty item list

As = name1 :: A1 || ... || nameN :: An

and field separator is changed from || to ∙, we obtain

Bs = Nil ∙ B1 ∙ ... ∙ Bn

Attributes

Companion: object
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class Single[||, ::, ∙, Nil, NameA, A]

class Snoc[||, ::, ∙, Nil, Init, NameT, T, Init0]