snumber-0.2.0: Integer singletons with flexible representation
Contents
Index
Index
chkAdd
Data.SNumber
chkMul
Data.SNumber
chkSub
Data.SNumber
compareSNumber
Data.SNumber
divExact
Data.SNumber
IntBits
Data.SNumber
IntMaxP1
Data.SNumber
IntMin
Data.SNumber
KnownSNumber
Data.SNumber
N#
Data.SNumber
overflowAdd
Data.SNumber
OverflowArith
Data.SNumber
overflowMul
Data.SNumber
overflowSub
Data.SNumber
reifySNumber
Data.SNumber
reifySNumberAsNat
Data.SNumber
SafeSNumber
Data.SNumber
sameSNumber
Data.SNumber
SEQ
Data.SNumber
SGT
Data.SNumber
SLT
Data.SNumber
SN
Data.SNumber
SNumber
1 (Type/Class)
Data.SNumber
2 (Data Constructor)
Data.SNumber
snumber
Data.SNumber
SNumberRepr
Data.SNumber
snumberVal
Data.SNumber
snumberVal_
Data.SNumber
SomeSNumber
1 (Type/Class)
Data.SNumber
2 (Data Constructor)
Data.SNumber
someSNumberVal
Data.SNumber
SOrdering
Data.SNumber
tryAdd
Data.SNumber
tryMul
Data.SNumber
trySNumber
Data.SNumber
trySub
Data.SNumber
UnrepresentableSNumber
1 (Type/Class)
Data.SNumber
2 (Data Constructor)
Data.SNumber
unsafeMkSNumber
Data.SNumber
unsafeTryMkSNumber
Data.SNumber
unsafeUncheckedMkSNumber
Data.SNumber
unsafeUncheckedSNumber
Data.SNumber
unSNumber
Data.SNumber
withSNumber
Data.SNumber
WordBits
Data.SNumber
WordMaxP1
Data.SNumber