Catenable
Type members
Value members
Abstract methods
Inherited methods
The composition of PlusEmpty F
and G
, [x]F[G[x]]
, is a PlusEmpty
The composition of PlusEmpty F
and G
, [x]F[G[x]]
, is a PlusEmpty
- Definition Classes
- PlusEmpty -> Plus
- Inherited from:
- PlusEmpty
The product of PlusEmpty F
and G
, [x](F[x], G[x]])
, is a PlusEmpty
The product of PlusEmpty F
and G
, [x](F[x], G[x]])
, is a PlusEmpty
- Inherited from:
- PlusEmpty
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 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.
- Inherited from:
- Plus
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.
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.
- Inherited from:
- Plus