Numeric.Addition.Idempotent

Additive Monoids

class Additive r => Idempotent r

An additive semigroup with idempotent addition.

 a + a = a

An (Idempotent r, Rig r) => r is also known as a dioid

Instances

Idempotent Bool

Idempotent ()

Band r => Idempotent (Log r)

Idempotent r => Idempotent (ZeroRng r)

Idempotent r => Idempotent (Opposite r)

Idempotent r => Idempotent (e -> r)

(Idempotent a, Idempotent b) => Idempotent (a, b)

(Idempotent a, Idempotent b, Idempotent c) => Idempotent (a, b, c)

(Idempotent a, Idempotent b, Idempotent c, Idempotent d) => Idempotent (a, b, c, d)

(Idempotent a, Idempotent b, Idempotent c, Idempotent d, Idempotent e) => Idempotent (a, b, c, d, e)

replicate1pIdempotent :: Natural -> r -> r

replicateIdempotent :: (Integral n, Idempotent r, AdditiveMonoid r) => n -> r -> r