/usr/share/doc/libres-ocaml-dev/html/api/type_Res.Array.html is in libres-ocaml-dev 4.0.3-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 | <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 title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Nopres_impl" rel="Chapter" href="Nopres_impl.html">
<link title="Nopres_intf" rel="Chapter" href="Nopres_intf.html">
<link title="Pres_impl" rel="Chapter" href="Pres_impl.html">
<link title="Pres_intf" rel="Chapter" href="Pres_intf.html">
<link title="Res" rel="Chapter" href="Res.html">
<link title="Strat" rel="Chapter" href="Strat.html">
<link title="Weak_impl" rel="Chapter" href="Weak_impl.html">
<link title="Weak_intf" rel="Chapter" href="Weak_intf.html"><title>Res.Array</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">module</span> <span class="constructor">Strategy</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> t = float * float * int<br>
<span class="keyword">val</span> default : t<br>
<span class="keyword">val</span> grow : t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> shrink : t <span class="keywordsign">-></span> real_len:int <span class="keywordsign">-></span> new_len:int <span class="keywordsign">-></span> int<br>
<span class="keyword">end</span><br>
<span class="keyword">type</span> strategy = <span class="constructor">Strategy</span>.t<br>
<span class="keyword">type</span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> length : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> lix : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> real_length : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> real_lix : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> get : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> set : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> sempty : strategy <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> empty : unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> screate : strategy <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> create : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> smake : strategy <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> make : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> sinit : strategy <span class="keywordsign">-></span> int <span class="keywordsign">-></span> (int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> init : int <span class="keywordsign">-></span> (int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> get_strategy : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> strategy<br>
<span class="keyword">val</span> set_strategy : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> strategy <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> put_strategy : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> strategy <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> enforce_strategy : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> make_matrix : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t t<br>
<span class="keyword">val</span> copy : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> sub : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> fill : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> blit : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> append : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> concat : <span class="keywordsign">'</span>a t list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> add_one : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> remove_one : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> remove_n : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> remove_range : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> clear : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> swap : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> swap_in_last : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> to_array : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a array<br>
<span class="keyword">val</span> sof_array : strategy <span class="keywordsign">-></span> <span class="keywordsign">'</span>a array <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> of_array : <span class="keywordsign">'</span>a array <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> to_list : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> sof_list : strategy <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> of_list : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> iter : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br>
<span class="keyword">val</span> iteri : (int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> mapi : (int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br>
<span class="keyword">val</span> fold_left : (<span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> fold_right : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> for_all : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> exists : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> mem : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> memq : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> pos : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int option<br>
<span class="keyword">val</span> posq : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int option<br>
<span class="keyword">val</span> find : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> find_index : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> filter : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> find_all : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> filter_in_place : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> partition : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t * <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> unsafe_get : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> unsafe_set : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> unsafe_sub : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> unsafe_fill : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> unsafe_blit : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> unsafe_remove_one : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> unsafe_remove_n : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> unsafe_swap : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> unsafe_swap_in_last : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">end</span></code></body></html>
|