-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Support for image reading and writing of Repa arrays
--   
--   The repa-image library adds support for reading and writing images in
--   many formats based on the DevIL open source image library. Image data
--   is represented in Haskell as typed, multi-dimensional repa arrays.
--   
--   Developer's Image Library (DevIL) is a library to develop applications
--   with very powerful image loading capabilities, yet with a relatively
--   simple interface. DevIL can load, save, convert, manipulate, filter
--   and display a wide variety of image formats, including:
--   
--   <ul>
--   <li>BMP, ICO, JPG, PNG, PNM, TGA, TIF, GIF, EXIF and many more.</li>
--   </ul>
--   
--   <i>References:</i>
--   
--   <ul>
--   <li><a>http://hackage.haskell.org/package/repa</a></li>
--   <li><a>http://openil.sourceforge.net/</a></li>
--   
--   <li><a>http://www.haskell.org/haskellwiki/Numeric_Haskell:_A_Repa_Tutorial</a></li>
--   </ul>
@package repa-devil
@version 0.1


-- | Read and write images in many formats, representing them in Haskell as
--   a 3-dimensional <i>repa</i> array. Image parsing and decoding is done
--   by the <i>Developers Image Library</i>, DevIL.
--   
--   <ul>
--   <li>Many formats are supported, including .png, .bmp, .jpg, .tif</li>
--   <li>Image format parsing is determined by the filepath extension
--   type.</li>
--   </ul>
--   
--   Example: read a .png file into a 3D repa array, and write it out as a
--   .jpg
--   
--   <pre>
--   main = runIL $
--            x &lt;- readImage "/tmp/y.png" 
--            writeImage "/tmp/x.jpg" x
--   </pre>
--   
--   Note that as DevIL is stateful, we ensure the library is initialized
--   by running image manipulation functions in the <i>IL</i> monad, a
--   wrapper over IO that ensures the library has been initialized. It is a
--   type error to call image functions outside of the <i>IL</i> monad.
module Data.Array.Repa.IO.DevIL

-- | Running code in the <i>IL</i> monad. This is a simple wrapper over
--   <i>IO</i> that guarantees the DevIL library has been initialized
--   before you run functions on it.
runIL :: IL a -> IO a

-- | The IL monad. Provides statically-guaranteed access to an initialized
--   IL context.
data IL a

-- | Reads an image into an RGBA array. Indices are
--   (row,column,color-channel).
--   
--   Example:
--   
--   <pre>
--   main = do
--      x &lt;- runIL $ readImage "/tmp/x.png"
--      .. operations on x ..
--   </pre>
--   
--   <i>Note:</i> The image input type is determined by the filename
--   extension.
readImage :: FilePath -> IL (Array DIM3 Word8)

-- | Writes an RGBA array to a file. Indices are the row, column, and
--   color-channel.
--   
--   <i>Note:</i> The image output type is determined by the filename
--   extension.
writeImage :: FilePath -> Array DIM3 Word8 -> IL ()
instance Monad IL
instance MonadIO IL