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

Single

libretto.lambda.DistributionNAry.DistF.Single
case class Single[F[_], Lbl <: String, A](label: SingletonType[Lbl]) extends DistF[F, Lbl :: A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait DistF[F, Lbl :: A]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

override type Out = Lbl :: F[A]

Value members

Concrete methods

override def fold[H[_[_], _, _]](caseSingle: [LblX <: String, X] => ((LblX :: X) =:= (Lbl :: A)) ?=> Single[F, LblX, X] => H[F, LblX :: X, LblX :: F[X]], caseSnoc: [Init, LblX <: String, X, FInit] => ((Init || (LblX :: X)) =:= (Lbl :: A)) ?=> Snoc[F, Init, LblX, X, FInit] => H[F, Init || (LblX :: X), FInit || (LblX :: F[X])]): H[F, Lbl :: A, Lbl :: F[A]]

Attributes

Definition Classes
override def operationalize(f: Focus[**, F]): Operationalized[F, Lbl :: A] { type Out = Lbl :: F[A]; }

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with