package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.0.3.tar.gz
sha256=151ca6df499bd3de7aa89a4e1627411fbee24c4dea6e0e71ce21f06f181ee654
md5=00393728b481c2bf15919a8202732335
doc/orsetto.cf/Cf_bsearch/Int/index.html
Module Cf_bsearch.Int
The profile of binary searches with int type index.
Use find r f a b to search for the cursor c between a and b inclusive, for which applying the ordering function f returns zero. If the cursor is found in the search, then r.some is applied to it. Otherwise, r.none () is applied.
val search : int cmp -> int -> int -> int optionUse search f a b to find Some c between a and b inclusive for which applying the ordering function f returns zero. Otherwise, if no such cursor exists, then returns None.
val require : int cmp -> int -> int -> intUse opt f a b to find the cursor between a and b inclusive for which applying the ordering function f returns zero. Otherwise, if no such cursor exists, then raises Not_found.