ImageGIF
include Image.ReadImage
include Image.ReadImageStreaming
include Image.ReadImage
val size : ImageUtil.chunk_reader -> int * int
val parsefile : ImageUtil.chunk_reader -> Image.image
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
.
include Image.WriteImage
val write : ImageUtil.chunk_writer -> Image.image -> unit