Portability | portable |
---|---|
Stability | experimental |
Maintainer | ross@soi.city.ac.uk |
Searching unbounded intervals within bounded integral types for the boundary of an upward-closed set, using a combination of exponential and binary search.
Documentation
search :: (Bounded a, Integral a) => (a -> Bool) -> Maybe aSource
O(log(abs n)). Search a bounded integral type.
If p
is an upward-closed predicate, search p
returns
Just n
if and only if n
is the least such satisfying p
.