package batteries
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Install
Dune Dependency
Authors
Maintainers
Sources
md5=d02c4f044e53edca010de46f9139ce00
sha512=99a5afa3604c4cf0c849c670111d617f7f255acb0da043b73ddffdf0e299948bce52516ee31921f269de6088156c4e0a187e0b931543c6819c6b25966b303281
doc/batteries.unthreaded/BatRefList/Index/index.html
Module BatRefList.Index
Source
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