Numeric.Band.Class

Documentation

class Multiplicative r => Band r

An multiplicative semigroup with idempotent multiplication.

a * a = a

Instances

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)

pow1pBand :: r -> Natural -> r

powBand :: Unital r => r -> Natural -> r