Numeric.Search.Combinator.Monadic

Evidence

data Evidence a b

Search range

type Range b a

class InitializesSearch a x

Splitters

type Splitter a

splitForever

splitTill

Searching

searchM

Postprocess

smallest

largest