Documentation
class Multiplicative r => Band r Source
An multiplicative semigroup with idempotent multiplication.
a * a = a
Band Bool | |
Band () | |
Idempotent r => Band (Exp r) | |
Band r => Band (Opposite r) | |
(Band a, Band b) => Band (a, b) | |
Band (Rect i j) | |
(Idempotent r, IdempotentCoalgebra r a) => Band (Covector r a) | |
(Band a, Band b, Band c) => Band (a, b, c) | |
(Band a, Band b, Band c, Band d) => Band (a, b, c, d) | |
(Band a, Band b, Band c, Band d, Band e) => Band (a, b, c, d, e) |