Feldspar.Range
data Range a
class BoundedInt a
handleSign
showBound
showRange
mapMonotonic
mapMonotonic2
emptyRange
fullRange
range
rangeByRange
singletonRange
naturalRange
negativeRange
rangeSize
isEmpty
isFull
isSingleton
isSubRangeOf
isNatural
isNegative
inRange
rangeOp
rangeOp2
rangeUnion
rangeIntersection
disjoint
rangeGap
rangeLess
rangeLessEq
rangeAbs
rangeSignum
rangeSignumSigned
rangeSignumUnsigned
rangeNeg
rangeNegUnsigned
rangeNegSigned
rangeAdd
rangeAddUnsigned
rangeAddSigned
rangeSub
rangeSubUnsigned
rangeMul
rangeMulSigned
rangeMulUnsigned
bits
rangeExp
rangeExpUnsigned
rangeExpSigned
rangeOr
rangeOrUnsignedCheap
maxPlus
minOrUnsigned
maxOrUnsigned
rangeOrUnsignedAccurate
rangeAnd
rangeAndUnsignedCheap
rangeXor
rangeXorUnsigned
rangeShiftLU
rangeShiftRU
correctShiftRU
rangeMax
rangeMin
rangeMod
rangeRem
rangeQuot
rangeQuotU
fromRange
rangeTy
atAllTypes
prop_propagation1
rangePropagationSafetyPre
rangePropagationSafetyPre2
prop_propagation2
data TestCase
typedTests