Module GifSource

Sourcetype gif_extension =
  1. | GifComment of string list
  2. | GifGraphics of string list
  3. | GifPlaintext of string list
  4. | GifApplication of string list
  5. | GifOtherExt of int * string list

High level interfaces

Sourcetype gif_frame = {
  1. frame_left : int;
  2. frame_top : int;
  3. frame_bitmap : Index8.t;
  4. mutable frame_extensions : gif_extension list;
  5. frame_delay : int;
}
Sourcetype gif_sequence = {
  1. screen_width : int;
  2. screen_height : int;
  3. screen_colormap : Color.rgb Color.map;
  4. frames : gif_frame list;
  5. loops : int;
}
Sourceval check_header : string -> Images.header

Checks the file header

Sourceval load : string -> Images.load_option list -> gif_sequence

Loads a gif image sequence

Sourceval load_sequence : string -> Images.load_option list -> Images.sequence

Loads a gif image sequence, but to more general type

Sourceval load_first : string -> Images.load_option list -> Images.t

Loads the first frame of a gif image sequence.

Sourceval save : string -> Images.save_option list -> gif_sequence -> unit

Saves a gif image sequence

Sourceval save_image : string -> Images.save_option list -> Images.t -> unit

Saves an image as a gif file with only one frame

Sourcetype in_channel
Sourcetype out_channel
Sourcetype screen_info = {
  1. s_width : int;
  2. s_height : int;
  3. s_color_resolution : int;
  4. s_back_ground_color : int;
  5. s_colormap : Color.rgb array;
}
Sourcetype record_type =
  1. | Undefined
  2. | Screen_desc
  3. | Image_desc
  4. | Extension
  5. | Terminate
Sourcetype gif_desc = {
  1. desc_left : int;
  2. desc_top : int;
  3. desc_width : int;
  4. desc_height : int;
  5. desc_interlace : bool;
  6. desc_colormap : Color.rgb array;
}
Sourceval dGifOpenFileName : string -> screen_info * in_channel
Sourceval dGifCloseFile : in_channel -> unit
Sourceval dGifGetRecordType : in_channel -> record_type
Sourceval dGifGetImageDesc : in_channel -> gif_desc
Sourceval dGifGetLine : in_channel -> bytes
Sourceval dGifGetExtension : in_channel -> int * string list
Sourceval eGifOpenFileName : string -> out_channel
Sourceval eGifCloseFile : out_channel -> unit
Sourceval eGifPutScreenDesc : out_channel -> screen_info -> unit
Sourceval eGifPutImageDesc : out_channel -> gif_desc -> unit
Sourceval eGifPutLine : out_channel -> bytes -> unit
Sourceval eGifPutExtension : out_channel -> (int * string list) -> unit