libretto.lambda.DistributionNAry.DistF.Operationalized
See theOperationalized companion object
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
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
- Self type
-
Members list
In this article