libretto.lambda.DistributionNAry.DistF
See theDistF companion trait
object DistF
Attributes
Members list
Type members
Classlikes
object Operationalized
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
Operationalized.type
Like DistF, witnesses that distributing F into Cases yields Out. Unlike DistF, Operationalized is defined by induction over the structure of F (as opposed to by induction over Cases). As such, it can be more readily used to generate the distributing function F[OneOf[Cases]] -> OneOf[Out].
Like DistF, witnesses that distributing F into Cases yields Out. Unlike DistF, Operationalized is defined by induction over the structure of F (as opposed to by induction over Cases). As such, it can be more readily used to generate the distributing function F[OneOf[Cases]] -> OneOf[Out].
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
- Self type
-
case class Single[F[_], Lbl <: String, A](label: SingletonType[Lbl]) extends DistF[F, Lbl :: A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
case class Snoc[F[_], Init, Lbl <: String, A, FInit](init: DistF[F, Init] { type Out = FInit; }, label: SingletonType[Lbl]) extends DistF[F, Init || (Lbl :: A)]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Inherited and Abstract types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
In this article