NumHask.Algebra.Abstract.Additive

Additive

Documentation

class Additive a where

Methods

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

zero :: a

Instances

Additive Bool

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Bool

Additive Double

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Double

Additive Float

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Float

Additive Int

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Int

Additive Int8

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Int8

Additive Int16

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Int16

Additive Int32

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Int32

Additive Int64

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Int64

Additive Integer

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Integer

Additive Natural

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Natural

Additive Word

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Word

Additive Word8

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Word8

Additive Word16

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Word16

Additive Word32

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: Word32

Additive Word64

Defined in NumHask.Algebra.Abstract.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

GCDConstraints a => Additive (Ratio a)

Defined in NumHask.Data.Rational

Methods

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

zero :: Ratio a

Additive a => Additive (Pair a)

Defined in NumHask.Data.Pair

Methods

(+) :: Pair a -> Pair a -> Pair a

zero :: Pair a

(ExpField a, LowerBoundedField a, Ord a) => Additive (LogField a)

Defined in NumHask.Data.LogField

Methods

(+) :: LogField a -> LogField a -> LogField a

zero :: LogField a

Additive a => Additive (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

(+) :: Wrapped a -> Wrapped a -> Wrapped a

zero :: Wrapped a

Additive a => Additive (Positive a)

Defined in NumHask.Data.Positive

Methods

(+) :: Positive a -> Positive a -> Positive a

zero :: Positive a

Additive b => Additive (a -> b)

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

zero :: a -> b

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

class Additive a => Subtractive a where

Minimal complete definition

negate

Methods

negate :: a -> a

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

Instances

Subtractive Bool

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Bool -> Bool

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

Subtractive Double

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Double -> Double

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

Subtractive Float

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Float -> Float

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

Subtractive Int

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Int -> Int

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

Subtractive Int8

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Int8 -> Int8

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

Subtractive Int16

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Int16 -> Int16

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

Subtractive Int32

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Int32 -> Int32

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

Subtractive Int64

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Int64 -> Int64

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

Subtractive Integer

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Integer -> Integer

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

Subtractive Natural

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Natural -> Natural

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

Subtractive Word

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Word -> Word

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

Subtractive Word8

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Word8 -> Word8

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

Subtractive Word16

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Word16 -> Word16

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

Subtractive Word32

Defined in NumHask.Algebra.Abstract.Additive

Methods

negate :: Word32 -> Word32

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

Subtractive Word64

Defined in NumHask.Algebra.Abstract.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

GCDConstraints a => Subtractive (Ratio a)

Defined in NumHask.Data.Rational

Methods

negate :: Ratio a -> Ratio a

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

Subtractive a => Subtractive (Pair a)

Defined in NumHask.Data.Pair

Methods

negate :: Pair a -> Pair a

(-) :: Pair a -> Pair a -> Pair a

(ExpField a, Ord a, LowerBoundedField a, UpperBoundedField a) => Subtractive (LogField a)

Defined in NumHask.Data.LogField

Methods

negate :: LogField a -> LogField a

(-) :: LogField a -> LogField a -> LogField a

Subtractive a => Subtractive (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

negate :: Wrapped a -> Wrapped a

(-) :: Wrapped a -> Wrapped a -> Wrapped a

(Ord a, Subtractive a) => Subtractive (Positive a)

Defined in NumHask.Data.Positive

Methods

negate :: Positive a -> Positive a

(-) :: Positive a -> Positive a -> Positive a

Subtractive b => Subtractive (a -> b)

Defined in NumHask.Algebra.Abstract.Additive

Methods

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

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