1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> 2<html> 3<head> 4<link rel="stylesheet" href="style.css" type="text/css"> 5<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> 6<meta name="viewport" content="width=device-width, initial-scale=1"> 7<link rel="Start" href="index.html"> 8<link rel="next" href="Ephemeron.K2.MakeSeeded.html"> 9<link rel="Up" href="Ephemeron.K2.html"> 10<link title="Index of types" rel=Appendix href="index_types.html"> 11<link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> 12<link title="Index of values" rel=Appendix href="index_values.html"> 13<link title="Index of modules" rel=Appendix href="index_modules.html"> 14<link title="Index of module types" rel=Appendix href="index_module_types.html"> 15<link title="Arg" rel="Chapter" href="Arg.html"> 16<link title="Arg_helper" rel="Chapter" href="Arg_helper.html"> 17<link title="Arith_status" rel="Chapter" href="Arith_status.html"> 18<link title="Array" rel="Chapter" href="Array.html"> 19<link title="ArrayLabels" rel="Chapter" href="ArrayLabels.html"> 20<link title="Ast_helper" rel="Chapter" href="Ast_helper.html"> 21<link title="Ast_invariants" rel="Chapter" href="Ast_invariants.html"> 22<link title="Ast_iterator" rel="Chapter" href="Ast_iterator.html"> 23<link title="Ast_mapper" rel="Chapter" href="Ast_mapper.html"> 24<link title="Asttypes" rel="Chapter" href="Asttypes.html"> 25<link title="Attr_helper" rel="Chapter" href="Attr_helper.html"> 26<link title="Big_int" rel="Chapter" href="Big_int.html"> 27<link title="Bigarray" rel="Chapter" href="Bigarray.html"> 28<link title="Buffer" rel="Chapter" href="Buffer.html"> 29<link title="Builtin_attributes" rel="Chapter" href="Builtin_attributes.html"> 30<link title="Bytes" rel="Chapter" href="Bytes.html"> 31<link title="BytesLabels" rel="Chapter" href="BytesLabels.html"> 32<link title="Callback" rel="Chapter" href="Callback.html"> 33<link title="CamlinternalFormat" rel="Chapter" href="CamlinternalFormat.html"> 34<link title="CamlinternalFormatBasics" rel="Chapter" href="CamlinternalFormatBasics.html"> 35<link title="CamlinternalLazy" rel="Chapter" href="CamlinternalLazy.html"> 36<link title="CamlinternalMod" rel="Chapter" href="CamlinternalMod.html"> 37<link title="CamlinternalOO" rel="Chapter" href="CamlinternalOO.html"> 38<link title="Ccomp" rel="Chapter" href="Ccomp.html"> 39<link title="Char" rel="Chapter" href="Char.html"> 40<link title="Clflags" rel="Chapter" href="Clflags.html"> 41<link title="Complex" rel="Chapter" href="Complex.html"> 42<link title="Condition" rel="Chapter" href="Condition.html"> 43<link title="Config" rel="Chapter" href="Config.html"> 44<link title="Consistbl" rel="Chapter" href="Consistbl.html"> 45<link title="Depend" rel="Chapter" href="Depend.html"> 46<link title="Digest" rel="Chapter" href="Digest.html"> 47<link title="Docstrings" rel="Chapter" href="Docstrings.html"> 48<link title="Dynlink" rel="Chapter" href="Dynlink.html"> 49<link title="Ephemeron" rel="Chapter" href="Ephemeron.html"> 50<link title="Event" rel="Chapter" href="Event.html"> 51<link title="Filename" rel="Chapter" href="Filename.html"> 52<link title="Format" rel="Chapter" href="Format.html"> 53<link title="Gc" rel="Chapter" href="Gc.html"> 54<link title="Genlex" rel="Chapter" href="Genlex.html"> 55<link title="Graphics" rel="Chapter" href="Graphics.html"> 56<link title="GraphicsX11" rel="Chapter" href="GraphicsX11.html"> 57<link title="Hashtbl" rel="Chapter" href="Hashtbl.html"> 58<link title="Identifiable" rel="Chapter" href="Identifiable.html"> 59<link title="Int32" rel="Chapter" href="Int32.html"> 60<link title="Int64" rel="Chapter" href="Int64.html"> 61<link title="Lazy" rel="Chapter" href="Lazy.html"> 62<link title="Lexer" rel="Chapter" href="Lexer.html"> 63<link title="Lexing" rel="Chapter" href="Lexing.html"> 64<link title="List" rel="Chapter" href="List.html"> 65<link title="ListLabels" rel="Chapter" href="ListLabels.html"> 66<link title="Location" rel="Chapter" href="Location.html"> 67<link title="Longident" rel="Chapter" href="Longident.html"> 68<link title="Map" rel="Chapter" href="Map.html"> 69<link title="Marshal" rel="Chapter" href="Marshal.html"> 70<link title="Misc" rel="Chapter" href="Misc.html"> 71<link title="MoreLabels" rel="Chapter" href="MoreLabels.html"> 72<link title="Mutex" rel="Chapter" href="Mutex.html"> 73<link title="Nativeint" rel="Chapter" href="Nativeint.html"> 74<link title="Num" rel="Chapter" href="Num.html"> 75<link title="Numbers" rel="Chapter" href="Numbers.html"> 76<link title="Obj" rel="Chapter" href="Obj.html"> 77<link title="Oo" rel="Chapter" href="Oo.html"> 78<link title="Parse" rel="Chapter" href="Parse.html"> 79<link title="Parser" rel="Chapter" href="Parser.html"> 80<link title="Parsetree" rel="Chapter" href="Parsetree.html"> 81<link title="Parsing" rel="Chapter" href="Parsing.html"> 82<link title="Pervasives" rel="Chapter" href="Pervasives.html"> 83<link title="Pprintast" rel="Chapter" href="Pprintast.html"> 84<link title="Printast" rel="Chapter" href="Printast.html"> 85<link title="Printexc" rel="Chapter" href="Printexc.html"> 86<link title="Printf" rel="Chapter" href="Printf.html"> 87<link title="Queue" rel="Chapter" href="Queue.html"> 88<link title="Random" rel="Chapter" href="Random.html"> 89<link title="Ratio" rel="Chapter" href="Ratio.html"> 90<link title="Scanf" rel="Chapter" href="Scanf.html"> 91<link title="Set" rel="Chapter" href="Set.html"> 92<link title="Sort" rel="Chapter" href="Sort.html"> 93<link title="Spacetime" rel="Chapter" href="Spacetime.html"> 94<link title="Stack" rel="Chapter" href="Stack.html"> 95<link title="StdLabels" rel="Chapter" href="StdLabels.html"> 96<link title="Str" rel="Chapter" href="Str.html"> 97<link title="Stream" rel="Chapter" href="Stream.html"> 98<link title="String" rel="Chapter" href="String.html"> 99<link title="StringLabels" rel="Chapter" href="StringLabels.html"> 100<link title="Strongly_connected_components" rel="Chapter" href="Strongly_connected_components.html"> 101<link title="Syntaxerr" rel="Chapter" href="Syntaxerr.html"> 102<link title="Sys" rel="Chapter" href="Sys.html"> 103<link title="Targetint" rel="Chapter" href="Targetint.html"> 104<link title="Tbl" rel="Chapter" href="Tbl.html"> 105<link title="Terminfo" rel="Chapter" href="Terminfo.html"> 106<link title="Thread" rel="Chapter" href="Thread.html"> 107<link title="ThreadUnix" rel="Chapter" href="ThreadUnix.html"> 108<link title="Timings" rel="Chapter" href="Timings.html"> 109<link title="Uchar" rel="Chapter" href="Uchar.html"> 110<link title="Unix" rel="Chapter" href="Unix.html"> 111<link title="UnixLabels" rel="Chapter" href="UnixLabels.html"> 112<link title="Warnings" rel="Chapter" href="Warnings.html"> 113<link title="Weak" rel="Chapter" href="Weak.html"><title>Ephemeron.K2.Make</title> 114</head> 115<body> 116<div class="navbar"> <a class="up" href="Ephemeron.K2.html" title="Ephemeron.K2">Up</a> 117 <a class="post" href="Ephemeron.K2.MakeSeeded.html" title="Ephemeron.K2.MakeSeeded">Next</a> 118</div> 119<h1>Functor <a href="type_Ephemeron.K2.Make.html">Ephemeron.K2.Make</a></h1> 120 121<pre><span class="keyword">module</span> Make: <div class="sig_block"><code class="code"><span class="keyword">functor</span> (</code><code class="code"><span class="constructor">H1</span></code><code class="code"> : </code><code class="type"><a href="Hashtbl.HashedType.html">Hashtbl.HashedType</a></code><code class="code">) <span class="keywordsign">-></span> </code><div class="sig_block"><code class="code"><span class="keyword">functor</span> (</code><code class="code"><span class="constructor">H2</span></code><code class="code"> : </code><code class="type"><a href="Hashtbl.HashedType.html">Hashtbl.HashedType</a></code><code class="code">) <span class="keywordsign">-></span> </code><code class="type"><a href="Ephemeron.S.html">Ephemeron.S</a></code><code class="type"> with type key = H1.t * H2.t</code></div></div></pre><div class="info module top"> 122Functor building an implementation of a weak hash table<br> 123</div> 124<table border="0" cellpadding="3" width="100%"> 125<tr> 126<td align="left" valign="top" width="1%%"><b>Parameters: </b></td> 127<td> 128<table class="paramstable"> 129<tr> 130<td align="center" valign="top" width="15%"> 131<code>H1</code></td> 132<td align="center" valign="top">:</td> 133<td><code class="type"><a href="Hashtbl.HashedType.html">Hashtbl.HashedType</a></code> 134<tr> 135<td align="center" valign="top" width="15%"> 136<code>H2</code></td> 137<td align="center" valign="top">:</td> 138<td><code class="type"><a href="Hashtbl.HashedType.html">Hashtbl.HashedType</a></code> 139</table> 140</td> 141</tr> 142</table> 143<hr width="100%"> 144<br> 145Propose the same interface as usual hash table. However since 146 the bindings are weak, even if <code class="code">mem h k</code> is true, a subsequent 147 <code class="code">find h k</code> may raise <code class="code"><span class="constructor">Not_found</span></code> because the garbage collector 148 can run between the two. 149<p> 150 151 Moreover, the table shouldn't be modified during a call to <code class="code">iter</code>. 152 Use <code class="code">filter_map_inplace</code> in this case.<br> 153 154<pre><span class="keyword">include</span> <a href="Hashtbl.S.html">Hashtbl.S</a></pre> 155 156<pre><span id="VALclean"><span class="keyword">val</span> clean</span> : <code class="type">'a t -> unit</code></pre><div class="info "> 157remove all dead bindings. Done automatically during automatic resizing.<br> 158</div> 159 160<pre><span id="VALstats_alive"><span class="keyword">val</span> stats_alive</span> : <code class="type">'a t -> <a href="Hashtbl.html#TYPEstatistics">Hashtbl.statistics</a></code></pre><div class="info "> 161same as <a href="Hashtbl.SeededS.html#VALstats"><code class="code"><span class="constructor">Hashtbl</span>.<span class="constructor">SeededS</span>.stats</code></a> but only count the alive bindings<br> 162</div> 163</body></html>