Safe Haskell | None |
---|---|
Language | Haskell2010 |
Basement.Numerical.Additive
- class Additive a where
Documentation
Represent class of things that can be added together, contains a neutral element and is commutative.
x + azero = x azero + x = x x + y = y + x
Instances
Additive Double # | |
Additive Float # | |
Additive Int # | |
Additive Int8 # | |
Additive Int16 # | |
Additive Int32 # | |
Additive Int64 # | |
Additive Integer # | |
Additive Word # | |
Additive Word8 # | |
Additive Word16 # | |
Additive Word32 # | |
Additive Word64 # | |
Additive Natural # | |
Additive COff # | |
Additive CChar # | |
Additive CSChar # | |
Additive CUChar # | |
Additive CShort # | |
Additive CUShort # | |
Additive CInt # | |
Additive CUInt # | |
Additive CLong # | |
Additive CULong # | |
Additive CLLong # | |
Additive CULLong # | |
Additive CFloat # | |
Additive CDouble # | |
Additive CPtrdiff # | |
Additive CSize # | |
Additive CWchar # | |
Additive CSigAtomic # | |
Additive CClock # | |
Additive CTime # | |
Additive CUSeconds # | |
Additive CSUSeconds # | |
Additive CIntPtr # | |
Additive CUIntPtr # | |
Additive CIntMax # | |
Additive CUIntMax # | |
Additive Word128 # | |
Additive Word256 # | |
KnownNat n => Additive (Zn n) # | |
(KnownNat n, NatWithinBound Word64 n) => Additive (Zn64 n) # | |
Additive (CountOf ty) # | |
Additive (Offset ty) # | |
SizeValid n => Additive (Bits n) # | |