- class Additive r => Idempotent r
- replicate1pIdempotent :: Natural -> r -> r
- replicateIdempotent :: (Integral n, Idempotent r, AdditiveMonoid r) => n -> r -> r
Additive Monoids
class Additive r => Idempotent r Source
An additive semigroup with idempotent addition.
a + a = a
An (Idempotent r, Rig r) => r is also known as a dioid
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 -> rSource
replicateIdempotent :: (Integral n, Idempotent r, AdditiveMonoid r) => n -> r -> rSource