CoproductPartitioning
libretto.lambda.CoproductPartitioning
class CoproductPartitioning[->[_, _], **[_, _], ++[_, _]](lName: String, rName: String)(using cat: SemigroupalCategory[->, **], cocat: CocartesianSemigroupalCategory[->, ++], distribution: Distribution[->, **, ++], inj: BiInjective[++])
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
In this article