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

DistLR

libretto.lambda.DistributionNAry.DistLR
See theDistLR companion object
sealed trait DistLR[**[_, _], ||[_, _], ::[_, _], A, Cases]

Attributes

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

Members list

Type members

Types

type Out

Value members

Abstract methods

def distributeOver[N, I](m: Member[||, ::, N, I, Cases])(using BiInjective[||], BiInjective[::]): Member[||, ::, N, A ** I, Out]

Concrete methods

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