Feldspar.Range
data
Range
a
rangeOp
rangeOp2
mapMonotonic
rangeMul
emptyRange
fullRange
range
rangeByRange
singletonRange
naturalRange
negativeRange
rangeSize
isEmpty
isFull
isBounded
isSingleton
isSubRangeOf
isNatural
isNegative
inRange
rangeGap
(\/)
liftMaybe2
(/\)
disjoint
rangeLess
rangeLessEq
rangeAddUnsigned
rangeAddSigned
rangeSubUnsigned
rangeNegUnsigned
rangeNegSigned
rangeOrUnsignedCheap
minOrUnsigned
maxOrUnsigned
rangeOrUnsignedAccurate
rangeAndUnsignedCheap
rangeXorUnsigned
rangeProp1
rangeProp2
rangeMax
rangeMin
rangeMod
rangeRem
showBound
showRange
prop_arith1
prop_arith2
rangePropagationSafetyPre
rangePropSafety1
uppBound
lowBound
fromRange