<!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="UCharInfo.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>UCharInfo.Make</title> </head> <body> <div class="navbar"> <a href="UCharInfo.html">Up</a> </div> <center><h1>Functor <a href="type_UCharInfo.Make.html">UCharInfo.Make</a></h1></center> <br> <pre><span class="keyword">module</span> Make: <div class="sig_block"><code class="code">functor (</code><code class="code">Config</code><code class="code"> : </code><code class="type">ConfigInt.Type</code><code class="code">) -> </code><code class="type"><a href="UCharInfo.Type.html">Type</a></code><code class="type"> </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>Config</code></td> <td align="center" valign="top">:</td> <td><code class="type">ConfigInt.Type</code> </table> </td> </tr> </table> <hr width="100%"> <br> Character Information<br> <pre><span class="keyword">type</span> <a name="TYPEgeneral_category_type"></a><code class="type"></code>general_category_type = <code class="type">[ `Cc<br> | `Cf<br> | `Cn<br> | `Co<br> | `Cs<br> | `Ll<br> | `Lm<br> | `Lo<br> | `Lt<br> | `Lu<br> | `Mc<br> | `Me<br> | `Mn<br> | `Nd<br> | `Nl<br> | `No<br> | `Pc<br> | `Pd<br> | `Pe<br> | `Pf<br> | `Pi<br> | `Po<br> | `Ps<br> | `Sc<br> | `Sk<br> | `Sm<br> | `So<br> | `Zl<br> | `Zp<br> | `Zs ]</code> </pre> <div class="info"> Type of Unicode general character categories. Each variant specifies<ul> <li><code class="code">`Lu</code> : Letter, Uppercase </li> <li><code class="code">`Ll</code> : Letter, Lowercase </li> <li><code class="code">`Lt</code> : Letter, Titlecase </li> <li><code class="code">`Mn</code> : Mark, Non-Spacing </li> <li><code class="code">`Mc</code> : Mark, Spacing Combining </li> <li><code class="code">`Me</code> : Mark, Enclosing </li> <li><code class="code">`Nd</code> : Number, Decimal Digit </li> <li><code class="code">`Nl</code> : Number, Letter </li> <li><code class="code">`No</code> : Number, Other </li> <li><code class="code">`Zs</code> : Separator, Space </li> <li><code class="code">`Zl</code> : Separator, Line </li> <li><code class="code">`Zp</code> : Separator, Paragraph </li> <li><code class="code">`Cc</code> : Other, Control </li> <li><code class="code">`Cf</code> : Other, Format </li> <li><code class="code">`Cs</code> : Other, Surrogate </li> <li><code class="code">`Co</code> : Other, Private Use </li> <li><code class="code">`Cn</code> : Other, Not Assigned </li> <li><code class="code">`Lm</code> : Letter, Modifier </li> <li><code class="code">`Lo</code> : Letter, Other </li> <li><code class="code">`Pc</code> : Punctuation, Connector </li> <li><code class="code">`Pd</code> : Punctuation, Dash </li> <li><code class="code">`Ps</code> : Punctuation, Open </li> <li><code class="code">`Pe</code> : Punctuation, Close </li> <li><code class="code">`Pi</code> : Punctuation, Initial</li> <li><code class="code">`Pf</code> : Punctuation, Final</li> <li><code class="code">`Po</code> : Punctuation, Other </li> <li><code class="code">`Sm</code> : Symbol, Math </li> <li><code class="code">`Sc</code> : Symbol, Currency </li> <li><code class="code">`Sk</code> : Symbol, Modifier </li> <li><code class="code">`So</code> : Symbol, Other</li> </ul> <br> </div> <pre><span class="keyword">val</span> <a name="VALgeneral_category"></a>general_category : <code class="type"><a href="UChar.html#TYPEt">UChar.t</a> -> <a href="UCharInfo.Type.html#TYPEgeneral_category_type">general_category_type</a></code></pre><pre><span class="keyword">val</span> <a name="VALload_general_category_map"></a>load_general_category_map : <code class="type">unit -> <a href="UCharInfo.Type.html#TYPEgeneral_category_type">general_category_type</a> <a href="UMap.html#TYPEt">UMap.t</a></code></pre><pre><span class="keyword">type</span> <a name="TYPEcharacter_property_type"></a><code class="type"></code>character_property_type = <code class="type">[ `Alphabetic<br> | `Ascii_Hex_Digit<br> | `Bidi_Control<br> | `Default_Ignorable_Code_Point<br> | `Deprecated<br> | `Diacritic<br> | `Extender<br> | `Grapheme_Base<br> | `Grapheme_Extend<br> | `Grapheme_Link<br> | `Hex_Digit<br> | `Hyphen<br> | `IDS_Binary_Operator<br> | `IDS_Trinary_Operator<br> | `ID_Continue<br> | `ID_Start<br> | `Ideographic<br> | `Logical_Order_Exception<br> | `Lowercase<br> | `Math<br> | `Noncharacter_Code_Point<br> | `Other_Alphabetic<br> | `Other_Grapheme_Extend<br> | `Other_Lowercase<br> | `Other_Math<br> | `Other_Uppercase<br> | `Other_default_Ignorable_Code_Point<br> | `Quotation_Mark<br> | `Radical<br> | `Soft_Dotted<br> | `Terminal_Punctuation<br> | `Unified_Ideograph<br> | `Uppercase<br> | `White_Space<br> | `XID_Continue<br> | `XID_Start ]</code> </pre> <div class="info"> Type of character properties<br> </div> <pre><span class="keyword">val</span> <a name="VALload_property_tbl"></a>load_property_tbl : <code class="type"><a href="UCharInfo.Type.html#TYPEcharacter_property_type">character_property_type</a> -> <a href="UCharTbl.Bool.html#TYPEt">UCharTbl.Bool.t</a></code></pre><div class="info"> Load the table for the given character type.<br> </div> <pre><span class="keyword">val</span> <a name="VALload_property_tbl_by_name"></a>load_property_tbl_by_name : <code class="type">string -> <a href="UCharTbl.Bool.html#TYPEt">UCharTbl.Bool.t</a></code></pre><div class="info"> Load the table for the given name of the character type. The name can be obtained by removing ` from its name of the polymorphic variant tag.<br> </div> <pre><span class="keyword">val</span> <a name="VALload_property_set"></a>load_property_set : <code class="type"><a href="UCharInfo.Type.html#TYPEcharacter_property_type">character_property_type</a> -> <a href="USet.html#TYPEt">USet.t</a></code></pre><div class="info"> Load the set of characters of the given character type.<br> </div> <pre><span class="keyword">val</span> <a name="VALload_property_set_by_name"></a>load_property_set_by_name : <code class="type">string -> <a href="USet.html#TYPEt">USet.t</a></code></pre><div class="info"> Load the set of characters of the given name of the character type. The name can be obtained by removing ` from its name of the polymorphic variant tag.<br> </div> <pre><span class="keyword">type</span> <a name="TYPEscript_type"></a><code class="type"></code>script_type = <code class="type">[ `Arabic<br> | `Armenian<br> | `Bengali<br> | `Bopomofo<br> | `Buhid<br> | `Canadian_Aboriginal<br> | `Cherokee<br> | `Common<br> | `Cyrillic<br> | `Deseret<br> | `Devanagari<br> | `Ethiopic<br> | `Georgian<br> | `Gothic<br> | `Greek<br> | `Gujarati<br> | `Gurmukhi<br> | `Han<br> | `Hangul<br> | `Hanunoo<br> | `Hebrew<br> | `Hiragana<br> | `Inherited<br> | `Kannada<br> | `Katakana<br> | `Khmer<br> | `Lao<br> | `Latin<br> | `Malayalam<br> | `Mongolian<br> | `Myanmar<br> | `Ogham<br> | `Old_Italic<br> | `Oriya<br> | `Runic<br> | `Sinhala<br> | `Syriac<br> | `Tagalog<br> | `Tagbanwa<br> | `Tamil<br> | `Telugu<br> | `Thaana<br> | `Thai<br> | `Tibetan<br> | `Yi ]</code> </pre> <div class="info"> Type for script type<br> </div> <pre><span class="keyword">val</span> <a name="VALscript"></a>script : <code class="type"><a href="UChar.html#TYPEt">UChar.t</a> -> <a href="UCharInfo.Type.html#TYPEscript_type">script_type</a></code></pre><pre><span class="keyword">val</span> <a name="VALload_script_map"></a>load_script_map : <code class="type">unit -> <a href="UCharInfo.Type.html#TYPEscript_type">script_type</a> <a href="UMap.html#TYPEt">UMap.t</a></code></pre><br> casing<br> <pre><span class="keyword">val</span> <a name="VALload_to_lower1_tbl"></a>load_to_lower1_tbl : <code class="type">unit -> <a href="UChar.html#TYPEt">UChar.t</a> <a href="UCharTbl.html#TYPEt">UCharTbl.t</a></code></pre><pre><span class="keyword">val</span> <a name="VALload_to_upper1_tbl"></a>load_to_upper1_tbl : <code class="type">unit -> <a href="UChar.html#TYPEt">UChar.t</a> <a href="UCharTbl.html#TYPEt">UCharTbl.t</a></code></pre><pre><span class="keyword">val</span> <a name="VALload_to_title1_tbl"></a>load_to_title1_tbl : <code class="type">unit -> <a href="UChar.html#TYPEt">UChar.t</a> <a href="UCharTbl.html#TYPEt">UCharTbl.t</a></code></pre><pre><span class="keyword">type</span> <a name="TYPEcasemap_condition"></a><code class="type"></code>casemap_condition = <code class="type">[ `AfterSoftDotted<br> | `BeforeDot<br> | `FinalSigma<br> | `Locale of string<br> | `MoreAbove<br> | `Not of <a href="UCharInfo.Type.html#TYPEcasemap_condition">casemap_condition</a> ]</code> </pre> <br><code><span class="keyword">type</span> <a name="TYPEspecial_casing_property"></a><code class="type"></code>special_casing_property = {</code><table class="typetable"> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>lower : <code class="type"><a href="UChar.html#TYPEt">UChar.t</a> list</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>title : <code class="type"><a href="UChar.html#TYPEt">UChar.t</a> list</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>upper : <code class="type"><a href="UChar.html#TYPEt">UChar.t</a> list</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>condition : <code class="type"><a href="UCharInfo.Type.html#TYPEcasemap_condition">casemap_condition</a> list</code>;</code></td> </tr></table> } <pre><span class="keyword">val</span> <a name="VALload_conditional_casing_tbl"></a>load_conditional_casing_tbl : <code class="type">unit -> <a href="UCharInfo.Type.html#TYPEspecial_casing_property">special_casing_property</a> list <a href="UCharTbl.html#TYPEt">UCharTbl.t</a></code></pre><pre><span class="keyword">val</span> <a name="VALload_casefolding_tbl"></a>load_casefolding_tbl : <code class="type">unit -> <a href="UChar.html#TYPEt">UChar.t</a> list <a href="UCharTbl.html#TYPEt">UCharTbl.t</a></code></pre><pre><span class="keyword">val</span> <a name="VALcombined_class"></a>combined_class : <code class="type"><a href="UChar.html#TYPEt">UChar.t</a> -> int</code></pre><div class="info"> Combined class A combined class is an integer of 0 -- 255, showing how this character interacts to other combined characters.<br> </div> <br> Decomposition<br> <pre><span class="keyword">type</span> <a name="TYPEdecomposition_type"></a><code class="type"></code>decomposition_type = <code class="type">[ `Canon<br> | `Circle<br> | `Compat<br> | `Final<br> | `Font<br> | `Fraction<br> | `Initial<br> | `Isolated<br> | `Medial<br> | `Narrow<br> | `NoBreak<br> | `Small<br> | `Square<br> | `Sub<br> | `Super<br> | `Vertical<br> | `Wide ]</code> </pre> <div class="info"> Types of decomposition.<br> </div> <pre><span class="keyword">type</span> <a name="TYPEdecomposition_info"></a><code class="type"></code>decomposition_info = <code class="type">[ `Canonform<br> | `Composite of <a href="UCharInfo.Type.html#TYPEdecomposition_type">decomposition_type</a> * <a href="UChar.html#TYPEt">UChar.t</a> list<br> | `HangulSyllable ]</code> </pre> <pre><span class="keyword">val</span> <a name="VALload_decomposition_tbl"></a>load_decomposition_tbl : <code class="type">unit -> <a href="UCharInfo.Type.html#TYPEdecomposition_info">decomposition_info</a> <a href="UCharTbl.html#TYPEt">UCharTbl.t</a></code></pre><br> Canonical Composition<br> <pre><span class="keyword">val</span> <a name="VALload_composition_tbl"></a>load_composition_tbl : <code class="type">unit -> (<a href="UChar.html#TYPEt">UChar.t</a> * <a href="UChar.html#TYPEt">UChar.t</a>) list <a href="UCharTbl.html#TYPEt">UCharTbl.t</a></code></pre><div class="info"> The return value <code class="code">[(u_1, u'_1); ... (u_n, u'_1)]</code> means for the given character <code class="code">u</code>, <code class="code">u u_i</code> forms the canonical composition <code class="code">u'_i</code>. If u is a Hangul jamo, composition returns [].<br> </div> <pre><span class="keyword">val</span> <a name="VALload_composition_exclusion_tbl"></a>load_composition_exclusion_tbl : <code class="type">unit -> <a href="UCharTbl.Bool.html#TYPEt">UCharTbl.Bool.t</a></code></pre><div class="info"> Whether the given composed character is used in NFC or NFKC<br> </div> </body></html>