<!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="CamomileLibrary.UChar.html"> <link rel="next" href="CamomileLibrary.UMap.html"> <link rel="Up" href="CamomileLibrary.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.USet</title> </head> <body> <div class="navbar"><a class="pre" href="CamomileLibrary.UChar.html" title="CamomileLibrary.UChar">Previous</a> <a class="up" href="CamomileLibrary.html" title="CamomileLibrary">Up</a> <a class="post" href="CamomileLibrary.UMap.html" title="CamomileLibrary.UMap">Next</a> </div> <h1>Module <a href="type_CamomileLibrary.USet.html">CamomileLibrary.USet</a></h1> <pre><span class="keyword">module</span> USet: <code class="code">sig</code> <a href="CamomileLibrary.USet.html">..</a> <code class="code">end</code></pre><hr width="100%"> <br> Sets of Unicode characters, implemented as sets of intervals. The signature is mostly same to Set.S in stdlib<br> <pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre> <pre><span id="VALempty"><span class="keyword">val</span> empty</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALis_empty"><span class="keyword">val</span> is_empty</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> bool</code></pre> <pre><span id="VALmem"><span class="keyword">val</span> mem</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> bool</code></pre> <pre><span id="VALadd"><span class="keyword">val</span> add</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALadd_range"><span class="keyword">val</span> add_range</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -><br> <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre><div class="info "> <code class="code">add_range u1 u2 s</code> adds the characters in the range <code class="code">u1</code> - <code class="code">u2</code> to <code class="code">s</code>. The range is determined by the code point order.<br> </div> <pre><span id="VALsingleton"><span class="keyword">val</span> singleton</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALremove"><span class="keyword">val</span> remove</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALremove_range"><span class="keyword">val</span> remove_range</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -><br> <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre><div class="info "> <code class="code">remove_range u1 u2 s</code> removes the characters in the range <code class="code">u1</code> - <code class="code">u2</code> from <code class="code">s</code>. The range is determined by the code point order.<br> </div> <pre><span id="VALunion"><span class="keyword">val</span> union</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALinter"><span class="keyword">val</span> inter</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALdiff"><span class="keyword">val</span> diff</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALcompl"><span class="keyword">val</span> compl</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre><div class="info "> <code class="code">compl s</code> returns the compliment of <code class="code">s</code>.<br> </div> <pre><span id="VALcompare"><span class="keyword">val</span> compare</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> int</code></pre> <pre><span id="VALequal"><span class="keyword">val</span> equal</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> bool</code></pre> <pre><span id="VALsubset"><span class="keyword">val</span> subset</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> bool</code></pre> <pre><span id="VALfrom"><span class="keyword">val</span> from</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre><div class="info "> <code class="code">from u s</code> returns the set of elements of <code class="code">s</code> whose code points are equal or greater than <code class="code">u</code>.<br> </div> <pre><span id="VALafter"><span class="keyword">val</span> after</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre><div class="info "> <code class="code">after u s</code> returns the set of elements of <code class="code">s</code> whose code points are greater than <code class="code">u</code>.<br> </div> <pre><span id="VALuntil"><span class="keyword">val</span> until</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre><div class="info "> <code class="code">until u s</code> returns the set of elements of <code class="code">s</code> whose code points are equal or smaller than <code class="code">u</code>.<br> </div> <pre><span id="VALbefore"><span class="keyword">val</span> before</span> : <code class="type"><a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre><div class="info "> <code class="code">until u s</code> returns the set of elements of <code class="code">s</code> whose code points are smaller than <code class="code">u</code>.<br> </div> <pre><span id="VALiter"><span class="keyword">val</span> iter</span> : <code class="type">(<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> unit) -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> unit</code></pre> <pre><span id="VALiter_range"><span class="keyword">val</span> iter_range</span> : <code class="type">(<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> unit) -><br> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> unit</code></pre><div class="info "> <code class="code">iter_range proc s</code> feeds the intervals contained in <code class="code">s</code> to <code class="code">proc</code> in increasing order. The intervals given to <code class="code">proc</code> are always separated by the character not in <code class="code">s</code>.<br> </div> <pre><span id="VALfold"><span class="keyword">val</span> fold</span> : <code class="type">(<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> 'a -> 'a) -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> 'a -> 'a</code></pre> <pre><span id="VALfold_range"><span class="keyword">val</span> fold_range</span> : <code class="type">(<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> 'a -> 'a) -><br> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> 'a -> 'a</code></pre><div class="info "> <code class="code">fold_range f s x</code> is equivalent to <code class="code">f u_i u_(i+1) (... (f u_3 u_4 (f u_1 u_2 x)))</code> if <code class="code">s</code> is consisted of the intervals <code class="code">u1</code>-<code class="code">u2</code>, <code class="code">u3</code>-<code class="code">u4</code>, ..., <code class="code">u_i</code>-<code class="code">u_(i + 1)</code> in increasing order. The intervals given to <code class="code">proc</code> are always separated by the character not in <code class="code">s</code>.<br> </div> <pre><span id="VALfor_all"><span class="keyword">val</span> for_all</span> : <code class="type">(<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> bool) -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> bool</code></pre> <pre><span id="VALexists"><span class="keyword">val</span> exists</span> : <code class="type">(<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> bool) -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> bool</code></pre> <pre><span id="VALfilter"><span class="keyword">val</span> filter</span> : <code class="type">(<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> bool) -><br> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALpartition"><span class="keyword">val</span> partition</span> : <code class="type">(<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> -> bool) -><br> <a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.USet.html#TYPEt">t</a> * <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALcardinal"><span class="keyword">val</span> cardinal</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> int</code></pre> <pre><span id="VALelements"><span class="keyword">val</span> elements</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> list</code></pre> <pre><span id="VALranges"><span class="keyword">val</span> ranges</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -><br> (<a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a> * <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a>) list</code></pre><div class="info "> The list of the intervals contained in the set. The returned intervals are always separated by the character not in <code class="code">s</code>.<br> </div> <pre><span id="VALmin_elt"><span class="keyword">val</span> min_elt</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a></code></pre> <pre><span id="VALmax_elt"><span class="keyword">val</span> max_elt</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a></code></pre> <pre><span id="VALchoose"><span class="keyword">val</span> choose</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> <a href="CamomileLibrary.UChar.html#TYPEt">CamomileLibrary.UChar.t</a></code></pre><div class="info "> Returns a element roughly in the middle of the set. It is not guaranteed to return the same element for the sets with the same elements<br> </div> <pre><span id="VALuset_of_iset"><span class="keyword">val</span> uset_of_iset</span> : <code class="type">ISet.t -> <a href="CamomileLibrary.USet.html#TYPEt">t</a></code></pre> <pre><span id="VALiset_of_uset"><span class="keyword">val</span> iset_of_uset</span> : <code class="type"><a href="CamomileLibrary.USet.html#TYPEt">t</a> -> ISet.t</code></pre></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
5f7775d66d5394cb95afb60b1b12881e
>
files
>
162
