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 NaturalAssociated types
type family Difference a
Methods
(-) :: a -> a -> Difference ainfixl 6
Instances49Subtractive, …
Subtractive Word128Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Word256Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive IntegerDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive NaturalDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CBoolDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CCharDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CClockDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CDoubleDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CFloatDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CIntDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CIntMaxDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CIntPtrDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CLLongDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CLongDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CPtrdiffDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CSCharDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CSUSecondsDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CShortDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CSigAtomicDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CSizeDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CTimeDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CUCharDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CUIntDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CUIntMaxDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CUIntPtrDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CULLongDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CULongDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CUSecondsDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CUShortDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CWcharDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Int16Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Int32Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Int64Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Int8Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive COffDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Word16Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Word32Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Word64Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive Word8Defined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive CharDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive DoubleDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive FloatDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive IntDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSubtractive WordDefined in basement-0.0.16 · Basement.Numerical.SubtractiveSizeValid n => Subtractive (Bits n)Defined in basement-0.0.16 · Basement.BitsSubtractive (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeSubtractive (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeKnownNat n => Subtractive (Zn n)Defined in basement-0.0.16 · Basement.Numerical.Subtractive(KnownNat n, NatWithinBound Word64 n) => Subtractive (Zn64 n)Defined in basement-0.0.16 · Basement.Numerical.Subtractive