libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ParN/Named/Snoc

Snoc

libretto.lambda.ParN.Named.Snoc
case class Snoc[||[_, _], ::[_, _], ->[_, _], AInit, BInit, Lbl <: String, C, D](init: Named[||, ::, ->, AInit, BInit], label: SingletonType[Lbl], last: C -> D) extends Named[||, ::, ->, AInit || (Lbl :: C), BInit || (Lbl :: D)]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Named[||, ::, ->, AInit || (Lbl :: C), BInit || (Lbl :: D)]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def translate[->>[_, _]](f: [X, Y] => (X -> Y) => ->>[X, Y]): Named[||, ::, ->>, AInit || (Lbl :: C), BInit || (Lbl :: D)]

Attributes

Definition Classes

Inherited methods

def extend[Lbl <: String, X, Y](label: SingletonType[Lbl], f: X -> Y): Named[||, ::, ->, AInit || (Lbl :: C) || (Lbl :: X), BInit || (Lbl :: D) || (Lbl :: Y)]

Attributes

Inherited from:
Named
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with