package batteries
Install
Dune Dependency
Authors
Maintainers
Sources
md5=e4b70d1a716f0aaba36f419f618d0a2e
sha512=a31f1f8cf2c7c3c6c757f3bfae98ff61bb32bab6a1f1e215937df42bcfa447aad41a37edb28d7bcecb88b3838ed8bd57142bcf8e2d28e09bb538055fd8a3b72d
doc/batteries.unthreaded/BatRefList/Index/index.html
Module BatRefList.Index
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.
val index_of : 'a t -> 'a -> int
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
val index : ('a -> bool) -> 'a t -> int
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
val at_index : 'a t -> int -> 'a
Return the element of ref list at the specified index raise Invalid_index
if the index is outside 0 ; length-1
val set : 'a t -> int -> 'a -> unit
Change the element at the specified index raise Invalid_index
if the index is outside 0 ; length-1
val remove_at : 'a t -> int -> unit
Remove the element at the specified index raise Invalid_index
if the index is outside 0 ; length-1