Safe Haskell	None
Language	Haskell2010

Basement.Numerical.Subtractive

Synopsis

Documentation

class Subtractive a where #

Represent class of things that can be subtracted.

Note that the result is not necessary of the same type as the operand depending on the actual type.

For example:

(-) :: Int -> Int -> Int
(-) :: DateTime -> DateTime -> Seconds
(-) :: Ptr a -> Ptr a -> PtrDiff
(-) :: Natural -> Natural -> Maybe Natural

Minimal complete definition

(-)

Associated Types

type Difference a #

Methods

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

Instances

Subtractive Char #
Associated Types type Difference Char :: * # Methods (-) :: Char -> Char -> Difference Char #
Subtractive Double #
Associated Types type Difference Double :: * # Methods (-) :: Double -> Double -> Difference Double #
Subtractive Float #
Associated Types type Difference Float :: * # Methods (-) :: Float -> Float -> Difference Float #
Subtractive Int #
Associated Types type Difference Int :: * # Methods (-) :: Int -> Int -> Difference Int #
Subtractive Int8 #
Associated Types type Difference Int8 :: * # Methods (-) :: Int8 -> Int8 -> Difference Int8 #
Subtractive Int16 #
Associated Types type Difference Int16 :: * # Methods (-) :: Int16 -> Int16 -> Difference Int16 #
Subtractive Int32 #
Associated Types type Difference Int32 :: * # Methods (-) :: Int32 -> Int32 -> Difference Int32 #
Subtractive Int64 #
Associated Types type Difference Int64 :: * # Methods (-) :: Int64 -> Int64 -> Difference Int64 #
Subtractive Integer #
Associated Types type Difference Integer :: * # Methods (-) :: Integer -> Integer -> Difference Integer #
Subtractive Word #
Associated Types type Difference Word :: * # Methods (-) :: Word -> Word -> Difference Word #
Subtractive Word8 #
Associated Types type Difference Word8 :: * # Methods (-) :: Word8 -> Word8 -> Difference Word8 #
Subtractive Word16 #
Associated Types type Difference Word16 :: * # Methods (-) :: Word16 -> Word16 -> Difference Word16 #
Subtractive Word32 #
Associated Types type Difference Word32 :: * # Methods (-) :: Word32 -> Word32 -> Difference Word32 #
Subtractive Word64 #
Associated Types type Difference Word64 :: * # Methods (-) :: Word64 -> Word64 -> Difference Word64 #
Subtractive Natural #
Associated Types type Difference Natural :: * # Methods (-) :: Natural -> Natural -> Difference Natural #
Subtractive Word128 #
Associated Types type Difference Word128 :: * # Methods (-) :: Word128 -> Word128 -> Difference Word128 #
Subtractive Word256 #
Associated Types type Difference Word256 :: * # Methods (-) :: Word256 -> Word256 -> Difference Word256 #
Subtractive (CountOf ty) #
Associated Types type Difference (CountOf ty) :: * # Methods (-) :: CountOf ty -> CountOf ty -> Difference (CountOf ty) #
Subtractive (Offset ty) #
Associated Types type Difference (Offset ty) :: * # Methods (-) :: Offset ty -> Offset ty -> Difference (Offset ty) #