Basement.Numerical.Additive

Documentation

class Additive a where

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

Minimal complete definition

azero, (+)

Methods

azero :: a

(+) :: a -> a -> a infixl 6

scale :: IsNatural n => n -> a -> a

Instances

Additive Double

Methods

azero :: Double

(+) :: Double -> Double -> Double

scale :: IsNatural n => n -> Double -> Double

Additive Float

Methods

azero :: Float

(+) :: Float -> Float -> Float

scale :: IsNatural n => n -> Float -> Float

Additive Int

Methods

azero :: Int

(+) :: Int -> Int -> Int

scale :: IsNatural n => n -> Int -> Int

Additive Int8

Methods

azero :: Int8

(+) :: Int8 -> Int8 -> Int8

scale :: IsNatural n => n -> Int8 -> Int8

Additive Int16

Methods

azero :: Int16

(+) :: Int16 -> Int16 -> Int16

scale :: IsNatural n => n -> Int16 -> Int16

Additive Int32

Methods

azero :: Int32

(+) :: Int32 -> Int32 -> Int32

scale :: IsNatural n => n -> Int32 -> Int32

Additive Int64

Methods

azero :: Int64

(+) :: Int64 -> Int64 -> Int64

scale :: IsNatural n => n -> Int64 -> Int64

Additive Integer

Methods

azero :: Integer

(+) :: Integer -> Integer -> Integer

scale :: IsNatural n => n -> Integer -> Integer

Additive Word

Methods

azero :: Word

(+) :: Word -> Word -> Word

scale :: IsNatural n => n -> Word -> Word

Additive Word8

Methods

azero :: Word8

(+) :: Word8 -> Word8 -> Word8

scale :: IsNatural n => n -> Word8 -> Word8

Additive Word16

Methods

azero :: Word16

(+) :: Word16 -> Word16 -> Word16

scale :: IsNatural n => n -> Word16 -> Word16

Additive Word32

Methods

azero :: Word32

(+) :: Word32 -> Word32 -> Word32

scale :: IsNatural n => n -> Word32 -> Word32

Additive Word64

Methods

azero :: Word64

(+) :: Word64 -> Word64 -> Word64

scale :: IsNatural n => n -> Word64 -> Word64

Additive Natural

Methods

azero :: Natural

(+) :: Natural -> Natural -> Natural

scale :: IsNatural n => n -> Natural -> Natural

Additive CSize

Methods

azero :: CSize

(+) :: CSize -> CSize -> CSize

scale :: IsNatural n => n -> CSize -> CSize

Additive Word128

Methods

azero :: Word128

(+) :: Word128 -> Word128 -> Word128

scale :: IsNatural n => n -> Word128 -> Word128

Additive Word256

Methods

azero :: Word256

(+) :: Word256 -> Word256 -> Word256

scale :: IsNatural n => n -> Word256 -> Word256

Additive (CountOf ty)

Methods

azero :: CountOf ty

(+) :: CountOf ty -> CountOf ty -> CountOf ty

scale :: IsNatural n => n -> CountOf ty -> CountOf ty

Additive (Offset ty)

Methods

azero :: Offset ty

(+) :: Offset ty -> Offset ty -> Offset ty

scale :: IsNatural n => n -> Offset ty -> Offset ty