Feldspar.Range

Definition

data Range a

class BoundedInt a

handleSign

showBound

showRange

mapMonotonic

mapMonotonic2

Set operations

emptyRange

fullRange

range

rangeByRange

singletonRange

naturalRange

negativeRange

rangeSize

isEmpty

isFull

isSingleton

isSubRangeOf

isNatural

isNegative

inRange

rangeOp

rangeOp2

rangeUnion

rangeIntersection

disjoint

rangeGap

rangeLess

rangeLessEq

Propagation

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

Testing

fromRange

rangeTy

atAllTypes

Set operations

Propagation

prop_propagation1

rangePropagationSafetyPre

rangePropagationSafetyPre2

prop_propagation2

Running

data TestCase

typedTests