Numeric.Search.Combinator.Monadic

Evidence

data Evidence a b

Search range

data Range b a

type SearchRange a

initializeSearchM

minToMax

exponential

positiveExponential

nonNegativeExponential

negativeExponential

nonPositiveExponential

Splitters

type Splitter a

splitForever

splitTill

Searching

searchM

Postprocess

lookupRanges

smallest

largest