<!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="UReStr.Interface.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="CaseMap" rel="Chapter" href="CaseMap.html"> <link title="CharEncoding" rel="Chapter" href="CharEncoding.html"> <link title="Default" rel="Chapter" href="Default.html"> <link title="IMap" rel="Chapter" href="IMap.html"> <link title="ISet" rel="Chapter" href="ISet.html"> <link title="Locale" rel="Chapter" href="Locale.html"> <link title="Main" rel="Chapter" href="Main.html"> <link title="OOChannel" rel="Chapter" href="OOChannel.html"> <link title="SubText" rel="Chapter" href="SubText.html"> <link title="UCS4" rel="Chapter" href="UCS4.html"> <link title="UChar" rel="Chapter" href="UChar.html"> <link title="UCharInfo" rel="Chapter" href="UCharInfo.html"> <link title="UCharTbl" rel="Chapter" href="UCharTbl.html"> <link title="UCol" rel="Chapter" href="UCol.html"> <link title="ULine" rel="Chapter" href="ULine.html"> <link title="UMap" rel="Chapter" href="UMap.html"> <link title="UNF" rel="Chapter" href="UNF.html"> <link title="UPervasives" rel="Chapter" href="UPervasives.html"> <link title="URe" rel="Chapter" href="URe.html"> <link title="UReStr" rel="Chapter" href="UReStr.html"> <link title="USet" rel="Chapter" href="USet.html"> <link title="UTF16" rel="Chapter" href="UTF16.html"> <link title="UTF8" rel="Chapter" href="UTF8.html"> <link title="UText" rel="Chapter" href="UText.html"> <link title="UnicodeString" rel="Chapter" href="UnicodeString.html"> <link title="XArray" rel="Chapter" href="XArray.html"> <link title="XString" rel="Chapter" href="XString.html"><title>UReStr.Interface.Make</title> </head> <body> <div class="navbar"> <a href="UReStr.Interface.html">Up</a> </div> <center><h1>Functor <a href="type_UReStr.Interface.Make.html">UReStr.Interface.Make</a></h1></center> <br> <pre><span class="keyword">module</span> Make: <div class="sig_block"><code class="code">functor (</code><code class="code">Text</code><code class="code"> : </code><code class="type"><a href="UnicodeString.Type.html">UnicodeString.Type</a></code><code class="code">) -> </code><code class="type"><a href="UReStr.Interface.Type.html">Type</a></code><code class="type"> with type text = Text.t and type index = Text.index</code></div></pre><table border="0" cellpadding="3" width="100%"> <tr> <td align="left" valign="top" width="1%%"><b>Parameters: </b></td> <td> <table class="paramstable"> <tr> <td align="center" valign="top" width="15%"> <code>Text</code></td> <td align="center" valign="top">:</td> <td><code class="type"><a href="UnicodeString.Type.html">UnicodeString.Type</a></code> </table> </td> </tr> </table> <hr width="100%"> <pre><span class="keyword">type</span> <a name="TYPEtext"></a><code class="type"></code>text </pre> <pre><span class="keyword">type</span> <a name="TYPEindex"></a><code class="type"></code>index </pre> <pre><span class="keyword">type</span> <a name="TYPEcompiled_regexp"></a><code class="type"></code>compiled_regexp </pre> <pre><span class="keyword">module</span> <a href="UReStr.Interface.Type.SubText.html">SubText</a>: <code class="type"><a href="SubText.Type.html">SubText.Type</a></code><code class="type"> with type ur_text = text and type ur_index = index</code></pre><pre><span class="keyword">val</span> <a name="VALcompile"></a>compile : <code class="type"><a href="UReStr.Interface.html#TYPEregexp">UReStr.Interface.regexp</a> -> <a href="UReStr.Interface.Type.html#TYPEcompiled_regexp">compiled_regexp</a></code></pre><div class="info"> Compile regular expressions.<br> </div> <pre><span class="keyword">val</span> <a name="VALregexp_match"></a>regexp_match : <code class="type">?sem:<a href="URe.html#TYPEmatch_semantics">URe.match_semantics</a> -><br> <a href="UReStr.Interface.Type.html#TYPEcompiled_regexp">compiled_regexp</a> -><br> <a href="UReStr.Interface.Type.html#TYPEtext">text</a> -><br> <a href="UReStr.Interface.Type.html#TYPEindex">index</a> -><br> SubText.t option array option</code></pre><div class="info"> <code class="code">regexp_match ?sem r t i</code> tries matching <code class="code">r</code> and substrings of <code class="code">t</code> beginning from <code class="code">i</code>. If match successes, <code class="code">Some g</code> is returned where <code class="code">g</code> is the array containing the matched string of <code class="code">n</code>-th group in the <code class="code">n</code>-element. The matched string of the whole <code class="code">r</code> is stored in the <code class="code">0</code>-th element. If matching fails, <code class="code">None</code> is returned.<br> </div> <pre><span class="keyword">val</span> <a name="VALstring_match"></a>string_match : <code class="type"><a href="UReStr.Interface.Type.html#TYPEcompiled_regexp">compiled_regexp</a> -><br> <a href="UReStr.Interface.Type.html#TYPEtext">text</a> -> <a href="UReStr.Interface.Type.html#TYPEindex">index</a> -> bool</code></pre><div class="info"> <code class="code">string_match r t i</code> tests whether <code class="code">r</code> can match a substring of <code class="code">t</code> beginning from <code class="code">i</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALsearch_forward"></a>search_forward : <code class="type">?sem:<a href="URe.html#TYPEmatch_semantics">URe.match_semantics</a> -><br> <a href="UReStr.Interface.Type.html#TYPEcompiled_regexp">compiled_regexp</a> -><br> <a href="UReStr.Interface.Type.html#TYPEtext">text</a> -><br> <a href="UReStr.Interface.Type.html#TYPEindex">index</a> -><br> SubText.t option array option</code></pre><div class="info"> <code class="code">search_forward ?sem r t i</code> searches a substring of <code class="code">t</code> matching <code class="code">r</code> from <code class="code">i</code>. The returned value is similar to <a href="URe.Type.html#VALregexp_match"><code class="code">URe.Type.regexp_match</code></a>.<br> </div> </body></html>