DropNames

libretto.lambda.DropNames

See theDropNames companion object

sealed trait DropNames[||[_, _], ::[_, _], ∙[_, _], Nil, A, B]

Witnesses that field names are removed from

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

(and field separator changed from || to ∙), we obtain

B = 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]