Feldspar.Range

Definition

data Range a

class BoundedInt a

handleSign

showBound

showRange

mapMonotonic

mapMonotonic2

Lattice operations

emptyRange

fullRange

range

singletonRange

naturalRange

negativeRange

rangeSize

isEmpty

isFull

isSingleton

isSubRangeOf

isNatural

isNegative

inRange

rangeOp

rangeOp2

rangeUnion

rangeIntersection

disjoint

rangeGap

rangeLess

rangeLessEq

Propagation

rangeByRange

rangeAbs

rangeSignum

rangeSignumSigned

rangeSignumUnsigned

rangeNeg

rangeNegUnsigned

rangeNegSigned

rangeAdd

rangeAddUnsigned

rangeAddSigned

rangeSub

rangeSubUnsigned

rangeSubSigned

subSat

rangeSubSat

rangeMul

rangeMulSigned

rangeMulUnsigned

bits

rangeExp

rangeExpUnsigned

rangeExpSigned

rangeOr

rangeOrUnsignedCheap

maxPlus

minOrUnsigned

maxOrUnsigned

rangeOrUnsignedAccurate

rangeAnd

rangeAndUnsignedCheap

rangeXor

rangeXorUnsigned

rangeShiftLU

rangeShiftLUUnsigned

rangeShiftRU

rangeShiftRUUnsigned

correctShiftRU

rangeComplement

rangeMax

rangeMin

rangeMod

rangeRem

predAbs

rangeDiv

rangeDivU

rangeQuot

rangeQuotU

rangeLessAbs

absRangeLessAbs

Products of ranges

liftR

binopR

mapR

approx