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

Snoc

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

Attributes

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

Members list

Type members

Types

override type Out = BInit || (Lbl :: (Z ** B))

Value members

Concrete methods

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

Attributes

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

Attributes

Definition Classes

Inherited methods

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

Attributes

Inherited from:
DistRL
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

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

Attributes

Inherited from:
DistRL
Generated with