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

DistributionNAry

libretto.lambda.DistributionNAry
See theDistributionNAry companion object
trait DistributionNAry[->[_, _], **[_, _], Enum[_], ||[_, _], ::[_, _]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

object DistF

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
DistF.type
sealed trait DistF[F[_], Cases]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Single[F, Lbl, A]
class Snoc[F, Init, Lbl, A, FInit]

Types

type DistLR[A, Cases] = DistLR[**, ||, ::, A, Cases]
type DistRL[B, Cases] = DistRL[**, ||, ::, B, Cases]

Value members

Abstract methods

def distLR[A, Cases](ev: DistLR[A, Cases]): (A ** Enum[Cases]) -> Enum[ev.Out]
def distRL[B, Cases](ev: DistRL[B, Cases]): (Enum[Cases] ** B) -> Enum[ev.Out]

Abstract fields

val cat: SemigroupalCategory[->, **]
Generated with