<!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="CamomileLibrary.Type.URe.Type.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 class types" rel=Appendix href="index_class_types.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="CamomileLibrary" rel="Chapter" href="CamomileLibrary.html"> <link title="CamomileLibraryDefault" rel="Chapter" href="CamomileLibraryDefault.html"> <link title="CamomileLibraryDyn" rel="Chapter" href="CamomileLibraryDyn.html"><title>CamomileLibrary.Type.URe.Type.SubText</title> </head> <body> <div class="navbar"> <a class="up" href="CamomileLibrary.Type.URe.Type.html" title="CamomileLibrary.Type.URe.Type">Up</a> </div> <h1>Module <a href="type_CamomileLibrary.Type.URe.Type.SubText.html">CamomileLibrary.Type.URe.Type.SubText</a></h1> <pre><span class="keyword">module</span> SubText: <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html">CamomileLibrary.Type.SubText.Type</a></code><code class="type"> with type ur_text = text and type ur_index = index</code></pre><hr width="100%"> <pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre> <pre><span id="VALget"><span class="keyword">val</span> get</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -> int -> <a href="CamomileLibrary.Type.UChar.html#TYPEt">CamomileLibrary.Type.UChar.t</a></code></pre> <pre><span id="VALinit"><span class="keyword">val</span> init</span> : <code class="type">int -><br> (int -> <a href="CamomileLibrary.Type.UChar.html#TYPEt">CamomileLibrary.Type.UChar.t</a>) -> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a></code></pre> <pre><span id="VALlength"><span class="keyword">val</span> length</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -> int</code></pre> <pre><span id="TYPEindex"><span class="keyword">type</span> <code class="type"></code>index</span> </pre> <pre><span id="VALlook"><span class="keyword">val</span> look</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a> -> <a href="CamomileLibrary.Type.UChar.html#TYPEt">CamomileLibrary.Type.UChar.t</a></code></pre> <pre><span id="VALnth"><span class="keyword">val</span> nth</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> int -> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a></code></pre> <pre><span id="VALfirst"><span class="keyword">val</span> first</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a></code></pre> <pre><span id="VALlast"><span class="keyword">val</span> last</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a></code></pre> <pre><span id="VALnext"><span class="keyword">val</span> next</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a></code></pre> <pre><span id="VALprev"><span class="keyword">val</span> prev</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a></code></pre> <pre><span id="VALmove"><span class="keyword">val</span> move</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a> -><br> int -> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a></code></pre> <pre><span id="VALout_of_range"><span class="keyword">val</span> out_of_range</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a> -> bool</code></pre> <pre><span id="VALcompare_index"><span class="keyword">val</span> compare_index</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a> -> int</code></pre> <pre><span id="VALiter"><span class="keyword">val</span> iter</span> : <code class="type">(<a href="CamomileLibrary.Type.UChar.html#TYPEt">CamomileLibrary.Type.UChar.t</a> -> unit) -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -> unit</code></pre> <pre><span id="VALcompare"><span class="keyword">val</span> compare</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -> int</code></pre> <pre><span class="keyword">module</span> <a href="CamomileLibrary.Type.SubText.Type.Buf.html">Buf</a>: <code class="code">sig</code> <a href="CamomileLibrary.Type.SubText.Type.Buf.html">..</a> <code class="code">end</code></pre> <pre><span id="TYPEur_text"><span class="keyword">type</span> <code class="type"></code>ur_text</span> </pre> <div class="info "> The type of original texts.<br> </div> <pre><span id="TYPEur_index"><span class="keyword">type</span> <code class="type"></code>ur_index</span> </pre> <div class="info "> The type of indexes of original texts.<br> </div> <pre><span id="VALrefer"><span class="keyword">val</span> refer</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEur_text">ur_text</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEur_index">ur_index</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEur_index">ur_index</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a></code></pre><div class="info "> <code class="code">refer t i j</code> returns the part of <code class="code">t</code> from <code class="code">i</code> until <code class="code">j</code>. The character pointed by <code class="code">j</code> is not included in the result. If <code class="code">j</code> is equal to <code class="code">i</code> or located before <code class="code">j</code>, the result is an empty string.<br> </div> <pre><span id="VALexcerpt"><span class="keyword">val</span> excerpt</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEur_text">ur_text</a></code></pre><div class="info "> <code class="code">excerpt t</code> copies the contents of <code class="code">t</code> as a new ur_text.<br> </div> <pre><span id="VALcontext"><span class="keyword">val</span> context</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEur_text">ur_text</a> *<br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEur_index">ur_index</a> *<br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEur_index">ur_index</a></code></pre><div class="info "> <code class="code">context t</code> returns the tuple <code class="code">(s, i, j)</code> such that <code class="code">t = refer s i j</code>.<br> </div> <pre><span id="VALur_index_of"><span class="keyword">val</span> ur_index_of</span> : <code class="type"><a href="CamomileLibrary.Type.SubText.Type.html#TYPEt">t</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEindex">index</a> -><br> <a href="CamomileLibrary.Type.SubText.Type.html#TYPEur_index">ur_index</a></code></pre><div class="info "> Conversion from indexes of sub-texts to ur_texts.<br> </div> </body></html>