basement-0.0.10: Foundation scrap box of array & string

Safe HaskellNone
LanguageHaskell2010

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

Associated Types

type Difference a #

Methods

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

Instances
Subtractive Char # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Char :: Type #

Methods

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

Subtractive Double # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Double :: Type #

Subtractive Float # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Float :: Type #

Methods

(-) :: Float -> Float -> Difference Float #

Subtractive Int # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int :: Type #

Methods

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

Subtractive Int8 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int8 :: Type #

Methods

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

Subtractive Int16 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int16 :: Type #

Methods

(-) :: Int16 -> Int16 -> Difference Int16 #

Subtractive Int32 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int32 :: Type #

Methods

(-) :: Int32 -> Int32 -> Difference Int32 #

Subtractive Int64 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Int64 :: Type #

Methods

(-) :: Int64 -> Int64 -> Difference Int64 #

Subtractive Integer # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Integer :: Type #

Subtractive Natural # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Natural :: Type #

Subtractive Word # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word :: Type #

Methods

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

Subtractive Word8 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word8 :: Type #

Methods

(-) :: Word8 -> Word8 -> Difference Word8 #

Subtractive Word16 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word16 :: Type #

Subtractive Word32 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word32 :: Type #

Subtractive Word64 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word64 :: Type #

Subtractive COff # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference COff :: Type #

Methods

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

Subtractive CChar # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CChar :: Type #

Methods

(-) :: CChar -> CChar -> Difference CChar #

Subtractive CSChar # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CSChar :: Type #

Subtractive CUChar # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUChar :: Type #

Subtractive CShort # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CShort :: Type #

Subtractive CUShort # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUShort :: Type #

Subtractive CInt # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CInt :: Type #

Methods

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

Subtractive CUInt # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUInt :: Type #

Methods

(-) :: CUInt -> CUInt -> Difference CUInt #

Subtractive CLong # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CLong :: Type #

Methods

(-) :: CLong -> CLong -> Difference CLong #

Subtractive CULong # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CULong :: Type #

Subtractive CLLong # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CLLong :: Type #

Subtractive CULLong # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CULLong :: Type #

Subtractive CBool # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CBool :: Type #

Methods

(-) :: CBool -> CBool -> Difference CBool #

Subtractive CFloat # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CFloat :: Type #

Subtractive CDouble # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CDouble :: Type #

Subtractive CPtrdiff # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CPtrdiff :: Type #

Subtractive CSize # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CSize :: Type #

Methods

(-) :: CSize -> CSize -> Difference CSize #

Subtractive CWchar # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CWchar :: Type #

Subtractive CSigAtomic # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CSigAtomic :: Type #

Subtractive CClock # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CClock :: Type #

Subtractive CTime # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CTime :: Type #

Methods

(-) :: CTime -> CTime -> Difference CTime #

Subtractive CUSeconds # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUSeconds :: Type #

Subtractive CSUSeconds # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CSUSeconds :: Type #

Subtractive CIntPtr # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CIntPtr :: Type #

Subtractive CUIntPtr # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUIntPtr :: Type #

Subtractive CIntMax # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CIntMax :: Type #

Subtractive CUIntMax # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference CUIntMax :: Type #

Subtractive Word128 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word128 :: Type #

Subtractive Word256 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word256 :: Type #

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

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference (Zn n) :: Type #

Methods

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

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

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference (Zn64 n) :: Type #

Methods

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

Subtractive (CountOf ty) # 
Instance details

Defined in Basement.Types.OffsetSize

Associated Types

type Difference (CountOf ty) :: Type #

Methods

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

Subtractive (Offset ty) # 
Instance details

Defined in Basement.Types.OffsetSize

Associated Types

type Difference (Offset ty) :: Type #

Methods

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

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

Defined in Basement.Bits

Associated Types

type Difference (Bits n) :: Type #

Methods

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