| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
NumHask.Algebra.Additive
Description
A magma heirarchy for addition. The basic magma structure is repeated and prefixed with 'Additive-'.
- class AdditiveMagma a where
- class AdditiveMagma a => AdditiveUnital a where
- class AdditiveMagma a => AdditiveAssociative a
- class AdditiveMagma a => AdditiveCommutative a
- class AdditiveMagma a => AdditiveInvertible a where
- class AdditiveMagma a => AdditiveIdempotent a
- sum :: (Additive a, Foldable f) => f a -> a
- class (AdditiveCommutative a, AdditiveUnital a, AdditiveAssociative a) => Additive a where
- class (AdditiveUnital a, AdditiveAssociative a, AdditiveInvertible a) => AdditiveRightCancellative a where
- class (AdditiveUnital a, AdditiveAssociative a, AdditiveInvertible a) => AdditiveLeftCancellative a where
- class (Additive a, AdditiveInvertible a) => AdditiveGroup a where
- subtract :: AdditiveGroup a => a -> a -> a
Documentation
class AdditiveMagma a where Source #
plus is used as the operator for the additive magma to distinguish from + which, by convention, implies commutativity
∀ a,b ∈ A: a `plus` b ∈ A
law is true by construction in Haskell
Minimal complete definition
Instances
| AdditiveMagma Bool Source # | |
| AdditiveMagma Double Source # | |
| AdditiveMagma Float Source # | |
| AdditiveMagma Int Source # | |
| AdditiveMagma Int8 Source # | |
| AdditiveMagma Int16 Source # | |
| AdditiveMagma Int32 Source # | |
| AdditiveMagma Int64 Source # | |
| AdditiveMagma Integer Source # | |
| AdditiveMagma Natural Source # | |
| AdditiveMagma Word Source # | |
| AdditiveMagma Word8 Source # | |
| AdditiveMagma Word16 Source # | |
| AdditiveMagma Word32 Source # | |
| AdditiveMagma Word64 Source # | |
| AdditiveMagma a => AdditiveMagma (Complex a) Source # | |
| (Ord a, Integral a, Signed a, AdditiveInvertible a) => AdditiveMagma (Ratio a) Source # | |
| AdditiveMagma a => AdditiveMagma (Complex a) Source # | |
| AdditiveMagma a => AdditiveMagma (Sum a) Source # | |
| (ExpField a, LowerBoundedField a, Ord a) => AdditiveMagma (LogField a) Source # | |
class AdditiveMagma a => AdditiveUnital a where Source #
Unital magma for addition.
zero `plus` a == a a `plus` zero == a
Minimal complete definition
Instances
class AdditiveMagma a => AdditiveAssociative a Source #
Associative magma for addition.
(a `plus` b) `plus` c == a `plus` (b `plus` c)
Instances
class AdditiveMagma a => AdditiveCommutative a Source #
Commutative magma for addition.
a `plus` b == b `plus` a
Instances
class AdditiveMagma a => AdditiveInvertible a where Source #
Invertible magma for addition.
∀ a ∈ A: negate a ∈ A
law is true by construction in Haskell
Minimal complete definition
Instances
class AdditiveMagma a => AdditiveIdempotent a Source #
Idempotent magma for addition.
a `plus` a == a
Instances
sum :: (Additive a, Foldable f) => f a -> a Source #
sum definition avoiding a clash with the Sum monoid in base fixme: fit in with the Sum monoid
class (AdditiveCommutative a, AdditiveUnital a, AdditiveAssociative a) => Additive a where Source #
Additive is commutative, unital and associative under addition
zero + a == a a + zero == a (a + b) + c == a + (b + c) a + b == b + a
Instances
| Additive Bool Source # | |
| Additive Double Source # | |
| Additive Float Source # | |
| Additive Int Source # | |
| Additive Int8 Source # | |
| Additive Int16 Source # | |
| Additive Int32 Source # | |
| Additive Int64 Source # | |
| Additive Integer Source # | |
| Additive Natural Source # | |
| Additive Word Source # | |
| Additive Word8 Source # | |
| Additive Word16 Source # | |
| Additive Word32 Source # | |
| Additive Word64 Source # | |
| Additive a => Additive (Complex a) Source # | |
| (Ord a, Signed a, Integral a, AdditiveInvertible a) => Additive (Ratio a) Source # | |
| Additive a => Additive (Complex a) Source # | |
| (AdditiveUnital a, AdditiveMagma a) => Additive (Sum a) Source # | |
| (LowerBoundedField a, ExpField a, Ord a) => Additive (LogField a) Source # | |
class (AdditiveUnital a, AdditiveAssociative a, AdditiveInvertible a) => AdditiveRightCancellative a where Source #
Non-commutative right minus
a `plus` negate a = zero
class (AdditiveUnital a, AdditiveAssociative a, AdditiveInvertible a) => AdditiveLeftCancellative a where Source #
Non-commutative left minus
negate a `plus` a = zero
class (Additive a, AdditiveInvertible a) => AdditiveGroup a where Source #
Minus (-) is reserved for where both the left and right cancellative laws hold. This then implies that the AdditiveGroup is also Abelian.
Syntactic unary negation - substituting "negate a" for "-a" in code - is hard-coded in the language to assume a Num instance. So, for example, using ''-a = zero - a' for the second rule below doesn't work.
a - a = zero negate a = zero - a negate a + a = zero a + negate a = zero
Instances
subtract :: AdditiveGroup a => a -> a -> a Source #