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

Snoc

libretto.lambda.DistributionNAry.DistRL.Unnamed.Snoc
case class Snoc[**[_, _], ∙[_, _], Nil, D, Init, Last, DInit](init: Unnamed[**, ∙, Nil, D, Init] { type Out = DInit; }) extends Unnamed[**, ∙, Nil, D, Init ∙ Last]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Unnamed[**, ∙, Nil, D, Init ∙ Last]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

override type Out = DInit ∙ (Last ** D)

Value members

Concrete methods

override def kernel: ParN[∙, Nil, [x, y] =>> (x ** D) =:= y, Init ∙ Last, DInit ∙ (Last ** D)]

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with