Numeric.Search

Evidence

data Evidence a b

evidence

counterEvidence

Search range

data Range b a

type SearchRange a

initializeSearchM

minToMax

fromTo

exponential

positiveExponential

nonNegativeExponential

positiveFractionalExponential

negativeExponential

nonPositiveExponential

negativeFractionalExponential

Splitters

type Splitter a

divForever

divTill

divideForever

divideTill

Searching

search

searchM

Postprocess

lookupRanges

smallest

largest

evidenceForSmallest

evidenceForLargest

counterEvidenceForSmallest

counterEvidenceForLargest