Subtractive
Char
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Double
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Float
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Int
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Int8
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Int16
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Int32
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Int64
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Integer
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Natural
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Word
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Word8
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Word16
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Word32
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Word64
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
COff
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CChar
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CSChar
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CUChar
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CShort
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CUShort
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CInt
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CUInt
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CLong
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CULong
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CLLong
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CULLong
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CBool
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CFloat
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CDouble
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CPtrdiff
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CSize
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CWchar
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CSigAtomic
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CClock
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CTime
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CUSeconds
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CSUSeconds
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CIntPtr
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CUIntPtr
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CIntMax
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
CUIntMax
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Word128
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
Word256
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
KnownNat
n =>
Subtractive
(
Zn
n)
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
(
KnownNat
n,
NatWithinBound
Word64
n) =>
Subtractive
(
Zn64
n)
Source
#
|
|
Instance details
Defined in
Basement.Numerical.Subtractive
|
Subtractive
(
CountOf
ty)
Source
#
|
|
Instance details
Defined in
Basement.Types.OffsetSize
|
Subtractive
(
Offset
ty)
Source
#
|
|
Instance details
Defined in
Basement.Types.OffsetSize
|
SizeValid n =>
Subtractive
(
Bits
n)
Source
#
|
|
Instance details
Defined in
Basement.Bits
|