<!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="previous" href="Versioned_typed_tcp.Make.html">
<link rel="Up" href="Versioned_typed_tcp.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 modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Command" rel="Chapter" href="Command.html">
<link title="File_tail" rel="Chapter" href="File_tail.html">
<link title="File_writer" rel="Chapter" href="File_writer.html">
<link title="Import" rel="Chapter" href="Import.html">
<link title="Lock_file" rel="Chapter" href="Lock_file.html">
<link title="Log" rel="Chapter" href="Log.html">
<link title="Persistent_singleton" rel="Chapter" href="Persistent_singleton.html">
<link title="Rpc" rel="Chapter" href="Rpc.html">
<link title="Rpc_intf" rel="Chapter" href="Rpc_intf.html">
<link title="Std" rel="Chapter" href="Std.html">
<link title="Tcp" rel="Chapter" href="Tcp.html">
<link title="Tcp_file" rel="Chapter" href="Tcp_file.html">
<link title="Typed_tcp" rel="Chapter" href="Typed_tcp.html">
<link title="Typed_tcp_intf" rel="Chapter" href="Typed_tcp_intf.html">
<link title="Unpack_sequence" rel="Chapter" href="Unpack_sequence.html">
<link title="User_and_group" rel="Chapter" href="User_and_group.html">
<link title="Versioned_rpc" rel="Chapter" href="Versioned_rpc.html">
<link title="Versioned_typed_tcp" rel="Chapter" href="Versioned_typed_tcp.html">
<link title="Weak_hashtbl" rel="Chapter" href="Weak_hashtbl.html"><title>Versioned_typed_tcp.Datumable_of_binable</title>
</head>
<body>
<div class="navbar"><a class="pre" href="Versioned_typed_tcp.Make.html" title="Versioned_typed_tcp.Make">Previous</a>
<a class="up" href="Versioned_typed_tcp.html" title="Versioned_typed_tcp">Up</a>
</div>
<h1>Module <a href="type_Versioned_typed_tcp.Datumable_of_binable.html">Versioned_typed_tcp.Datumable_of_binable</a></h1>
<pre><span class="keyword">module</span> Datumable_of_binable: <code class="code">sig</code> <a href="Versioned_typed_tcp.Datumable_of_binable.html">..</a> <code class="code">end</code></pre><div class="info module top">
Helpers to make your types Datumable if they are binable. Works with up
to 5 versions (easily extensible to more)<br>
</div>
<hr width="100%">
<pre><span class="keyword">module type</span> <a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a> = <code class="code">sig</code> <a href="Versioned_typed_tcp.Datumable_of_binable.T.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module type</span> <a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a> = <code class="code">sig</code> <a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module</span> <a href="Versioned_typed_tcp.Datumable_of_binable.V.html">V</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">V</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">T</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a></code><code class="code">) -> </code><code class="code">sig</code> <a href="Versioned_typed_tcp.Datumable_of_binable.V.html">..</a> <code class="code">end</code></div></div></pre>
<pre><span class="keyword">module</span> <a href="Versioned_typed_tcp.Datumable_of_binable.Make_datumable5.html">Make_datumable5</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">Versions</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Versions.html">Versioned_typed_tcp.Versions</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">T</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V3</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V4</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V5</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1_cvt</code><code class="code"> : </code><code class="type">V(V1)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2_cvt</code><code class="code"> : </code><code class="type">V(V2)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V3_cvt</code><code class="code"> : </code><code class="type">V(V3)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V4_cvt</code><code class="code"> : </code><code class="type">V(V4)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V5_cvt</code><code class="code"> : </code><code class="type">V(V5)(T).S</code><code class="code">) -> </code><code class="code">sig</code> <a href="Versioned_typed_tcp.Datumable_of_binable.Make_datumable5.html">..</a> <code class="code">end</code></div></div></div></div></div></div></div></div></div></div></div></div></pre>
<pre><span class="keyword">module type</span> <a href="Versioned_typed_tcp.Datumable_of_binable.Pre_versions.html">Pre_versions</a> = <code class="code">sig</code> <a href="Versioned_typed_tcp.Datumable_of_binable.Pre_versions.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module</span> <a href="Versioned_typed_tcp.Datumable_of_binable.Five_versions.html">Five_versions</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">Versions</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Pre_versions.html">Pre_versions</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">T</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V3</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V4</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V5</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1_cvt</code><code class="code"> : </code><code class="type">V(V1)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2_cvt</code><code class="code"> : </code><code class="type">V(V2)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V3_cvt</code><code class="code"> : </code><code class="type">V(V3)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V4_cvt</code><code class="code"> : </code><code class="type">V(V4)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V5_cvt</code><code class="code"> : </code><code class="type">V(V5)(T).S</code><code class="code">) -> </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Make_datumable5.html">Make_datumable5</a></code><code class="code">(</code><code class="code">sig</code><div class="sig_block">
<pre><span class="keyword">include</span> Versions</pre>
<pre><span id="VALtest_version"><span class="keyword">val</span> test_version</span> : <code class="type">Versioned_typed_tcp.Version.t</code></pre></div><code class="code">end</code><code class="code">)</code><code class="code">(</code><code class="type">T</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V2</code><code class="code">)</code><code class="code">(</code><code class="type">V3</code><code class="code">)</code><code class="code">(</code><code class="type">V4</code><code class="code">)</code><code class="code">(</code><code class="type">V5</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V2_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V3_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V4_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V5_cvt</code><code class="code">)</code></div></div></div></div></div></div></div></div></div></div></div></div></pre>
<pre><span class="keyword">module</span> <a href="Versioned_typed_tcp.Datumable_of_binable.Four_versions.html">Four_versions</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">Versions</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Pre_versions.html">Pre_versions</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">T</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V3</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V4</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1_cvt</code><code class="code"> : </code><code class="type">V(V1)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2_cvt</code><code class="code"> : </code><code class="type">V(V2)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V3_cvt</code><code class="code"> : </code><code class="type">V(V3)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V4_cvt</code><code class="code"> : </code><code class="type">V(V4)(T).S</code><code class="code">) -> </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Make_datumable5.html">Make_datumable5</a></code><code class="code">(</code><code class="code">sig</code><div class="sig_block">
<pre><span class="keyword">include</span> Versions</pre>
<pre><span id="VALtest_version"><span class="keyword">val</span> test_version</span> : <code class="type">Versioned_typed_tcp.Version.t</code></pre></div><code class="code">end</code><code class="code">)</code><code class="code">(</code><code class="type">T</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V2</code><code class="code">)</code><code class="code">(</code><code class="type">V3</code><code class="code">)</code><code class="code">(</code><code class="type">V4</code><code class="code">)</code><code class="code">(</code><code class="type">V4</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V2_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V3_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V4_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V4_cvt</code><code class="code">)</code></div></div></div></div></div></div></div></div></div></div></pre>
<pre><span class="keyword">module</span> <a href="Versioned_typed_tcp.Datumable_of_binable.Three_versions.html">Three_versions</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">Versions</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Pre_versions.html">Pre_versions</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">T</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V3</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1_cvt</code><code class="code"> : </code><code class="type">V(V1)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2_cvt</code><code class="code"> : </code><code class="type">V(V2)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V3_cvt</code><code class="code"> : </code><code class="type">V(V3)(T).S</code><code class="code">) -> </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Make_datumable5.html">Make_datumable5</a></code><code class="code">(</code><code class="code">sig</code><div class="sig_block">
<pre><span class="keyword">include</span> Versions</pre>
<pre><span id="VALtest_version"><span class="keyword">val</span> test_version</span> : <code class="type">Versioned_typed_tcp.Version.t</code></pre></div><code class="code">end</code><code class="code">)</code><code class="code">(</code><code class="type">T</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V2</code><code class="code">)</code><code class="code">(</code><code class="type">V3</code><code class="code">)</code><code class="code">(</code><code class="type">V3</code><code class="code">)</code><code class="code">(</code><code class="type">V3</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V2_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V3_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V3_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V3_cvt</code><code class="code">)</code></div></div></div></div></div></div></div></div></pre>
<pre><span class="keyword">module</span> <a href="Versioned_typed_tcp.Datumable_of_binable.Two_versions.html">Two_versions</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">Versions</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Pre_versions.html">Pre_versions</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">T</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1_cvt</code><code class="code"> : </code><code class="type">V(V1)(T).S</code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V2_cvt</code><code class="code"> : </code><code class="type">V(V2)(T).S</code><code class="code">) -> </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Make_datumable5.html">Make_datumable5</a></code><code class="code">(</code><code class="code">sig</code><div class="sig_block">
<pre><span class="keyword">include</span> Versions</pre>
<pre><span id="VALtest_version"><span class="keyword">val</span> test_version</span> : <code class="type">Versioned_typed_tcp.Version.t</code></pre></div><code class="code">end</code><code class="code">)</code><code class="code">(</code><code class="type">T</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V2</code><code class="code">)</code><code class="code">(</code><code class="type">V2</code><code class="code">)</code><code class="code">(</code><code class="type">V2</code><code class="code">)</code><code class="code">(</code><code class="type">V2</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V2_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V2_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V2_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V2_cvt</code><code class="code">)</code></div></div></div></div></div></div></pre>
<pre><span class="keyword">module</span> <a href="Versioned_typed_tcp.Datumable_of_binable.One_version.html">One_version</a>: <div class="sig_block"><code class="code">functor (</code><code class="code">Versions</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Pre_versions.html">Pre_versions</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">T</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T.html">T</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1</code><code class="code"> : </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.T_bin.html">T_bin</a></code><code class="code">) -> </code><div class="sig_block"><code class="code">functor (</code><code class="code">V1_cvt</code><code class="code"> : </code><code class="type">V(V1)(T).S</code><code class="code">) -> </code><code class="type"><a href="Versioned_typed_tcp.Datumable_of_binable.Make_datumable5.html">Make_datumable5</a></code><code class="code">(</code><code class="code">sig</code><div class="sig_block">
<pre><span class="keyword">include</span> Versions</pre>
<pre><span id="VALtest_version"><span class="keyword">val</span> test_version</span> : <code class="type">Versioned_typed_tcp.Version.t</code></pre></div><code class="code">end</code><code class="code">)</code><code class="code">(</code><code class="type">T</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V1</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code><code class="code">(</code><code class="type">V1_cvt</code><code class="code">)</code></div></div></div></div></pre></body></html>
