<!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="Png.html">
<link rel="next" href="Ps.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>Ppm</title>
</head>
<body>
<div class="navbar"><a href="Png.html">Previous</a>
<a href="index.html">Up</a>
<a href="Ps.html">Next</a>
</div>
<center><h1>Module <a href="type_Ppm.html">Ppm</a></h1></center>
<br>
<pre><span class="keyword">module</span> Ppm: <code class="code">sig</code> <a href="Ppm.html">..</a> <code class="code">end</code></pre>Loading and saving images in portable format: PPM, PGM, and PBM.
<p>
PPM: portable pixmap (pixels (picture element) map).
This is represented as an RGB24.t image.
PGM: portable greymap (grey scale map).
This is represented as an Index8.t image.
PBM: portable bitmap (binary digit map).
This is represented as an Index8.t image.<br>
<hr width="100%">
<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="Images.html#TYPEt">Images.t</a></code></pre><div class="info">
<code class="code">Ppm.load filename</code> reads the image contained in the file <code class="code">filename</code>,
and returns an image.
Assumes that the image is stored in PPM (Portable Pixmap) or PGM
(Portable Greymap), or PBM (Portable Bitmap) formats.
PPM format is 24 bits per pixel, and both ASCII and raw encoding
are suppoorted.
PGM format is 8 bits per pixel, and both ASCII and raw encoding
are suppoorted.
PBM is 1 bit per pixel, and both ASCII and raw encoding
are suppoorted.<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="Images.html#TYPEt">Images.t</a> -> unit</code></pre><div class="info">
<code class="code">Ppm.save : filename img</code> stores image <code class="code">img</code>, on file <code class="code">filename</code>.
The image is saved as a portable pixmap, in raw encoding mode.<br>
</div>
<pre><span class="keyword">val</span> <a name="VALsave_bitmap"></a>save_bitmap : <code class="type">string -> <a href="Index8.html#TYPEt">Index8.t</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALload_bitmap"></a>load_bitmap : <code class="type">string -> <a href="Index8.html#TYPEt">Index8.t</a></code></pre><div class="info">
Same as above for portable bitmaps.<br>
</div>
<pre><span class="keyword">val</span> <a name="VALload_ppm"></a>load_ppm : <code class="type">string -> <a href="Rgb24.html#TYPEt">Rgb24.t</a></code></pre><pre><span class="keyword">val</span> <a name="VALsave_ppm"></a>save_ppm : <code class="type">string -> <a href="Rgb24.html#TYPEt">Rgb24.t</a> -> unit</code></pre><div class="info">
Specialized version for portable bitmaps.<br>
</div>
</body></html>
