Safe Haskell | None |
---|
- class Additive r where
- sum1 :: (Foldable1 f, Additive r) => f r -> r
- class Additive r => Abelian r
- class Additive r => Idempotent r
- sinnum1pIdempotent :: Natural -> r -> r
- class Additive m => Partitionable m where
- partitionWith :: (m -> m -> r) -> m -> NonEmpty r
Additive Semigroups
(a + b) + c = a + (b + c) sinnum 1 a = a sinnum (2 * n) a = sinnum n a + sinnum n a sinnum (2 * n + 1) a = sinnum n a + sinnum n a + a
Additive Abelian semigroups
class Additive r => Abelian r Source
an additive abelian semigroup
a + b = b + a
Additive Monoids
class Additive r => Idempotent r Source
An additive semigroup with idempotent addition.
a + a = a
sinnum1pIdempotent :: Natural -> r -> rSource
Partitionable semigroups
class Additive m => Partitionable m whereSource
partitionWith :: (m -> m -> r) -> m -> NonEmpty rSource
partitionWith f c returns a list containing f a b for each a b such that a + b = c,