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