next up previous contents index
Next: binarySearch Up: Utilities Previous: version   Contents   Index


BinarySearch


Usage

import from BinarySearch(R, S)


Description

BinarySearch(R, S) provides a general version of binary search.


Parameter Type Description
R IntegerType The space being searched
S TotallyOrderedType The target values being searched for


Exports

binarySearch: (S, R $\to$ S, R, R) $\to$ (Boolean, R) binary search



Subsections

Manuel Bronstein 2004-06-28