Safe Haskell	None
Language	Haskell2010

NumHask.Algebra.Abstract.Additive

Description

Additive

Documentation

class Additive a where Source #

Methods

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

zero :: a Source #

Instances

Additive Bool Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Bool -> Bool -> Bool Source # zero :: Bool Source #
Additive Double Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Double -> Double -> Double Source # zero :: Double Source #
Additive Float Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Float -> Float -> Float Source # zero :: Float Source #
Additive Int Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Int -> Int -> Int Source # zero :: Int Source #
Additive Int8 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Int8 -> Int8 -> Int8 Source # zero :: Int8 Source #
Additive Int16 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Int16 -> Int16 -> Int16 Source # zero :: Int16 Source #
Additive Int32 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Int32 -> Int32 -> Int32 Source # zero :: Int32 Source #
Additive Int64 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Int64 -> Int64 -> Int64 Source # zero :: Int64 Source #
Additive Integer Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Integer -> Integer -> Integer Source # zero :: Integer Source #
Additive Natural Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Natural -> Natural -> Natural Source # zero :: Natural Source #
Additive Word Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Word -> Word -> Word Source # zero :: Word Source #
Additive Word8 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Word8 -> Word8 -> Word8 Source # zero :: Word8 Source #
Additive Word16 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Word16 -> Word16 -> Word16 Source # zero :: Word16 Source #
Additive Word32 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Word32 -> Word32 -> Word32 Source # zero :: Word32 Source #
Additive Word64 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: Word64 -> Word64 -> Word64 Source # zero :: Word64 Source #
Additive a => Additive (Complex a) Source #
Instance details Defined in NumHask.Data.Complex Methods (+) :: Complex a -> Complex a -> Complex a Source # zero :: Complex a Source #
GCDConstraints a => Additive (Ratio a) Source #
Instance details Defined in NumHask.Data.Rational Methods (+) :: Ratio a -> Ratio a -> Ratio a Source # zero :: Ratio a Source #
Additive a => Additive (Pair a) Source #
Instance details Defined in NumHask.Data.Pair Methods (+) :: Pair a -> Pair a -> Pair a Source # zero :: Pair a Source #
(ExpField a, LowerBoundedField a, Ord a) => Additive (LogField a) Source #
Instance details Defined in NumHask.Data.LogField Methods (+) :: LogField a -> LogField a -> LogField a Source # zero :: LogField a Source #
Additive a => Additive (Wrapped a) Source #
Instance details Defined in NumHask.Data.Wrapped Methods (+) :: Wrapped a -> Wrapped a -> Wrapped a Source # zero :: Wrapped a Source #
Additive a => Additive (Positive a) Source #
Instance details Defined in NumHask.Data.Positive Methods (+) :: Positive a -> Positive a -> Positive a Source # zero :: Positive a Source #
Additive b => Additive (a -> b) Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods (+) :: (a -> b) -> (a -> b) -> a -> b Source # zero :: a -> b Source #

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

class Additive a => Subtractive a where Source #

Minimal complete definition

negate

Methods

negate :: a -> a Source #

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

Instances

Subtractive Bool Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Bool -> Bool Source # (-) :: Bool -> Bool -> Bool Source #
Subtractive Double Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Double -> Double Source # (-) :: Double -> Double -> Double Source #
Subtractive Float Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Float -> Float Source # (-) :: Float -> Float -> Float Source #
Subtractive Int Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Int -> Int Source # (-) :: Int -> Int -> Int Source #
Subtractive Int8 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Int8 -> Int8 Source # (-) :: Int8 -> Int8 -> Int8 Source #
Subtractive Int16 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Int16 -> Int16 Source # (-) :: Int16 -> Int16 -> Int16 Source #
Subtractive Int32 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Int32 -> Int32 Source # (-) :: Int32 -> Int32 -> Int32 Source #
Subtractive Int64 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Int64 -> Int64 Source # (-) :: Int64 -> Int64 -> Int64 Source #
Subtractive Integer Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Integer -> Integer Source # (-) :: Integer -> Integer -> Integer Source #
Subtractive Natural Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Natural -> Natural Source # (-) :: Natural -> Natural -> Natural Source #
Subtractive Word Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Word -> Word Source # (-) :: Word -> Word -> Word Source #
Subtractive Word8 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Word8 -> Word8 Source # (-) :: Word8 -> Word8 -> Word8 Source #
Subtractive Word16 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Word16 -> Word16 Source # (-) :: Word16 -> Word16 -> Word16 Source #
Subtractive Word32 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Word32 -> Word32 Source # (-) :: Word32 -> Word32 -> Word32 Source #
Subtractive Word64 Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: Word64 -> Word64 Source # (-) :: Word64 -> Word64 -> Word64 Source #
Subtractive a => Subtractive (Complex a) Source #
Instance details Defined in NumHask.Data.Complex Methods negate :: Complex a -> Complex a Source # (-) :: Complex a -> Complex a -> Complex a Source #
GCDConstraints a => Subtractive (Ratio a) Source #
Instance details Defined in NumHask.Data.Rational Methods negate :: Ratio a -> Ratio a Source # (-) :: Ratio a -> Ratio a -> Ratio a Source #
Subtractive a => Subtractive (Pair a) Source #
Instance details Defined in NumHask.Data.Pair Methods negate :: Pair a -> Pair a Source # (-) :: Pair a -> Pair a -> Pair a Source #
(ExpField a, Ord a, LowerBoundedField a, UpperBoundedField a) => Subtractive (LogField a) Source #
Instance details Defined in NumHask.Data.LogField Methods negate :: LogField a -> LogField a Source # (-) :: LogField a -> LogField a -> LogField a Source #
Subtractive a => Subtractive (Wrapped a) Source #
Instance details Defined in NumHask.Data.Wrapped Methods negate :: Wrapped a -> Wrapped a Source # (-) :: Wrapped a -> Wrapped a -> Wrapped a Source #
(Ord a, Subtractive a) => Subtractive (Positive a) Source #
Instance details Defined in NumHask.Data.Positive Methods negate :: Positive a -> Positive a Source # (-) :: Positive a -> Positive a -> Positive a Source #
Subtractive b => Subtractive (a -> b) Source #
Instance details Defined in NumHask.Algebra.Abstract.Additive Methods negate :: (a -> b) -> a -> b Source # (-) :: (a -> b) -> (a -> b) -> a -> b Source #