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

Single

libretto.lambda.DistributionNAry.DistLR.Unnamed.Single
case class Single[**[_, _], ∙[_, _], Nil, D, A]() extends Unnamed[**, ∙, Nil, D, Nil ∙ A]

Attributes

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

Members list

Type members

Types

override type Out = Nil ∙ (D ** A)

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with