<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 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="Text" rel="Chapter" href="Text.html"> <link title="Encoding" rel="Chapter" href="Encoding.html"><title>Encoding</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> t = string<br> <span class="keyword">val</span> equal : <span class="constructor">Encoding</span>.t <span class="keywordsign">-></span> <span class="constructor">Encoding</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> system : <span class="constructor">Encoding</span>.t<br> <span class="keyword">type</span> code_point = int<br> <span class="keyword">val</span> recode_string : src:<span class="constructor">Encoding</span>.t <span class="keywordsign">-></span> dst:<span class="constructor">Encoding</span>.t <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br> <span class="keyword">type</span> decoder<br> <span class="keyword">val</span> decoder : <span class="constructor">Encoding</span>.t <span class="keywordsign">-></span> <span class="constructor">Encoding</span>.decoder<br> <span class="keyword">type</span> decoding_result =<br> <span class="constructor">Dec_ok</span> <span class="keyword">of</span> <span class="constructor">Encoding</span>.code_point * int<br> <span class="keywordsign">|</span> <span class="constructor">Dec_need_more</span><br> <span class="keywordsign">|</span> <span class="constructor">Dec_error</span><br> <span class="keyword">val</span> decode :<br> <span class="constructor">Encoding</span>.decoder <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Encoding</span>.decoding_result<br> <span class="keyword">type</span> encoder<br> <span class="keyword">val</span> encoder : <span class="constructor">Encoding</span>.t <span class="keywordsign">-></span> <span class="constructor">Encoding</span>.encoder<br> <span class="keyword">type</span> encoding_result = <span class="constructor">Enc_ok</span> <span class="keyword">of</span> int <span class="keywordsign">|</span> <span class="constructor">Enc_need_more</span> <span class="keywordsign">|</span> <span class="constructor">Enc_error</span><br> <span class="keyword">val</span> encode :<br> <span class="constructor">Encoding</span>.encoder <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Encoding</span>.code_point <span class="keywordsign">-></span> <span class="constructor">Encoding</span>.encoding_result<br> <span class="keyword">end</span></code></body></html>