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