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

Named

libretto.lambda.ParN.Named
See theNamed companion object
sealed trait Named[||[_, _], ::[_, _], ->[_, _], A, B]

An n-ary tuple of arrows Ai -> Bi, such that A = "name1" :: A1 || ... || "nameN" :: An, B = "name1" :: B1 || ... || "nameN" :: Bn, where || associates to the left.

Note that names of members of B are the same as those of A.

A named version of ParN.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Single[||, ::, ->, Lbl, A, B]
class Snoc[||, ::, ->, AInit, BInit, Lbl, C, D]

Members list

Value members

Abstract methods

def translate[->>[_, _]](f: [X, Y] => (X -> Y) => ->>[X, Y]): Named[||, ::, ->>, A, B]

Concrete methods

def extend[Lbl <: String, X, Y](label: SingletonType[Lbl], f: X -> Y): Named[||, ::, ->, A || (Lbl :: X), B || (Lbl :: Y)]
Generated with