<!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="Genimage.html">
<link rel="next" href="Graphic_image.html">
<link rel="Up" 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 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="Bitmap" rel="Chapter" href="Bitmap.html">
<link title="Blend" rel="Chapter" href="Blend.html">
<link title="Bmp" rel="Chapter" href="Bmp.html">
<link title="Cmyk32" rel="Chapter" href="Cmyk32.html">
<link title="Color" rel="Chapter" href="Color.html">
<link title="Freetype" rel="Chapter" href="Freetype.html">
<link title="Ftlow" rel="Chapter" href="Ftlow.html">
<link title="Fttext" rel="Chapter" href="Fttext.html">
<link title="Genimage" rel="Chapter" href="Genimage.html">
<link title="Gif" rel="Chapter" href="Gif.html">
<link title="Graphic_image" rel="Chapter" href="Graphic_image.html">
<link title="Images" rel="Chapter" href="Images.html">
<link title="Index16" rel="Chapter" href="Index16.html">
<link title="Index8" rel="Chapter" href="Index8.html">
<link title="Info" rel="Chapter" href="Info.html">
<link title="Jis_unicode" rel="Chapter" href="Jis_unicode.html">
<link title="Jpeg" rel="Chapter" href="Jpeg.html">
<link title="Mstring" rel="Chapter" href="Mstring.html">
<link title="OColor" rel="Chapter" href="OColor.html">
<link title="OImage" rel="Chapter" href="OImage.html">
<link title="OImages" rel="Chapter" href="OImages.html">
<link title="OXimage2" rel="Chapter" href="OXimage2.html">
<link title="OXvthumb" rel="Chapter" href="OXvthumb.html">
<link title="Png" rel="Chapter" href="Png.html">
<link title="Ppm" rel="Chapter" href="Ppm.html">
<link title="Ps" rel="Chapter" href="Ps.html">
<link title="Reduce" rel="Chapter" href="Reduce.html">
<link title="Region" rel="Chapter" href="Region.html">
<link title="Rgb24" rel="Chapter" href="Rgb24.html">
<link title="Rgba32" rel="Chapter" href="Rgba32.html">
<link title="Tmpfile" rel="Chapter" href="Tmpfile.html">
<link title="Ximage2" rel="Chapter" href="Ximage2.html">
<link title="Xpm" rel="Chapter" href="Xpm.html">
<link title="Xvthumb" rel="Chapter" href="Xvthumb.html"><title>Gif</title>
</head>
<body>
<div class="navbar"><a href="Genimage.html">Previous</a>
<a href="index.html">Up</a>
<a href="Graphic_image.html">Next</a>
</div>
<center><h1>Module <a href="type_Gif.html">Gif</a></h1></center>
<br>
<pre><span class="keyword">module</span> Gif: <code class="code">sig</code> <a href="Gif.html">..</a> <code class="code">end</code></pre>High level interfaces<br>
<hr width="100%">
<br><code><span class="keyword">type</span> <a name="TYPEgif_extension"></a><code class="type"></code>gif_extension = </code><table class="typetable">
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">GifComment</span> <span class="keyword">of</span> <code class="type">string list</code></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">GifGraphics</span> <span class="keyword">of</span> <code class="type">string list</code></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">GifPlaintext</span> <span class="keyword">of</span> <code class="type">string list</code></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">GifApplication</span> <span class="keyword">of</span> <code class="type">string list</code></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">GifOtherExt</span> <span class="keyword">of</span> <code class="type">int * string list</code></code></td>
</tr></table>
<br><code><span class="keyword">type</span> <a name="TYPEgif_frame"></a><code class="type"></code>gif_frame = {</code><table class="typetable">
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>frame_left : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>frame_top : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>frame_bitmap : <code class="type"><a href="Index8.html#TYPEt">Index8.t</a></code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span class="keyword">mutable </span>frame_extensions : <code class="type"><a href="Gif.html#TYPEgif_extension">gif_extension</a> list</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>frame_delay : <code class="type">int</code>;</code></td>
</tr></table>
}
<br><code><span class="keyword">type</span> <a name="TYPEgif_sequence"></a><code class="type"></code>gif_sequence = {</code><table class="typetable">
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>screen_width : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>screen_height : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>screen_colormap : <code class="type"><a href="Color.html#TYPErgb">Color.rgb</a> <a href="Color.html#TYPEmap">Color.map</a></code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>frames : <code class="type"><a href="Gif.html#TYPEgif_frame">gif_frame</a> list</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>loops : <code class="type">int</code>;</code></td>
</tr></table>
}
<pre><span class="keyword">val</span> <a name="VALcheck_header"></a>check_header : <code class="type">string -> <a href="Images.html#TYPEheader">Images.header</a></code></pre><div class="info">
Checks the file header<br>
</div>
<pre><span class="keyword">val</span> <a name="VALload"></a>load : <code class="type">string -> <a href="Images.html#TYPEload_option">Images.load_option</a> list -> <a href="Gif.html#TYPEgif_sequence">gif_sequence</a></code></pre><div class="info">
Loads a gif image sequence<br>
</div>
<pre><span class="keyword">val</span> <a name="VALload_sequence"></a>load_sequence : <code class="type">string -> <a href="Images.html#TYPEload_option">Images.load_option</a> list -> <a href="Images.html#TYPEsequence">Images.sequence</a></code></pre><div class="info">
Loads a gif image sequence, but to more general type<br>
</div>
<pre><span class="keyword">val</span> <a name="VALload_first"></a>load_first : <code class="type">string -> <a href="Images.html#TYPEload_option">Images.load_option</a> list -> <a href="Images.html#TYPEt">Images.t</a></code></pre><div class="info">
Loads the first frame of a gif image sequence.<br>
</div>
<pre><span class="keyword">val</span> <a name="VALsave"></a>save : <code class="type">string -> <a href="Images.html#TYPEsave_option">Images.save_option</a> list -> <a href="Gif.html#TYPEgif_sequence">gif_sequence</a> -> unit</code></pre><div class="info">
Saves a gif image sequence<br>
</div>
<pre><span class="keyword">val</span> <a name="VALsave_image"></a>save_image : <code class="type">string -> <a href="Images.html#TYPEsave_option">Images.save_option</a> list -> <a href="Images.html#TYPEt">Images.t</a> -> unit</code></pre><div class="info">
Saves an image as a gif file with only one frame<br>
</div>
<pre><span class="keyword">type</span> <a name="TYPEin_channel"></a><code class="type"></code>in_channel </pre>
<pre><span class="keyword">type</span> <a name="TYPEout_channel"></a><code class="type"></code>out_channel </pre>
<br><code><span class="keyword">type</span> <a name="TYPEscreen_info"></a><code class="type"></code>screen_info = {</code><table class="typetable">
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>s_width : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>s_height : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>s_color_resolution : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>s_back_ground_color : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>s_colormap : <code class="type"><a href="Color.html#TYPErgb">Color.rgb</a> array</code>;</code></td>
</tr></table>
}
<br><code><span class="keyword">type</span> <a name="TYPErecord_type"></a><code class="type"></code>record_type = </code><table class="typetable">
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">Undefined</span></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">Screen_desc</span></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">Image_desc</span></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">Extension</span></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">Terminate</span></code></td>
</tr></table>
<br><code><span class="keyword">type</span> <a name="TYPEgif_desc"></a><code class="type"></code>gif_desc = {</code><table class="typetable">
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>desc_left : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>desc_top : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>desc_width : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>desc_height : <code class="type">int</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>desc_interlace : <code class="type">bool</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code>desc_colormap : <code class="type"><a href="Color.html#TYPErgb">Color.rgb</a> array</code>;</code></td>
</tr></table>
}
<pre><span class="keyword">val</span> <a name="VALdGifOpenFileName"></a>dGifOpenFileName : <code class="type">string -> <a href="Gif.html#TYPEscreen_info">screen_info</a> * <a href="Gif.html#TYPEin_channel">in_channel</a></code></pre><pre><span class="keyword">val</span> <a name="VALdGifCloseFile"></a>dGifCloseFile : <code class="type"><a href="Gif.html#TYPEin_channel">in_channel</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALdGifGetRecordType"></a>dGifGetRecordType : <code class="type"><a href="Gif.html#TYPEin_channel">in_channel</a> -> <a href="Gif.html#TYPErecord_type">record_type</a></code></pre><pre><span class="keyword">val</span> <a name="VALdGifGetImageDesc"></a>dGifGetImageDesc : <code class="type"><a href="Gif.html#TYPEin_channel">in_channel</a> -> <a href="Gif.html#TYPEgif_desc">gif_desc</a></code></pre><pre><span class="keyword">val</span> <a name="VALdGifGetLine"></a>dGifGetLine : <code class="type"><a href="Gif.html#TYPEin_channel">in_channel</a> -> string</code></pre><pre><span class="keyword">val</span> <a name="VALdGifGetExtension"></a>dGifGetExtension : <code class="type"><a href="Gif.html#TYPEin_channel">in_channel</a> -> int * string list</code></pre><pre><span class="keyword">val</span> <a name="VALeGifOpenFileName"></a>eGifOpenFileName : <code class="type">string -> <a href="Gif.html#TYPEout_channel">out_channel</a></code></pre><pre><span class="keyword">val</span> <a name="VALeGifCloseFile"></a>eGifCloseFile : <code class="type"><a href="Gif.html#TYPEout_channel">out_channel</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALeGifPutScreenDesc"></a>eGifPutScreenDesc : <code class="type"><a href="Gif.html#TYPEout_channel">out_channel</a> -> <a href="Gif.html#TYPEscreen_info">screen_info</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALeGifPutImageDesc"></a>eGifPutImageDesc : <code class="type"><a href="Gif.html#TYPEout_channel">out_channel</a> -> <a href="Gif.html#TYPEgif_desc">gif_desc</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALeGifPutLine"></a>eGifPutLine : <code class="type"><a href="Gif.html#TYPEout_channel">out_channel</a> -> string -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALeGifPutExtension"></a>eGifPutExtension : <code class="type"><a href="Gif.html#TYPEout_channel">out_channel</a> -> int * string list -> unit</code></pre></body></html>
