Gif
type gif_extension =
| GifComment of string list |
| GifGraphics of string list |
| GifPlaintext of string list |
| GifApplication of string list |
| GifOtherExt of int * string list |
High level interfaces
type gif_frame = {
frame_left : int; |
frame_top : int; |
frame_bitmap : Index8.t; |
mutable frame_extensions : gif_extension list; |
frame_delay : int; |
}
val check_header : string -> Images.header
Checks the file header
val load : string -> Images.load_option list -> gif_sequence
Loads a gif image sequence
val load_sequence : string -> Images.load_option list -> Images.sequence
Loads a gif image sequence, but to more general type
val load_first : string -> Images.load_option list -> Images.t
Loads the first frame of a gif image sequence.
val save : string -> Images.save_option list -> gif_sequence -> unit
Saves a gif image sequence
val save_image : string -> Images.save_option list -> Images.t -> unit
Saves an image as a gif file with only one frame
type screen_info = {
s_width : int; |
s_height : int; |
s_color_resolution : int; |
s_back_ground_color : int; |
s_colormap : Color.rgb array; |
}
type gif_desc = {
desc_left : int; |
desc_top : int; |
desc_width : int; |
desc_height : int; |
desc_interlace : bool; |
desc_colormap : Color.rgb array; |
}
val dGifOpenFileName : string -> screen_info * in_channel
val dGifCloseFile : in_channel -> unit
val dGifGetRecordType : in_channel -> record_type
val dGifGetImageDesc : in_channel -> gif_desc
val dGifGetLine : in_channel -> bytes
val dGifGetExtension : in_channel -> int * string list
val eGifOpenFileName : string -> out_channel
val eGifCloseFile : out_channel -> unit
val eGifPutScreenDesc : out_channel -> screen_info -> unit
val eGifPutImageDesc : out_channel -> gif_desc -> unit
val eGifPutLine : out_channel -> bytes -> unit
val eGifPutExtension : out_channel -> (int * string list) -> unit