package batteries
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=096be9e83e347b4c7b5b6e5b2af22992
sha512=621dca842c4a7adf0ac1e907bf44c1405e0b66a088987a138a4f4e98ca744815913bf87fd780619151cb049a07d7fdb1e8adb7b65698ab46b8c2dfe46cd7119d
doc/batteries.unthreaded/BatRefList/Index/index.html
Module BatRefList.IndexSource
Functions that operate on the element at index i in a list (with indices starting from 0).
While it is sometimes necessary to perform these operations on lists (hence their inclusion here), the functions were moved to an inner module to prevent their overuse: all functions work in O(n) time. You might prefer to use Array or DynArray for constant time indexed element access.
Return the index (position : 0 starting) of an element in a ref list, using ( = ) for testing element equality raise Not_found if no element was found
Return the index (position : 0 starting) of an element in a ref list, using the specified comparator raise Not_found if no element was found
Return the element of ref list at the specified index raise Invalid_index if the index is outside 0 ; length-1
Change the element at the specified index raise Invalid_index if the index is outside 0 ; length-1