package batteries
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=66b6e0b25769fc2363972c6a6ab6ac33
sha256=584d314cbaa5485e26d08ce87f7d7ff49043d9096101f2641b59def9aa6d7d71
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 -> intReturn 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 -> intReturn 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 -> 'aReturn 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 -> unitChange the element at the specified index raise Invalid_index if the index is outside 0 ; length-1
val remove_at : 'a t -> int -> unitRemove the element at the specified index raise Invalid_index if the index is outside 0 ; length-1