IsomorphismPlus
Value members
Abstract methods
Concrete methods
Inherited methods
The composition of Plus F and G, [x]F[G[x]], is a Plus
The composition of Plus F and G, [x]F[G[x]], is a Plus
- Inherited from
- Plus
The product of Plus F and G, [x](F[x], G[x]]), is a Plus
The product of Plus F and G, [x](F[x], G[x]]), is a Plus
- Inherited from
- Plus
Unfold seed to the left and sum using plus.
Plus instances with right absorbing elements may override this method
to not unfold more than is necessary to determine the result.
Unfold seed to the right and sum using plus.
Plus instances with left absorbing elements may override this method
to not unfold more than is necessary to determine the result.