Module ImageGIF

include Image.ReadImage
include Image.ReadImageStreaming
include Image.ReadImage
val extensions : string list
val size : ImageUtil.chunk_reader -> int * int
type read_state
val 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
val write : ImageUtil.chunk_writer -> Image.image -> unit