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

DistRL

libretto.lambda.DistributionNAry.DistRL
See theDistRL companion object
sealed trait DistRL[**[_, _], ||[_, _], ::[_, _], B, Cases]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Single[**, ||, ::, B, Lbl, A]
class Snoc[**, ||, ::, B, Init, Lbl, Z, BInit]
Self type
DistRL[**, ||, ::, B, Cases]

Members list

Type members

Types

type Out

Value members

Abstract methods

def dropNames[∙[_, _], Nil]: Exists[[X] =>> Exists[[Y] =>> (DropNames[||, ::, ∙, Nil, Cases, X], Unnamed[**, ∙, Nil, B, X] { type Out = Y; }, DropNames[||, ::, ∙, Nil, Out, Y])]]

Concrete methods

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