<!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">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="Start" href="index.html">
<link rel="Up" href="UTF8.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 modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Base64" rel="Chapter" href="Base64.html">
<link title="BitSet" rel="Chapter" href="BitSet.html">
<link title="Dllist" rel="Chapter" href="Dllist.html">
<link title="DynArray" rel="Chapter" href="DynArray.html">
<link title="Enum" rel="Chapter" href="Enum.html">
<link title="ExtArray" rel="Chapter" href="ExtArray.html">
<link title="ExtBuffer" rel="Chapter" href="ExtBuffer.html">
<link title="ExtBytes" rel="Chapter" href="ExtBytes.html">
<link title="ExtHashtbl" rel="Chapter" href="ExtHashtbl.html">
<link title="ExtLib" rel="Chapter" href="ExtLib.html">
<link title="ExtList" rel="Chapter" href="ExtList.html">
<link title="ExtString" rel="Chapter" href="ExtString.html">
<link title="Global" rel="Chapter" href="Global.html">
<link title="IO" rel="Chapter" href="IO.html">
<link title="OptParse" rel="Chapter" href="OptParse.html">
<link title="Option" rel="Chapter" href="Option.html">
<link title="PMap" rel="Chapter" href="PMap.html">
<link title="RefList" rel="Chapter" href="RefList.html">
<link title="Std" rel="Chapter" href="Std.html">
<link title="UChar" rel="Chapter" href="UChar.html">
<link title="UTF8" rel="Chapter" href="UTF8.html">
<link title="Unzip" rel="Chapter" href="Unzip.html"><title>UTF8.Buf</title>
</head>
<body>
<div class="navbar"> <a class="up" href="UTF8.html" title="UTF8">Up</a>
</div>
<h1>Module <a href="type_UTF8.Buf.html">UTF8.Buf</a></h1>
<pre><span id="MODULEBuf"><span class="keyword">module</span> Buf</span>: <code class="code">sig</code> <a href="UTF8.Buf.html">..</a> <code class="code">end</code></pre><div class="info module top">
<div class="info-desc">
<p>Buffer module for UTF-8 strings</p>
</div>
</div>
<hr width="100%">
<pre><span id="TYPEbuf"><span class="keyword">type</span> <code class="type"></code>buf</span> </pre>
<div class="info ">
<div class="info-desc">
<p>Buffers for UTF-8 strings.</p>
</div>
</div>
<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type">int -> <a href="UTF8.Buf.html#TYPEbuf">buf</a></code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">create n</code> creates a buffer with the initial size <code class="code">n</code>-bytes.</p>
</div>
</div>
<pre><span id="VALcontents"><span class="keyword">val</span> contents</span> : <code class="type"><a href="UTF8.Buf.html#TYPEbuf">buf</a> -> <a href="UTF8.html#TYPEt">UTF8.t</a></code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">contents buf</code> returns the contents of the buffer.</p>
</div>
</div>
<pre><span id="VALclear"><span class="keyword">val</span> clear</span> : <code class="type"><a href="UTF8.Buf.html#TYPEbuf">buf</a> -> unit</code></pre><div class="info ">
<div class="info-desc">
<p>Empty the buffer,
but retains the internal storage which was holding the contents</p>
</div>
</div>
<pre><span id="VALreset"><span class="keyword">val</span> reset</span> : <code class="type"><a href="UTF8.Buf.html#TYPEbuf">buf</a> -> unit</code></pre><div class="info ">
<div class="info-desc">
<p>Empty the buffer and de-allocate the internal storage.</p>
</div>
</div>
<pre><span id="VALadd_char"><span class="keyword">val</span> add_char</span> : <code class="type"><a href="UTF8.Buf.html#TYPEbuf">buf</a> -> <a href="UChar.html#TYPEuchar">UChar.uchar</a> -> unit</code></pre><div class="info ">
<div class="info-desc">
<p>Add one Unicode character to the buffer.</p>
</div>
</div>
<pre><span id="VALadd_string"><span class="keyword">val</span> add_string</span> : <code class="type"><a href="UTF8.Buf.html#TYPEbuf">buf</a> -> <a href="UTF8.html#TYPEt">UTF8.t</a> -> unit</code></pre><div class="info ">
<div class="info-desc">
<p>Add the UTF-8 string to the buffer.</p>
</div>
</div>
<pre><span id="VALadd_buffer"><span class="keyword">val</span> add_buffer</span> : <code class="type"><a href="UTF8.Buf.html#TYPEbuf">buf</a> -> <a href="UTF8.Buf.html#TYPEbuf">buf</a> -> unit</code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">add_buffer b1 b2</code> adds the contents of <code class="code">b2</code> to <code class="code">b1</code>.
The contents of <code class="code">b2</code> is not changed.</p>
</div>
</div>
</body></html>
distrib
>
Mageia
>
7
>
armv7hl
>
media
>
core-release
>
by-pkgid
>
bbe04b8395a5a03f2446c6fb72b617f0
>
files
>
82
