Unnamed

libretto.lambda.DistributionNAry.DistRL.Unnamed
See theUnnamed companion object
sealed trait Unnamed[**[_, _], [_, _], Nil, D, Cases]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Single[**, , Nil, D, A]
class Snoc[**, , Nil, D, Init, Last, DInit]

Members list

Type members

Types

type Out

Value members

Abstract methods

def kernel: ParN[, Nil, [x, y] =>> (x ** D) =:= y, Cases, Out]