libretto.lambda.DropNames.Snoc
case class Snoc[||[_, _], ::[_, _], ∙[_, _], Nil, Init, NameT, T, Init0](init: DropNames[||, ::, ∙, Nil, Init, Init0]) extends DropNames[||, ::, ∙, Nil, Init || (NameT :: T), Init0 ∙ T]
Attributes
-
Graph
-
-
Supertypes
-
trait Serializable
trait Product
trait Equals
trait
DropNames[
||,
::,
∙,
Nil,
Init || (
NameT :: T),
Init0 ∙ T]
class Object
trait Matchable
class Any
Show all
Members list
Attributes
-
Inherited from:
-
Product
Attributes
-
Inherited from:
-
Product