package imagelib

  1. Overview
  2. Docs
Library implementing parsing of image formats such as PNG, BMP, PPM

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (5)

Authors

  1. R
    Rodolphe Lepigre <rodolphe.lepigre@inria.fr>

Maintainers

  1. R
    rodolphe.lepigre@inria.fr

Sources

imagelib-20221222.tbz
sha256=050d935711a5a5cead7a6b5e2bce13297a71d0cb47652ca42ff4e328df7118fd
sha512=28dae756945adb1c6a348d5c3e61840af7efb8df16c56bdf09ee4c69231774f169384f822359999ab315cc11634392dc4811ba932479aa1fdb78d25100b6733d

doc/imagelib/ImageGIF/index.html

Module ImageGIFSource

include Image.ReadImage
include Image.ReadImageStreaming
include Image.ReadImage
Sourceval extensions : string list
Sourceval size : ImageUtil.chunk_reader -> int * int
Sourcetype read_state
Sourceval read_streaming : ImageUtil.chunk_reader -> read_state option -> Image.image option * int * read_state option

read_streaming io state is an image frame, its suggested display time (in hundredths of a second; for animations), and optionally the state required to read the next frame.

The first invocation should pass state = None to initialize a new reading context.

If the resulting read_state option is None, there are no more image frames available in io. If it is Some st, st must be passed to the next invocation of read_streaming.

  • raises TODO

    when io ends prematurely.

include Image.WriteImage