Module Gif
module Gif: sig
.. end
High level interfaces
type
gif_extension =
| |
GifComment of string list |
| |
GifGraphics of string list |
| |
GifPlaintext of string list |
| |
GifApplication of string list |
| |
GifOtherExt of int * string list |
type
gif_frame = {
|
frame_left : int ; |
|
frame_top : int ; |
|
frame_bitmap : Index8.t ; |
|
mutable frame_extensions : gif_extension list ; |
|
frame_delay : int ; |
}
type
gif_sequence = {
}
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
in_channel
type
out_channel
type
screen_info = {
|
s_width : int ; |
|
s_height : int ; |
|
s_color_resolution : int ; |
|
s_back_ground_color : int ; |
|
s_colormap : Color.rgb array ; |
}
type
record_type =
| |
Undefined |
| |
Screen_desc |
| |
Image_desc |
| |
Extension |
| |
Terminate |
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 -> string
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 -> string -> unit
val eGifPutExtension : out_channel -> int * string list -> unit