Basement.Numerical.Subtractive

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

KnownNat n => Subtractive (Zn n)

Associated Types

type Difference (Zn n) :: *

Methods

(-) :: Zn n -> Zn n -> Difference (Zn n)

(KnownNat n, NatWithinBound Word64 n) => Subtractive (Zn64 n)

Associated Types

type Difference (Zn64 n) :: *

Methods

(-) :: Zn64 n -> Zn64 n -> Difference (Zn64 n)

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)