<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link rel="Up" href="RefList.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of class methods" rel=Appendix href="index_methods.html"> <link title="Index of classes" rel=Appendix href="index_classes.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Base64" rel="Chapter" href="Base64.html"> <link title="BitSet" rel="Chapter" href="BitSet.html"> <link title="Dllist" rel="Chapter" href="Dllist.html"> <link title="DynArray" rel="Chapter" href="DynArray.html"> <link title="Enum" rel="Chapter" href="Enum.html"> <link title="ExtArray" rel="Chapter" href="ExtArray.html"> <link title="ExtHashtbl" rel="Chapter" href="ExtHashtbl.html"> <link title="ExtList" rel="Chapter" href="ExtList.html"> <link title="ExtString" rel="Chapter" href="ExtString.html"> <link title="Global" rel="Chapter" href="Global.html"> <link title="IO" rel="Chapter" href="IO.html"> <link title="OptParse" rel="Chapter" href="OptParse.html"> <link title="Option" rel="Chapter" href="Option.html"> <link title="PMap" rel="Chapter" href="PMap.html"> <link title="RefList" rel="Chapter" href="RefList.html"> <link title="Std" rel="Chapter" href="Std.html"> <link title="UChar" rel="Chapter" href="UChar.html"> <link title="UTF8" rel="Chapter" href="UTF8.html"> <link title="Unzip" rel="Chapter" href="Unzip.html"><title>RefList.Index</title> </head> <body> <div class="navbar"> <a href="RefList.html">Up</a> </div> <center><h1>Module <a href="type_RefList.Index.html">RefList.Index</a></h1></center> <br> <pre><span class="keyword">module</span> Index: <code class="code">sig</code> <a href="RefList.Index.html">..</a> <code class="code">end</code></pre>Functions that operate on the <code class="code">i</code>th element of a list. <p> 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 <code class="code">Array</code> or <code class="code">DynArray</code> for constant time indexed element access.<br> <hr width="100%"> <pre><span id="VALindex_of"><span class="keyword">val</span> index_of</span> : <code class="type">'a <a href="RefList.html#TYPEt">RefList.t</a> -> 'a -> int</code></pre><div class="info"> Return the index (position : 0 starting) of an element in a ref list, using ( = ) for testing element equality raise <code class="code">Not_found</code> if no element was found<br> </div> <pre><span id="VALindex"><span class="keyword">val</span> index</span> : <code class="type">('a -> bool) -> 'a <a href="RefList.html#TYPEt">RefList.t</a> -> int</code></pre><div class="info"> Return the index (position : 0 starting) of an element in a ref list, using the specified comparator raise <code class="code">Not_found</code> if no element was found<br> </div> <pre><span id="VALat_index"><span class="keyword">val</span> at_index</span> : <code class="type">'a <a href="RefList.html#TYPEt">RefList.t</a> -> int -> 'a</code></pre><div class="info"> Return the element of ref list at the specified index raise <code class="code">Invalid_index</code> if the index is outside <code class="code">0 ; length-1</code><br> </div> <pre><span id="VALset"><span class="keyword">val</span> set</span> : <code class="type">'a <a href="RefList.html#TYPEt">RefList.t</a> -> int -> 'a -> unit</code></pre><div class="info"> Change the element at the specified index raise <code class="code">Invalid_index</code> if the index is outside <code class="code">0 ; length-1</code><br> </div> <pre><span id="VALremove_at"><span class="keyword">val</span> remove_at</span> : <code class="type">'a <a href="RefList.html#TYPEt">RefList.t</a> -> int -> unit</code></pre><div class="info"> Remove the element at the specified index raise <code class="code">Invalid_index</code> if the index is outside <code class="code">0 ; length-1</code><br> </div> </body></html>