basement-0.0.11: Foundation scrap box of array & string

Safe HaskellNone
LanguageHaskell2010

Basement.Numerical.Subtractive

Synopsis

Documentation

class Subtractive a where Source #

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

Associated Types

type Difference a Source #

Methods

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

Instances
Subtractive Char Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Char :: Type Source #

Methods

(-) :: Char -> Char -> Difference Char Source #

Subtractive Double Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Double :: Type Source #

Subtractive Float Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Float :: Type Source #

Subtractive Int Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int :: Type Source #

Methods

(-) :: Int -> Int -> Difference Int Source #

Subtractive Int8 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int8 :: Type Source #

Methods

(-) :: Int8 -> Int8 -> Difference Int8 Source #

Subtractive Int16 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int16 :: Type Source #

Subtractive Int32 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int32 :: Type Source #

Subtractive Int64 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int64 :: Type Source #

Subtractive Integer Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Integer :: Type Source #

Subtractive Natural Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Natural :: Type Source #

Subtractive Word Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word :: Type Source #

Methods

(-) :: Word -> Word -> Difference Word Source #

Subtractive Word8 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word8 :: Type Source #

Subtractive Word16 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word16 :: Type Source #

Subtractive Word32 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word32 :: Type Source #

Subtractive Word64 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word64 :: Type Source #

Subtractive COff Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference COff :: Type Source #

Methods

(-) :: COff -> COff -> Difference COff Source #

Subtractive CChar Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CChar :: Type Source #

Subtractive CSChar Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CSChar :: Type Source #

Subtractive CUChar Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUChar :: Type Source #

Subtractive CShort Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CShort :: Type Source #

Subtractive CUShort Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUShort :: Type Source #

Subtractive CInt Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CInt :: Type Source #

Methods

(-) :: CInt -> CInt -> Difference CInt Source #

Subtractive CUInt Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUInt :: Type Source #

Subtractive CLong Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CLong :: Type Source #

Subtractive CULong Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CULong :: Type Source #

Subtractive CLLong Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CLLong :: Type Source #

Subtractive CULLong Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CULLong :: Type Source #

Subtractive CBool Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CBool :: Type Source #

Subtractive CFloat Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CFloat :: Type Source #

Subtractive CDouble Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CDouble :: Type Source #

Subtractive CPtrdiff Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CPtrdiff :: Type Source #

Subtractive CSize Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CSize :: Type Source #

Subtractive CWchar Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CWchar :: Type Source #

Subtractive CSigAtomic Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CSigAtomic :: Type Source #

Subtractive CClock Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CClock :: Type Source #

Subtractive CTime Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CTime :: Type Source #

Subtractive CUSeconds Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUSeconds :: Type Source #

Subtractive CSUSeconds Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CSUSeconds :: Type Source #

Subtractive CIntPtr Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CIntPtr :: Type Source #

Subtractive CUIntPtr Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUIntPtr :: Type Source #

Subtractive CIntMax Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CIntMax :: Type Source #

Subtractive CUIntMax Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUIntMax :: Type Source #

Subtractive Word128 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word128 :: Type Source #

Subtractive Word256 Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word256 :: Type Source #

KnownNat n => Subtractive (Zn n) Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference (Zn n) :: Type Source #

Methods

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

(KnownNat n, NatWithinBound Word64 n) => Subtractive (Zn64 n) Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference (Zn64 n) :: Type Source #

Methods

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

Subtractive (CountOf ty) Source # 
Instance details

Defined in Basement.Types.OffsetSize

Associated Types

type Difference (CountOf ty) :: Type Source #

Methods

(-) :: CountOf ty -> CountOf ty -> Difference (CountOf ty) Source #

Subtractive (Offset ty) Source # 
Instance details

Defined in Basement.Types.OffsetSize

Associated Types

type Difference (Offset ty) :: Type Source #

Methods

(-) :: Offset ty -> Offset ty -> Difference (Offset ty) Source #

SizeValid n => Subtractive (Bits n) Source # 
Instance details

Defined in Basement.Bits

Associated Types

type Difference (Bits n) :: Type Source #

Methods

(-) :: Bits n -> Bits n -> Difference (Bits n) Source #