libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/DistributionNAry/DistLR/Snoc

Snoc

libretto.lambda.DistributionNAry.DistLR.Snoc
case class Snoc[**[_, _], ||[_, _], ::[_, _], A, Init, Lbl <: String, Z, AInit](init: DistLR[**, ||, ::, A, Init] { type Out = AInit; }, lbl: SingletonType[Lbl]) extends DistLR[**, ||, ::, A, Init || (Lbl :: Z)]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait DistLR[**, ||, ::, A, Init || (Lbl :: Z)]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

override type Out = AInit || (Lbl :: (A ** Z))

Value members

Concrete methods

override def distributeOver[N, I](m: Member[||, ::, N, I, Init || (Lbl :: Z)])(using BiInjective[||], BiInjective[::]): Member[||, ::, N, A ** I, Out]

Attributes

Definition Classes
override def dropNames[∙[_, _], Nil]: Exists[[X] =>> Exists[[Y] =>> (DropNames[||, ::, ∙, Nil, Init || (Lbl :: Z), X], Unnamed[**, ∙, Nil, A, X] { type Out = Y; }, DropNames[||, ::, ∙, Nil, Out, Y])]]

Attributes

Definition Classes
override def separately[A1, A2](using A =:= (A1 ** A2)): Exists[[A2Cases] =>> Exists[[A12Cases] =>> (DistLR[**, ||, ::, A2, Init || (Lbl :: Z)] { type Out = A2Cases; }, DistLR[**, ||, ::, A1, A2Cases] { type Out = A12Cases; }, Named[||, ::, [x, y] =>> Exists[[b] =>> (x =:= (A1 ** (A2 ** b)), (A1 ** A2 ** b) =:= y)], A12Cases, AInit || (Lbl :: (A ** Z))])]]

Attributes

Definition Classes

Inherited methods

def extend[Lbl <: String, Z](lbl: SingletonType[Lbl]): DistLR[**, ||, ::, A, Init || (Lbl :: Z) || (Lbl :: Z)] { type Out = Out || (Lbl :: (A ** Z)); }

Attributes

Inherited from:
DistLR
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def snoc[Z](lbl: String): DistLR[**, ||, ::, A, Init || (Lbl :: Z) || (lbl.type :: Z)] { type Out = Out || (lbl.type :: (A ** Z)); }

Attributes

Inherited from:
DistLR
Generated with