NumHask.Algebra.Additive

Additive classes

Documentation

class Additive a where

or Addition

For practical reasons, we begin the class tree with Additive. Starting with Associative and Unital, or using Semigroup and Monoid from base tends to confuse the interface once you start having to disinguish between (say) monoidal addition and monoidal multiplication.

\a -> zero + a == a
\a -> a + zero == a
\a b c -> (a + b) + c == a + (b + c)
\a b -> a + b == b + a

By convention, (+) is regarded as commutative, but this is not universal, and the introduction of another symbol which means non-commutative addition seems a bit dogmatic.

>>> zero + 1
1

>>> 1 + 1
2

Methods

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

zero :: a

Instances

Additive Bool

Defined in NumHask.Algebra.Additive

Methods

(+) :: Bool -> Bool -> Bool

zero :: Bool

Additive Double

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Double

Additive Float

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Float

Additive Int

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Int

Additive Int8

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Int8

Additive Int16

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Int16

Additive Int32

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Int32

Additive Int64

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Int64

Additive Integer

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Integer

Additive Natural

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Natural

Additive Word

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Word

Additive Word8

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Word8

Additive Word16

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Word16

Additive Word32

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Word32

Additive Word64

Defined in NumHask.Algebra.Additive

Methods

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

zero :: Word64

Additive a => Additive (Complex a)

Defined in NumHask.Data.Complex

Methods

(+) :: Complex a -> Complex a -> Complex a

zero :: Complex a

(Ord a, Signed a, Integral a, Ring a) => Additive (Ratio a)

Defined in NumHask.Data.Rational

Methods

(+) :: Ratio a -> Ratio a -> Ratio a

zero :: Ratio a

Additive b => Additive (a -> b)

Defined in NumHask.Algebra.Additive

Methods

(+) :: (a -> b) -> (a -> b) -> a -> b

zero :: a -> b

sum :: (Additive a, Foldable f) => f a -> a

Compute the sum of a Foldable.

class Additive a => Subtractive a where

or Subtraction

\a -> a - a == zero
\a -> negate a == zero - a
\a -> negate a + a == zero
\a -> a + negate a == zero

>>> negate 1
-1

>>> 1 - 2
-1

Minimal complete definition

negate

Methods

negate :: a -> a

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

Instances

Subtractive Bool

Defined in NumHask.Algebra.Additive

Methods

negate :: Bool -> Bool

(-) :: Bool -> Bool -> Bool

Subtractive Double

Defined in NumHask.Algebra.Additive

Methods

negate :: Double -> Double

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

Subtractive Float

Defined in NumHask.Algebra.Additive

Methods

negate :: Float -> Float

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

Subtractive Int

Defined in NumHask.Algebra.Additive

Methods

negate :: Int -> Int

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

Subtractive Int8

Defined in NumHask.Algebra.Additive

Methods

negate :: Int8 -> Int8

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

Subtractive Int16

Defined in NumHask.Algebra.Additive

Methods

negate :: Int16 -> Int16

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

Subtractive Int32

Defined in NumHask.Algebra.Additive

Methods

negate :: Int32 -> Int32

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

Subtractive Int64

Defined in NumHask.Algebra.Additive

Methods

negate :: Int64 -> Int64

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

Subtractive Integer

Defined in NumHask.Algebra.Additive

Methods

negate :: Integer -> Integer

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

Subtractive Natural

Defined in NumHask.Algebra.Additive

Methods

negate :: Natural -> Natural

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

Subtractive Word

Defined in NumHask.Algebra.Additive

Methods

negate :: Word -> Word

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

Subtractive Word8

Defined in NumHask.Algebra.Additive

Methods

negate :: Word8 -> Word8

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

Subtractive Word16

Defined in NumHask.Algebra.Additive

Methods

negate :: Word16 -> Word16

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

Subtractive Word32

Defined in NumHask.Algebra.Additive

Methods

negate :: Word32 -> Word32

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

Subtractive Word64

Defined in NumHask.Algebra.Additive

Methods

negate :: Word64 -> Word64

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

Subtractive a => Subtractive (Complex a)

Defined in NumHask.Data.Complex

Methods

negate :: Complex a -> Complex a

(-) :: Complex a -> Complex a -> Complex a

(Ord a, Signed a, Integral a, Ring a) => Subtractive (Ratio a)

Defined in NumHask.Data.Rational

Methods

negate :: Ratio a -> Ratio a

(-) :: Ratio a -> Ratio a -> Ratio a

Subtractive b => Subtractive (a -> b)

Defined in NumHask.Algebra.Additive

Methods

negate :: (a -> b) -> a -> b

(-) :: (a -> b) -> (a -> b) -> a -> b