Modules
We report here the current state of OCamIL libraries. Click on each module name to get details.
If this page does not behave properly with your browser, please follow this link.
 | Implemented. |
|---|---|
 | Not yet implemented. |
 | Compatibility with OCaml certified. |
 | Lacks or incompatibilities. |
| [] | Comments to read. |
Core library
Pervasives 92%
Exceptions
| raise exn -> 'a |
|
|---|---|
| invalid_arg string -> 'a |
|
| failwith string -> 'a |
|
Comparisons
| ( = ) 'a -> 'a -> bool |
|
|---|---|
| ( <> ) 'a -> 'a -> bool |
|
| ( < ) 'a -> 'a -> bool |
|
| ( > ) 'a -> 'a -> bool |
|
| ( <= ) 'a -> 'a -> bool |
|
| ( >= ) 'a -> 'a -> bool |
|
| compare 'a -> 'a -> int |
|
| min 'a -> 'a -> 'a |
|
| max 'a -> 'a -> 'a |
|
| ( == ) 'a -> 'a -> bool |
|
| ( != ) 'a -> 'a -> bool |
|
Boolean operations
| not bool -> bool |
|
|---|---|
| ( && ) bool -> bool -> bool |
|
| ( & ) bool -> bool -> bool |
|
| ( || ) bool -> bool -> bool |
|
| ( or ) bool -> bool -> bool |
|
Integer arithmetic
| ( ~- ) int -> int |
|
|---|---|
| succ int -> int |
|
| pred int -> int |
|
| ( + ) int -> int -> int |
|
| ( - ) int -> int -> int |
|
| ( * ) int -> int -> int |
|
| ( / ) int -> int -> int |
|
| ( mod ) int -> int -> int |
|
| abs int -> int |
|
| max_int int |
|
| min_int int |
|
Bitwise operations
| ( land ) int -> int -> int |
|
|---|---|
| ( lor ) int -> int -> int |
|
| ( lxor ) int -> int -> int |
|
| lnot int -> int |
|
| ( lsl ) int -> int -> int |
|
| ( lsr ) int -> int -> int |
|
| ( asr ) int -> int -> int |
|
Floating-point arithmetic
| ( ~-. ) float -> float |
|
|---|---|
| ( +. ) float -> float -> float |
|
| ( -. ) float -> float -> float |
|
| ( *. ) float -> float -> float |
|
| ( /. ) float -> float -> float |
|
| ( ** ) float -> float -> float |
|
| sqrt float -> float |
|
| exp float -> float |
|
| log float -> float |
|
| log10 float -> float |
|
| cos float -> float |
|
| sin float -> float |
|
| tan float -> float |
|
| acos float -> float |
|
| asin float -> float |
|
| atan float -> float |
|
| atan2 float -> float -> float |
|
| cosh float -> float |
|
|---|---|
| sinh float -> float |
|
| tanh float -> float |
|
| ceil float -> float |
|
| floor float -> float |
|
| abs_float float -> float |
|
| mod_float float -> float -> float |
|
| frexp float -> float * int |
|
| ldexp float -> int -> float |
|
| modf float -> float * float |
|
| float int -> float |
|
| float_of_int int -> float |
|
| truncate float -> int |
|
| int_of_float float -> int |
|
| infinity float |
|
| neg_infinity float |
|
| nan float |
|
| max_float float |
|
| min_float float |
|
| epsilon_float float |
|
| classify_float float -> fpclass |
|
String operations
| ( ^ ) string -> string -> string |
|
|---|
Character operations
| int_of_char char -> int |
|
|---|---|
| char_of_int int -> char |
|
Unit operations
| ignore 'a -> unit |
|
|---|
String conversion functions
| string_of_bool bool -> string |
|
|---|---|
| bool_of_string string -> bool |
|
| string_of_int int -> string |
|
| int_of_string string -> int |
|
| string_of_float float -> string |
|
| float_of_string string -> float |
|
Pair operations
| fst 'a * 'b -> 'a |
|
|---|---|
| snd 'a * 'b -> 'b |
|
List operations
| ( @ ) 'a list -> 'a list -> 'a list |
|
|---|
Input/output
| stdin in_channel |
|
|---|---|
| stdout out_channel |
|
| stderr out_channel |
|
Output functions on standard output
| print_char char -> unit |
|
|---|---|
| print_string string -> unit |
|
| print_int int -> unit |
|
| print_float float -> unit |
|
| print_endline string -> unit |
|
| print_newline unit -> unit |
|
Output functions on standard error
| prerr_char char -> unit |
|
|---|---|
| prerr_string string -> unit |
|
| prerr_int int -> unit |
|
| prerr_float float -> unit |
|
| prerr_endline string -> unit |
|
| prerr_newline unit -> unit |
|
Input functions on standard input
| read_line unit -> string |
|
|---|
| read_int unit -> int |
|
|---|---|
| read_float unit -> float |
|
General output functions
| open_out string -> out_channel |
|
|---|---|
| open_out_bin string -> out_channel |
|
| open_out_gen open_flag list -> int -> string -> out_channel |
|
| flush out_channel -> unit |
|
| flush_all unit -> unit |
|
| output_char out_channel -> char -> unit |
|
| output_string out_channel -> string -> unit |
|
| output out_channel -> string -> int -> int -> unit |
|
| output_byte out_channel -> int -> unit |
|
| output_binary_int out_channel -> int -> unit |
|
| output_value out_channel -> 'a -> unit |
|
| seek_out out_channel -> int -> unit |
|
| pos_out out_channel -> int |
|
| out_channel_length out_channel -> int |
|
| close_out out_channel -> unit |
|
| set_binary_mode_out out_channel -> bool -> unit |
|
General input functions
| open_in string -> in_channel |
|
|---|---|
| open_in_bin string -> in_channel |
|
| open_in_gen open_flag list -> int -> string -> in_channel |
|
| input_char in_channel -> char |
|
| input_line in_channel -> string |
|
| input in_channel -> string -> int -> int -> int |
|
| really_input in_channel -> string -> int -> int -> unit |
|
| input_byte in_channel -> int |
|
| input_binary_int in_channel -> int |
|
| input_value in_channel -> 'a |
|
| seek_in in_channel -> int -> unit |
|
| pos_in in_channel -> int |
|
| in_channel_length in_channel -> int |
|
| close_in in_channel -> unit |
|
| set_binary_mode_in in_channel -> bool -> unit |
|
Operations on large files
MODULE LargeFile | |
|---|---|
| seek_out out_channel -> int64 -> unit |
|
| pos_out out_channel -> int64 |
|
| out_channel_length out_channel -> int64 |
|
| seek_in in_channel -> int64 -> unit |
|
| pos_in in_channel -> int64 |
|
| in_channel_length in_channel -> int64 |
|
References
| ref 'a -> 'a ref |
|
|---|---|
| ( ! ) 'a ref -> 'a |
|
| ( := ) : 'a ref -> 'a -> unit |
|
| incr int ref -> unit |
|
| decr int ref -> unit |
|
Program termination
| exit int -> 'a |
|
|---|---|
| at_exit (unit -> unit) -> unit |
|
For system use only, not for the casual user
| unsafe_really_input in_channel -> string -> int -> int -> unit |
|
|---|---|
| do_at_exit unit -> unit |
|
Standard library
Arg
| parse |
|
|---|---|
| parse_argv string array -> |
|
Array
Sorting
| length 'a array -> int |
|
|---|---|
| get 'a array -> int -> 'a |
|
| set 'a array -> int -> 'a -> unit |
|
| make int -> 'a -> 'a array |
|
| create int -> 'a -> 'a array |
|
| init int -> (int -> 'a) -> 'a array |
|
| make_matrix int -> int -> 'a -> 'a array array |
|
| create_matrix int -> int -> 'a -> 'a array array |
|
| append 'a array -> 'a array -> 'a array |
|
| concat 'a array list -> 'a array |
|
| sub 'a array -> int -> int -> 'a array |
|
|---|---|
| copy 'a array -> 'a array |
|
| fill 'a array -> int -> int -> 'a -> unit |
|
| blit 'a array -> int -> 'a array -> int -> int -> unit |
|
| to_list 'a array -> 'a list |
|
| of_list 'a list -> 'a array |
|
| iter ('a -> unit) -> 'a array -> unit |
|
| map ('a -> 'b) -> 'a array -> 'b array |
|
| iteri (int -> 'a -> unit) -> 'a array -> unit |
|
| mapi (int -> 'a -> 'b) -> 'a array -> 'b array |
|
| fold_left ('a -> 'b -> 'a) -> 'a -> 'b array -> 'a |
|
|---|---|
| fold_right ('b -> 'a -> 'a) -> 'b array -> 'a -> 'a |
|
Undocumented functions
| sort ('a -> 'a -> int) -> 'a array -> unit |
|
|---|---|
| stable_sort ('a -> 'a -> int) -> 'a array -> unit |
|
| fast_sort ('a -> 'a -> int) -> 'a array -> unit |
|
| unsafe_get 'a array -> int -> 'a |
|
|---|---|
| unsafe_set 'a array -> int -> 'a -> unit |
|
ArrayLabels
Sorting
| length 'a array -> int |
|
|---|---|
| get 'a array -> int -> 'a |
|
| set 'a array -> int -> 'a -> unit |
|
| make int -> 'a -> 'a array |
|
| create int -> 'a -> 'a array |
|
| init int -> f:(int -> 'a) -> 'a array |
|
| make_matrix dimx:int -> dimy:int -> 'a -> 'a array array |
|
| create_matrix dimx:int -> dimy:int -> 'a -> 'a array array |
|
| append 'a array -> 'a array -> 'a array |
|
| concat 'a array list -> 'a array |
|
| sub 'a array -> pos:int -> len:int -> 'a array |
|
|---|---|
| copy 'a array -> 'a array |
|
| fill 'a array -> pos:int -> len:int -> 'a -> unit |
|
| blit |
|
| to_list 'a array -> 'a list |
|
| of_list 'a list -> 'a array |
|
| iter f:('a -> unit) -> 'a array -> unit |
|
| map f:('a -> 'b) -> 'a array -> 'b array |
|
| iteri f:(int -> 'a -> unit) -> 'a array -> unit |
|
| mapi f:(int -> 'a -> 'b) -> 'a array -> 'b array |
|
| fold_left f:('a -> 'b -> 'a) -> init:'a -> 'b array -> 'a |
|
|---|---|
| fold_right f:('b -> 'a -> 'a) -> 'b array -> init:'a -> 'a |
|
Undocumented functions
| sort cmp:('a -> 'a -> int) -> 'a array -> unit |
|
|---|---|
| stable_sort cmp:('a -> 'a -> int) -> 'a array -> unit |
|
| fast_sort cmp:('a -> 'a -> int) -> 'a array -> unit |
|
| unsafe_get 'a array -> int -> 'a |
|
|---|---|
| unsafe_set 'a array -> int -> 'a -> unit |
|
Buffer
| reset t -> unit |
|
|---|---|
| add_char t -> char -> unit |
|
| add_string t -> string -> unit |
|
| add_substring t -> string -> int -> int -> unit |
|
| add_buffer t -> t -> unit |
|
|---|---|
| add_channel t -> in_channel -> int -> unit |
|
| output_buffer out_channel -> t -> unit |
|
Callback
| register string -> 'a -> unit |
|
|---|
| register_exception string -> exn -> unit |
|
|---|
Char
| unsafe_chr int -> char |
|
|---|
Complex
| mul t -> t -> t |
|
|---|---|
| inv t -> t |
|
| div t -> t -> t |
|
| sqrt t -> t |
|
| norm2 t -> float |
|
| norm t -> float |
|
| arg t -> float |
|
Digest
| to_hex t -> string |
|
|---|
Filename
| current_dir_name string |
|
|---|---|
| parent_dir_name string |
|
| concat string -> string -> string |
|
| is_relative string -> bool |
|
| is_implicit string -> bool |
|
| check_suffix string -> string -> bool |
|
|---|---|
| chop_suffix string -> string -> string |
|
| chop_extension string -> string |
|
| basename string -> string |
|
| dirname string -> string |
|
| temp_file string -> string -> string |
|
|---|---|
| open_temp_file |
|
| quote string -> string |
|
Format
Boxes
| open_box int -> unit;; |
|
|---|---|
| close_box unit -> unit;; |
|
Formatting functions
| print_string string -> unit;; |
|
|---|---|
| print_as int -> string -> unit;; |
|
| print_int int -> unit;; |
|
| print_float float -> unit;; |
|
| print_char char -> unit;; |
|
| print_bool bool -> unit;; |
|
Break hints
| print_space unit -> unit;; |
|
|---|---|
| print_cut unit -> unit;; |
|
| print_break int -> int -> unit;; |
|
| print_flush unit -> unit;; |
|
| print_newline unit -> unit;; |
|
| force_newline unit -> unit;; |
|
| print_if_newline unit -> unit;; |
|
Margin
| set_margin int -> unit;; |
|
|---|---|
| get_margin unit -> int;; |
|
Maximum indentation limit
| set_max_indent int -> unit;; |
|
|---|---|
| get_max_indent unit -> int;; |
|
Formatting depth: maximum number of boxes allowed before ellipsis
| set_max_boxes int -> unit;; |
|
|---|---|
| get_max_boxes unit -> int;; |
|
| over_max_boxes unit -> bool;; |
|
Advanced formatting
| open_hbox unit -> unit;; |
|
|---|---|
| open_vbox int -> unit;; |
|
| open_hvbox int -> unit;; |
|
| open_hovbox int -> unit;; |
|
Tabulations
| open_tbox unit -> unit;; |
|
|---|---|
| close_tbox unit -> unit;; |
|
| print_tbreak int -> int -> unit;; |
|
| set_tab unit -> unit;; |
|
| print_tab unit -> unit;; |
|
Ellipsis
| set_ellipsis_text string -> unit;; |
|
|---|---|
| get_ellipsis_text unit -> string;; |
|
Tags
| open_tag tag -> unit;; |
|
|---|
| close_tag unit -> unit;; |
|
|---|---|
| set_tags bool -> unit;; |
|
| set_print_tags bool -> unit;; |
|
| set_mark_tags bool -> unit;; |
|
| get_print_tags unit -> bool;; |
|
| get_mark_tags unit -> bool;; |
|
Redirecting formatter output
| set_formatter_out_channel out_channel -> unit;; |
|
|---|---|
| set_formatter_output_functions |
|
| get_formatter_output_functions |
|
Changing the meaning of printing tags
| set_formatter_tag_functions |
|
|---|---|
| get_formatter_tag_functions |
|
Changing the meaning of pretty printing (indentation, line breaking, and printing material)
| set_all_formatter_output_functions |
|
|---|---|
| get_all_formatter_output_functions |
|
Multiple formatted output
| formatter_of_out_channel out_channel -> formatter;; |
|
|---|---|
| std_formatter formatter;; |
|
| err_formatter formatter;; |
|
| formatter_of_buffer Buffer.t -> formatter;; |
|
| stdbuf Buffer.t;; |
|
| str_formatter formatter;; |
|
| flush_str_formatter unit -> string;; |
|
| make_formatter |
|
Basic functions to use with formatters
| pp_open_hbox formatter -> unit -> unit;; |
|
|---|---|
| pp_open_vbox formatter -> int -> unit;; |
|
| pp_open_hvbox formatter -> int -> unit;; |
|
| pp_open_hovbox formatter -> int -> unit;; |
|
| pp_open_box formatter -> int -> unit;; |
|
| pp_close_box formatter -> unit -> unit;; |
|
| pp_open_tag formatter -> string -> unit;; |
|
| pp_close_tag formatter -> unit -> unit;; |
|
| pp_print_string formatter -> string -> unit;; |
|
| pp_print_as formatter -> int -> string -> unit;; |
|
| pp_print_int formatter -> int -> unit;; |
|
| pp_print_float formatter -> float -> unit;; |
|
| pp_print_char formatter -> char -> unit;; |
|
| pp_print_bool formatter -> bool -> unit;; |
|
| pp_print_break formatter -> int -> int -> unit;; |
|
| pp_print_cut formatter -> unit -> unit;; |
|
| pp_print_space formatter -> unit -> unit;; |
|
| pp_force_newline formatter -> unit -> unit;; |
|
|---|---|
| pp_print_flush formatter -> unit -> unit;; |
|
| pp_print_newline formatter -> unit -> unit;; |
|
| pp_print_if_newline formatter -> unit -> unit;; |
|
| pp_open_tbox formatter -> unit -> unit;; |
|
| pp_close_tbox formatter -> unit -> unit;; |
|
| pp_print_tbreak formatter -> int -> int -> unit;; |
|
| pp_set_tab formatter -> unit -> unit;; |
|
| pp_print_tab formatter -> unit -> unit;; |
|
| pp_set_tags formatter -> bool -> unit;; |
|
| pp_set_print_tags formatter -> bool -> unit;; |
|
| pp_set_mark_tags formatter -> bool -> unit;; |
|
| pp_get_print_tags formatter -> unit -> bool;; |
|
| pp_get_mark_tags formatter -> unit -> bool;; |
|
| pp_set_margin formatter -> int -> unit;; |
|
| pp_get_margin formatter -> unit -> int;; |
|
| pp_set_max_indent formatter -> int -> unit;; |
|
| pp_get_max_indent formatter -> unit -> int;; |
|
| pp_set_max_boxes formatter -> int -> unit;; |
|
| pp_get_max_boxes formatter -> unit -> int;; |
|
| pp_over_max_boxes formatter -> unit -> bool;; |
|
| pp_set_ellipsis_text formatter -> string -> unit;; |
|
| pp_get_ellipsis_text formatter -> unit -> string;; |
|
| pp_set_formatter_out_channel formatter -> out_channel -> unit;; |
|
| pp_set_formatter_output_functions |
|
| pp_get_formatter_output_functions |
|
| pp_set_all_formatter_output_functions |
|
| pp_get_all_formatter_output_functions |
|
| pp_set_formatter_tag_functions |
|
| pp_get_formatter_tag_functions |
|
[printf] like functions for pretty-printing.
| fprintf formatter -> ('a, formatter, unit) format -> 'a;; |
|
|---|---|
| printf ('a, formatter, unit) format -> 'a;; |
|
| eprintf ('a, formatter, unit) format -> 'a;; |
|
| sprintf ('a, unit, string) format -> 'a;; |
|
| bprintf Buffer.t -> ('a, formatter, unit) format -> 'a;; |
|
| kprintf (string -> string) -> ('a, unit, string) format -> 'a;; |
|
Gc 7%
| stat unit -> stat |
|
|---|---|
| counters unit -> float * float * float |
|
| get unit -> control |
|
| set control -> unit |
|
| minor unit -> unit |
|
| major_slice int -> int |
|
|---|---|
| major unit -> unit |
|
| full_major unit -> unit |
|
| compact unit -> unit |
|
| print_stat out_channel -> unit |
|
| allocated_bytes unit -> float |
|
|---|---|
| finalise ('a -> unit) -> 'a -> unit |
|
| create_alarm (unit -> unit) -> alarm |
|
| delete_alarm alarm -> unit |
|
Genlex
| make_lexer string list -> char Stream.t -> token Stream.t |
|
|---|
Hashtbl
Generic interface
| create int -> ('a, 'b) t |
|
|---|---|
| clear ('a, 'b) t -> unit |
|
| add ('a, 'b) t -> 'a -> 'b -> unit |
|
| copy ('a, 'b) t -> ('a, 'b) t |
|
| find ('a, 'b) t -> 'a -> 'b |
|
| find_all ('a, 'b) t -> 'a -> 'b list |
|
| mem ('a, 'b) t -> 'a -> bool |
|
| remove ('a, 'b) t -> 'a -> unit |
|
| replace ('a, 'b) t -> 'a -> 'b -> unit |
|
| iter ('a -> 'b -> unit) -> ('a, 'b) t -> unit |
|
| fold ('a -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c |
|
Functorial interface
MODTYPE HashedType | |
|---|---|
| equal t -> t -> bool |
|
| hash t -> int |
|
MODTYPE S | |
| create int -> 'a t |
|
| clear 'a t -> unit |
|
| copy 'a t -> 'a t |
|
| add 'a t -> key -> 'a -> unit |
|
| remove 'a t -> key -> unit |
|
| find 'a t -> key -> 'a |
|
| find_all 'a t -> key -> 'a list |
|
| replace 'a t -> key -> 'a -> unit |
|
|---|---|
| mem 'a t -> key -> bool |
|
| iter (key -> 'a -> unit) -> 'a t -> unit |
|
| fold (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b |
|
FUNCTOR Make |
|
The polymorphic hash primitive
| hash 'a -> int |
|
|---|---|
| hash_param int -> int -> 'a -> int |
|
Int32
| zero int32 |
|
|---|---|
| one int32 |
|
| minus_one int32 |
|
| neg int32 -> int32 |
|
| add int32 -> int32 -> int32 |
|
| sub int32 -> int32 -> int32 |
|
| mul int32 -> int32 -> int32 |
|
| div int32 -> int32 -> int32 |
|
| rem int32 -> int32 -> int32 |
|
| succ int32 -> int32 |
|
| pred int32 -> int32 |
|
|---|---|
| abs int32 -> int32 |
|
| max_int int32 |
|
| min_int int32 |
|
| logand int32 -> int32 -> int32 |
|
| logor int32 -> int32 -> int32 |
|
| logxor int32 -> int32 -> int32 |
|
| lognot int32 -> int32 |
|
| shift_left int32 -> int -> int32 |
|
| shift_right int32 -> int -> int32 |
|
| shift_right_logical int32 -> int -> int32 |
|
|---|---|
| of_int int -> int32 |
|
| to_int int32 -> int |
|
| of_float float -> int32 |
|
| to_float int32 -> float |
|
| of_string string -> int32 |
|
| to_string int32 -> string |
|
| format string -> int32 -> string |
|
| compare t -> t -> int |
|
Int64
| zero int64 |
|
|---|---|
| one int64 |
|
| minus_one int64 |
|
| neg int64 -> int64 |
|
| add int64 -> int64 -> int64 |
|
| sub int64 -> int64 -> int64 |
|
| mul int64 -> int64 -> int64 |
|
| div int64 -> int64 -> int64 |
|
| rem int64 -> int64 -> int64 |
|
| succ int64 -> int64 |
|
| pred int64 -> int64 |
|
| abs int64 -> int64 |
|
| max_int int64 |
|
|---|---|
| min_int int64 |
|
| logand int64 -> int64 -> int64 |
|
| logor int64 -> int64 -> int64 |
|
| logxor int64 -> int64 -> int64 |
|
| lognot int64 -> int64 |
|
| shift_left int64 -> int -> int64 |
|
| shift_right int64 -> int -> int64 |
|
| shift_right_logical int64 -> int -> int64 |
|
| of_int int -> int64 |
|
| to_int int64 -> int |
|
| of_float float -> int64 |
|
| to_float int64 -> float |
|
|---|---|
| of_int32 int32 -> int64 |
|
| to_int32 int64 -> int32 |
|
| of_nativeint nativeint -> int64 |
|
| to_nativeint int64 -> nativeint |
|
| of_string string -> int64 |
|
| to_string int64 -> string |
|
| format string -> int64 -> string |
|
| bits_of_float float -> int64 |
|
| float_of_bits int64 -> float |
|
| compare t -> t -> int |
|
Lazy
| lazy_from_fun (unit -> 'a) -> 'a t;; |
|
|---|---|
| lazy_from_val 'a -> 'a t;; |
|
| lazy_is_val 'a t -> bool;; |
|
|---|
Lexing
Lexer buffers
| from_channel in_channel -> lexbuf |
|
|---|---|
| from_string string -> lexbuf |
|
| from_function (string -> int -> int) -> lexbuf |
|
Functions for lexer semantic actions
| lexeme lexbuf -> string |
|
|---|
| lexeme_char lexbuf -> int -> char |
|
|---|---|
| lexeme_start lexbuf -> int |
|
| lexeme_end lexbuf -> int |
|
| engine lex_tables -> int -> lexbuf -> int |
|
|---|
List
Iterators
| length 'a list -> int |
|
|---|---|
| hd 'a list -> 'a |
|
| tl 'a list -> 'a list |
|
| nth 'a list -> int -> 'a |
|
| rev 'a list -> 'a list |
|
| append 'a list -> 'a list -> 'a list |
|
| rev_append 'a list -> 'a list -> 'a list |
|
| concat 'a list list -> 'a list |
|
| flatten 'a list list -> 'a list |
|
Iterators on two lists
| iter ('a -> unit) -> 'a list -> unit |
|
|---|---|
| map ('a -> 'b) -> 'a list -> 'b list |
|
| rev_map ('a -> 'b) -> 'a list -> 'b list |
|
| fold_left ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a |
|
| fold_right ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b |
|
List scanning
| iter2 ('a -> 'b -> unit) -> 'a list -> 'b list -> unit |
|
|---|
| map2 ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list |
|
|---|---|
| rev_map2 ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list |
|
| fold_left2 ('a -> 'b -> 'c -> 'a) -> 'a -> 'b list -> 'c list -> 'a |
|
| fold_right2 ('a -> 'b -> 'c -> 'c) -> 'a list -> 'b list -> 'c -> 'c |
|
List searching
| for_all ('a -> bool) -> 'a list -> bool |
|
|---|---|
| exists ('a -> bool) -> 'a list -> bool |
|
| for_all2 ('a -> 'b -> bool) -> 'a list -> 'b list -> bool |
|
| exists2 ('a -> 'b -> bool) -> 'a list -> 'b list -> bool |
|
| mem 'a -> 'a list -> bool |
|
| memq 'a -> 'a list -> bool |
|
Association lists
| find ('a -> bool) -> 'a list -> 'a |
|
|---|---|
| filter ('a -> bool) -> 'a list -> 'a list |
|
| find_all ('a -> bool) -> 'a list -> 'a list |
|
| partition ('a -> bool) -> 'a list -> 'a list * 'a list |
|
Lists of pairs
| assoc 'a -> ('a * 'b) list -> 'b |
|
|---|
| assq 'a -> ('a * 'b) list -> 'b |
|
|---|---|
| mem_assoc 'a -> ('a * 'b) list -> bool |
|
| mem_assq 'a -> ('a * 'b) list -> bool |
|
| remove_assoc 'a -> ('a * 'b) list -> ('a * 'b) list |
|
| remove_assq 'a -> ('a * 'b) list -> ('a * 'b) list |
|
Sorting
| split ('a * 'b) list -> 'a list * 'b list |
|
|---|---|
| combine 'a list -> 'b list -> ('a * 'b) list |
|
| sort ('a -> 'a -> int) -> 'a list -> 'a list |
|
|---|---|
| stable_sort ('a -> 'a -> int) -> 'a list -> 'a list |
|
| fast_sort ('a -> 'a -> int) -> 'a list -> 'a list |
|
| merge ('a -> 'a -> int) -> 'a list -> 'a list -> 'a list |
|
ListLabels
Iterators
| length 'a list -> int |
|
|---|---|
| hd 'a list -> 'a |
|
| tl 'a list -> 'a list |
|
| nth 'a list -> int -> 'a |
|
| rev 'a list -> 'a list |
|
| append 'a list -> 'a list -> 'a list |
|
| rev_append 'a list -> 'a list -> 'a list |
|
| concat 'a list list -> 'a list |
|
| flatten 'a list list -> 'a list |
|
Iterators on two lists
| iter f:('a -> unit) -> 'a list -> unit |
|
|---|---|
| map f:('a -> 'b) -> 'a list -> 'b list |
|
| rev_map f:('a -> 'b) -> 'a list -> 'b list |
|
| fold_left f:('a -> 'b -> 'a) -> init:'a -> 'b list -> 'a |
|
| fold_right f:('a -> 'b -> 'b) -> 'a list -> init:'b -> 'b |
|
List scanning
| iter2 f:('a -> 'b -> unit) -> 'a list -> 'b list -> unit |
|
|---|
| map2 f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list |
|
|---|---|
| rev_map2 f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list |
|
| fold_left2 |
|
| fold_right2 |
|
List searching
| for_all f:('a -> bool) -> 'a list -> bool |
|
|---|---|
| exists f:('a -> bool) -> 'a list -> bool |
|
| for_all2 f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool |
|
| exists2 f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool |
|
| mem 'a -> set:'a list -> bool |
|
| memq 'a -> set:'a list -> bool |
|
Association lists
| find f:('a -> bool) -> 'a list -> 'a |
|
|---|---|
| filter f:('a -> bool) -> 'a list -> 'a list |
|
| find_all f:('a -> bool) -> 'a list -> 'a list |
|
| partition f:('a -> bool) -> 'a list -> 'a list * 'a list |
|
Lists of pairs
| assoc 'a -> ('a * 'b) list -> 'b |
|
|---|
| assq 'a -> ('a * 'b) list -> 'b |
|
|---|---|
| mem_assoc 'a -> map:('a * 'b) list -> bool |
|
| mem_assq 'a -> map:('a * 'b) list -> bool |
|
| remove_assoc 'a -> ('a * 'b) list -> ('a * 'b) list |
|
| remove_assq 'a -> ('a * 'b) list -> ('a * 'b) list |
|
Sorting
| split ('a * 'b) list -> 'a list * 'b list |
|
|---|---|
| combine 'a list -> 'b list -> ('a * 'b) list |
|
| sort cmp:('a -> 'a -> int) -> 'a list -> 'a list |
|
|---|---|
| stable_sort cmp:('a -> 'a -> int) -> 'a list -> 'a list |
|
| fast_sort cmp:('a -> 'a -> int) -> 'a list -> 'a list |
|
| merge cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list |
|
Map
| find key -> 'a t -> 'a |
|
|---|---|
| remove key -> 'a t -> 'a t |
|
| mem key -> 'a t -> bool |
|
| iter (key -> 'a -> unit) -> 'a t -> unit |
|
| map ('a -> 'b) -> 'a t -> 'b t |
|
| mapi (key -> 'a -> 'b) -> 'a t -> 'b t |
|
|---|---|
| fold (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b |
|
FUNCTOR Make |
|
Marshal
| to_channel out_channel -> 'a -> extern_flags list -> unit |
|
|---|---|
| to_string |
|
| to_buffer string -> int -> int -> 'a -> extern_flags list -> int |
|
| from_channel in_channel -> 'a |
|
|---|---|
| from_string string -> int -> 'a |
|
| header_size int |
|
| data_size string -> int -> int |
|
|---|---|
| total_size string -> int -> int |
|
MoreLabels
MODULE Hashtbl | |
|---|---|
| create int -> ('a, 'b) t |
|
| clear ('a, 'b) t -> unit |
|
| add ('a, 'b) t -> key:'a -> data:'b -> unit |
|
| copy ('a, 'b) t -> ('a, 'b) t |
|
| find ('a, 'b) t -> 'a -> 'b |
|
| find_all ('a, 'b) t -> 'a -> 'b list |
|
| mem ('a, 'b) t -> 'a -> bool |
|
| remove ('a, 'b) t -> 'a -> unit |
|
| replace ('a, 'b) t -> key:'a -> data:'b -> unit |
|
| iter f:(key:'a -> data:'b -> unit) -> ('a, 'b) t -> unit |
|
| fold |
|
MODTYPE HashedType | |
MODTYPE S | |
| create int -> 'a t |
|
| clear 'a t -> unit |
|
| copy 'a t -> 'a t |
|
| add 'a t -> key:key -> data:'a -> unit |
|
| remove 'a t -> key -> unit |
|
| find 'a t -> key -> 'a |
|
| find_all 'a t -> key -> 'a list |
|
| replace 'a t -> key:key -> data:'a -> unit |
|
| mem 'a t -> key -> bool |
|
| iter f:(key:key -> data:'a -> unit) -> 'a t -> unit |
|
|---|---|
| fold |
|
MODULE Make | |
| hash 'a -> int |
|
| hash_param int -> int -> 'a -> int |
|
MODULE Map | |
MODTYPE OrderedType | |
MODTYPE S | |
| empty 'a t |
|
| add key:key -> data:'a -> 'a t -> 'a t |
|
| find key -> 'a t -> 'a |
|
| remove key -> 'a t -> 'a t |
|
| mem key -> 'a t -> bool |
|
| iter f:(key:key -> data:'a -> unit) -> 'a t -> unit |
|
| map f:('a -> 'b) -> 'a t -> 'b t |
|
| mapi f:(key -> 'a -> 'b) -> 'a t -> 'b t |
|
| fold |
|
MODULE Make | |
MODULE Set | |
MODTYPE OrderedType | |
MODTYPE S | |
| empty t |
|
| is_empty t -> bool |
|
| mem elt -> t -> bool |
|
|---|---|
| add elt -> t -> t |
|
| singleton elt -> t |
|
| remove elt -> t -> t |
|
| union t -> t -> t |
|
| inter t -> t -> t |
|
| diff t -> t -> t |
|
| compare t -> t -> int |
|
| equal t -> t -> bool |
|
| subset t -> t -> bool |
|
| iter f:(elt -> unit) -> t -> unit |
|
| fold f:(elt -> 'a -> 'a) -> t -> init:'a -> 'a |
|
| for_all f:(elt -> bool) -> t -> bool |
|
| exists f:(elt -> bool) -> t -> bool |
|
| filter f:(elt -> bool) -> t -> t |
|
| partition f:(elt -> bool) -> t -> t * t |
|
| cardinal t -> int |
|
| elements t -> elt list |
|
| min_elt t -> elt |
|
| max_elt t -> elt |
|
| choose t -> elt |
|
MODULE Make |
Nativeint
| zero nativeint |
|
|---|---|
| one nativeint |
|
| minus_one nativeint |
|
| neg nativeint -> nativeint |
|
| add nativeint -> nativeint -> nativeint |
|
| sub nativeint -> nativeint -> nativeint |
|
| mul nativeint -> nativeint -> nativeint |
|
| div nativeint -> nativeint -> nativeint |
|
| rem nativeint -> nativeint -> nativeint |
|
| succ nativeint -> nativeint |
|
| pred nativeint -> nativeint |
|
| abs nativeint -> nativeint |
|
|---|---|
| size int |
|
| max_int nativeint |
|
| min_int nativeint |
|
| logand nativeint -> nativeint -> nativeint |
|
| logor nativeint -> nativeint -> nativeint |
|
| logxor nativeint -> nativeint -> nativeint |
|
| lognot nativeint -> nativeint |
|
| shift_left nativeint -> int -> nativeint |
|
| shift_right nativeint -> int -> nativeint |
|
| shift_right_logical |
|
| of_int int -> nativeint |
|
|---|---|
| to_int nativeint -> int |
|
| of_float float -> nativeint |
|
| to_float nativeint -> float |
|
| of_int32 int32 -> nativeint |
|
| to_int32 nativeint -> int32 |
|
| of_string string -> nativeint |
|
| to_string nativeint -> string |
|
| format string -> nativeint -> string |
|
| compare t -> t -> int |
|
Oo
| new_method string -> CamlinternalOO.label |
|
|---|---|
| public_method_label string -> CamlinternalOO.label |
|
Parsing
| symbol_start unit -> int |
|
|---|---|
| symbol_end unit -> int |
|
| rhs_start int -> int |
|
| rhs_end int -> int |
|
| clear_parser unit -> unit |
|
|---|
| yyparse |
|
|---|---|
| peek_val parser_env -> int -> 'a |
|
| is_current_lookahead 'a -> bool |
|
| parse_error string -> unit |
|
|---|
Printexc
| catch ('a -> 'b) -> 'a -> 'b |
|
|---|
Printf
| fprintf out_channel -> ('a, out_channel, unit) format -> 'a |
|
|---|---|
| printf ('a, out_channel, unit) format -> 'a |
|
| eprintf ('a, out_channel, unit) format -> 'a |
|
| sprintf ('a, unit, string) format -> 'a |
|
|---|---|
| bprintf Buffer.t -> ('a, Buffer.t, unit) format -> 'a |
|
| kprintf (string -> string) -> ('a, unit, string) format -> 'a |
|
Queue
| length 'a t -> int |
|
|---|---|
| iter ('a -> unit) -> 'a t -> unit |
|
| fold ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b |
|
| transfer 'a t -> 'a t -> unit |
|
Random
| set_state state -> unit |
|
|---|
Scanf
MODULE Scanning | |
|---|---|
| from_string string -> scanbuf;; |
|
| from_channel in_channel -> scanbuf;; |
|
| from_function (unit -> char) -> scanbuf;; |
|
| bscanf |
|
|---|---|
| fscanf in_channel -> ('a, Scanning.scanbuf, 'b) format -> 'a -> 'b;; |
|
| sscanf string -> ('a, Scanning.scanbuf, 'b) format -> 'a -> 'b;; |
|
| scanf ('a, Scanning.scanbuf, 'b) format -> 'a -> 'b;; |
|
Set
MODTYPE OrderedType | |
|---|---|
| compare t -> t -> int |
|
MODTYPE S | |
| empty t |
|
| is_empty t -> bool |
|
| mem elt -> t -> bool |
|
| add elt -> t -> t |
|
| singleton elt -> t |
|
| remove elt -> t -> t |
|
| union t -> t -> t |
|
| inter t -> t -> t |
|
|---|---|
| diff t -> t -> t |
|
| compare t -> t -> int |
|
| equal t -> t -> bool |
|
| subset t -> t -> bool |
|
| iter (elt -> unit) -> t -> unit |
|
| fold (elt -> 'a -> 'a) -> t -> 'a -> 'a |
|
| for_all (elt -> bool) -> t -> bool |
|
| exists (elt -> bool) -> t -> bool |
|
| filter (elt -> bool) -> t -> t |
|
| partition (elt -> bool) -> t -> t * t |
|
|---|---|
| cardinal t -> int |
|
| elements t -> elt list |
|
| min_elt t -> elt |
|
| max_elt t -> elt |
|
| choose t -> elt |
|
FUNCTOR Make |
|
Sort
| merge ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list |
|
|---|
Stack
| iter ('a -> unit) -> 'a t -> unit |
|
|---|
StdLabels
MODULE Array | |
|---|---|
| length 'a array -> int |
|
| get 'a array -> int -> 'a |
|
| set 'a array -> int -> 'a -> unit |
|
| make int -> 'a -> 'a array |
|
| create int -> 'a -> 'a array |
|
| init int -> f:(int -> 'a) -> 'a array |
|
| make_matrix dimx:int -> dimy:int -> 'a -> 'a array array |
|
| create_matrix dimx:int -> dimy:int -> 'a -> 'a array array |
|
| append 'a array -> 'a array -> 'a array |
|
| concat 'a array list -> 'a array |
|
| sub 'a array -> pos:int -> len:int -> 'a array |
|
| copy 'a array -> 'a array |
|
| fill 'a array -> pos:int -> len:int -> 'a -> unit |
|
| blit |
|
| to_list 'a array -> 'a list |
|
| of_list 'a list -> 'a array |
|
| iter f:('a -> unit) -> 'a array -> unit |
|
| map f:('a -> 'b) -> 'a array -> 'b array |
|
| iteri f:(int -> 'a -> unit) -> 'a array -> unit |
|
| mapi f:(int -> 'a -> 'b) -> 'a array -> 'b array |
|
| fold_left f:('a -> 'b -> 'a) -> init:'a -> 'b array -> 'a |
|
| fold_right f:('a -> 'b -> 'b) -> 'a array -> init:'b -> 'b |
|
| sort cmp:('a -> 'a -> int) -> 'a array -> unit |
|
| stable_sort cmp:('a -> 'a -> int) -> 'a array -> unit |
|
| unsafe_get 'a array -> int -> 'a |
|
| unsafe_set 'a array -> int -> 'a -> unit |
|
MODULE List | |
| length 'a list -> int |
|
| hd 'a list -> 'a |
|
| tl 'a list -> 'a list |
|
| nth 'a list -> int -> 'a |
|
| rev 'a list -> 'a list |
|
|---|---|
| append 'a list -> 'a list -> 'a list |
|
| rev_append 'a list -> 'a list -> 'a list |
|
| concat 'a list list -> 'a list |
|
| flatten 'a list list -> 'a list |
|
| iter f:('a -> unit) -> 'a list -> unit |
|
| map f:('a -> 'b) -> 'a list -> 'b list |
|
| rev_map f:('a -> 'b) -> 'a list -> 'b list |
|
| fold_left f:('a -> 'b -> 'a) -> init:'a -> 'b list -> 'a |
|
| fold_right f:('a -> 'b -> 'b) -> 'a list -> init:'b -> 'b |
|
| iter2 f:('a -> 'b -> unit) -> 'a list -> 'b list -> unit |
|
| map2 f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list |
|
| rev_map2 f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list |
|
| fold_left2 |
|
| fold_right2 |
|
| for_all f:('a -> bool) -> 'a list -> bool |
|
| exists f:('a -> bool) -> 'a list -> bool |
|
| for_all2 f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool |
|
| exists2 f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool |
|
| mem 'a -> set:'a list -> bool |
|
| memq 'a -> set:'a list -> bool |
|
| find f:('a -> bool) -> 'a list -> 'a |
|
| filter f:('a -> bool) -> 'a list -> 'a list |
|
| find_all f:('a -> bool) -> 'a list -> 'a list |
|
| partition f:('a -> bool) -> 'a list -> 'a list * 'a list |
|
| assoc 'a -> ('a * 'b) list -> 'b |
|
| assq 'a -> ('a * 'b) list -> 'b |
|
| mem_assoc 'a -> map:('a * 'b) list -> bool |
|
| mem_assq 'a -> map:('a * 'b) list -> bool |
|
| remove_assoc 'a -> ('a * 'b) list -> ('a * 'b) list |
|
| remove_assq 'a -> ('a * 'b) list -> ('a * 'b) list |
|
| split ('a * 'b) list -> 'a list * 'b list |
|
| combine 'a list -> 'b list -> ('a * 'b) list |
|
|---|---|
| sort cmp:('a -> 'a -> int) -> 'a list -> 'a list |
|
| stable_sort cmp:('a -> 'a -> int) -> 'a list -> 'a list |
|
MODULE String | |
| length string -> int |
|
| get string -> int -> char |
|
| set string -> int -> char -> unit |
|
| create int -> string |
|
| make int -> char -> string |
|
| copy string -> string |
|
| sub string -> pos:int -> len:int -> string |
|
| fill string -> pos:int -> len:int -> char -> unit |
|
| blit |
|
| concat sep:string -> string list -> string |
|
| iter f:(char -> unit) -> string -> unit |
|
| escaped string -> string |
|
| index string -> char -> int |
|
| rindex string -> char -> int |
|
| index_from string -> int -> char -> int |
|
| rindex_from string -> int -> char -> int |
|
| contains string -> char -> bool |
|
| contains_from string -> int -> char -> bool |
|
| rcontains_from string -> int -> char -> bool |
|
| uppercase string -> string |
|
| lowercase string -> string |
|
| capitalize string -> string |
|
| uncapitalize string -> string |
|
| unsafe_get string -> int -> char |
|
| unsafe_set string -> int -> char -> unit |
|
| unsafe_blit |
|
| unsafe_fill |
|
Stream
Stream builders
| from (int -> 'a option) -> 'a t |
|
|---|---|
| of_list 'a list -> 'a t |
|
| of_string string -> char t |
|
| of_channel in_channel -> char t |
|
Stream iterator
| iter ('a -> unit) -> 'a t -> unit |
|
|---|
Predefined parsers
| next 'a t -> 'a |
|
|---|---|
| empty 'a t -> unit |
|
Useful functions
| peek 'a t -> 'a option |
|
|---|---|
| junk 'a t -> unit |
|
| count 'a t -> int |
|
| npeek int -> 'a t -> 'a list |
|
For system use only, not for the casual user
| iapp 'a t -> 'a t -> 'a t |
|
|---|---|
| icons 'a -> 'a t -> 'a t |
|
| ising 'a -> 'a t |
|
| lapp (unit -> 'a t) -> 'a t -> 'a t |
|
| lcons (unit -> 'a) -> 'a t -> 'a t |
|
|---|---|
| lsing (unit -> 'a) -> 'a t |
|
| sempty 'a t |
|
| slazy (unit -> 'a t) -> 'a t |
|
| dump ('a -> unit) -> 'a t -> unit |
|
String
| length string -> int |
|
|---|---|
| get string -> int -> char |
|
| set string -> int -> char -> unit |
|
| create int -> string |
|
| make int -> char -> string |
|
| copy string -> string |
|
| sub string -> int -> int -> string |
|
| fill string -> int -> int -> char -> unit |
|
| blit string -> int -> string -> int -> int -> unit |
|
| concat string -> string list -> string |
|
| iter (char -> unit) -> string -> unit |
|
|---|---|
| escaped string -> string |
|
| index string -> char -> int |
|
| rindex string -> char -> int |
|
| index_from string -> int -> char -> int |
|
| rindex_from string -> int -> char -> int |
|
| contains string -> char -> bool |
|
| contains_from string -> int -> char -> bool |
|
| rcontains_from string -> int -> char -> bool |
|
| uppercase string -> string |
|
| lowercase string -> string |
|
|---|---|
| capitalize string -> string |
|
| uncapitalize string -> string |
|
| compare t -> t -> int |
|
| unsafe_get string -> int -> char |
|
| unsafe_set string -> int -> char -> unit |
|
| unsafe_blit |
|
| unsafe_fill |
|
StringLabels
| length string -> int |
|
|---|---|
| get string -> int -> char |
|
| set string -> int -> char -> unit |
|
| create int -> string |
|
| make int -> char -> string |
|
| copy string -> string |
|
| sub string -> pos:int -> len:int -> string |
|
| fill string -> pos:int -> len:int -> char -> unit |
|
| blit |
|
| concat sep:string -> string list -> string |
|
| iter f:(char -> unit) -> string -> unit |
|
|---|---|
| escaped string -> string |
|
| index string -> char -> int |
|
| rindex string -> char -> int |
|
| index_from string -> int -> char -> int |
|
| rindex_from string -> int -> char -> int |
|
| contains string -> char -> bool |
|
| contains_from string -> int -> char -> bool |
|
| rcontains_from string -> int -> char -> bool |
|
| uppercase string -> string |
|
| lowercase string -> string |
|
|---|---|
| capitalize string -> string |
|
| uncapitalize string -> string |
|
| unsafe_get string -> int -> char |
|
| unsafe_set string -> int -> char -> unit |
|
| unsafe_blit |
|
| unsafe_fill |
|
Sys 92%
Signal handling
| argv string array |
|
|---|---|
| executable_name string |
|
| file_exists string -> bool |
|
| remove string -> unit |
|
| rename string -> string -> unit |
|
| getenv string -> string |
|
| command string -> int |
|
| time unit -> float |
|
| chdir string -> unit |
|
| getcwd unit -> string |
|
| interactive bool ref |
|
| os_type string |
|
| word_size int |
|
| max_string_length int |
|
| max_array_length int |
|
Signal numbers for the standard POSIX signals.
| signal |
|
|---|---|
| set_signal int -> signal_behavior -> unit |
|
| sigabrt int |
|
|---|---|
| sigalrm int |
|
| sigfpe int |
|
| sighup int |
|
| sigill int |
|
| sigint int |
|
| sigkill int |
|
| sigpipe int |
|
| sigquit int |
|
| sigsegv int |
|
| sigterm int |
|
| sigusr1 int |
|
| sigusr2 int |
|
|---|---|
| sigchld int |
|
| sigcont int |
|
| sigstop int |
|
| sigtstp int |
|
| sigttin int |
|
| sigttou int |
|
| sigvtalrm int |
|
| sigprof int |
|
| catch_break bool -> unit |
|
| ocaml_version string;; |
|
Weak
Low-level functions
| create int -> 'a t |
|
|---|---|
| length 'a t -> int |
|
| set 'a t -> int -> 'a option -> unit |
|
| get 'a t -> int -> 'a option |
|
| get_copy 'a t -> int -> 'a option |
|
| check 'a t -> int -> bool |
|
| fill 'a t -> int -> int -> 'a option -> unit |
|
| blit 'a t -> int -> 'a t -> int -> int -> unit |
|
Weak hash tables
MODTYPE S | |
|---|---|
| create int -> t |
|
| clear t -> unit |
|
| merge t -> data -> data |
|
| add t -> data -> unit |
|
| remove t -> data -> unit |
|
| find t -> data -> data |
|
| find_all t -> data -> data list |
|
| mem t -> data -> bool |
|
|---|---|
| iter (data -> unit) -> t -> unit |
|
| fold (data -> 'a -> 'a) -> t -> 'a -> 'a |
|
| count t -> int |
|
| stats t -> int * int * int * int * int * int |
|
Graphics library
Graphics 92%
Initializations
| open_graph string -> unit |
|
|---|---|
| close_graph unit -> unit |
|
| set_window_title string -> unit |
|
| clear_graph unit -> unit |
|
| size_x unit -> int |
|
| size_y unit -> int |
|
Colors
| rgb int -> int -> int -> color |
|
|---|---|
| set_color color -> unit |
|
| background color |
|
| foreground color |
|
Some predefined colors
| black color |
|
|---|---|
| white color |
|
| red color |
|
| green color |
|
| blue color |
|
| yellow color |
|
| cyan color |
|
| magenta color |
|
Point and line drawing
| plot int -> int -> unit |
|
|---|---|
| plots (int * int) array -> unit |
|
| point_color int -> int -> color |
|
| moveto int -> int -> unit |
|
| rmoveto int -> int -> unit |
|
|---|---|
| current_x unit -> int |
|
| current_y unit -> int |
|
| current_point unit -> int * int |
|
| lineto int -> int -> unit |
|
| rlineto int -> int -> unit |
|
| curveto int * int -> int * int -> int * int -> unit |
|
| draw_rect int -> int -> int -> int -> unit |
|
| draw_poly_line (int * int) array -> unit |
|
| draw_poly (int * int) array -> unit |
|
| draw_segments (int * int * int * int) array -> unit |
|
| draw_arc |
|
| draw_ellipse int -> int -> int -> int -> unit |
|
| draw_circle int -> int -> int -> unit |
|
| set_line_width int -> unit |
|
Text drawing
| draw_char char -> unit |
|
|---|---|
| draw_string string -> unit |
|
| set_font string -> unit |
|
| set_text_size int -> unit |
|
| text_size string -> int * int |
|
Filling
| fill_rect int -> int -> int -> int -> unit |
|
|---|---|
| fill_poly (int * int) array -> unit |
|
| fill_arc |
|
| fill_ellipse int -> int -> int -> int -> unit |
|
| fill_circle int -> int -> int -> unit |
|
|---|
Images
| transp color |
|
|---|---|
| make_image color array array -> image |
|
| dump_image image -> color array array |
|
| draw_image image -> int -> int -> unit |
|
| get_image int -> int -> int -> int -> image |
|
| create_image int -> int -> image |
|
| blit_image image -> int -> int -> unit |
|
Mouse and keyboard events
| wait_next_event event list -> status |
|
|---|
Mouse and keyboard polling
| mouse_pos unit -> int * int |
|
|---|---|
| button_down unit -> bool |
|
| read_key unit -> char |
|
| key_pressed unit -> bool |
|
Sound
| sound int -> int -> unit |
|
|---|
Double buffering
| auto_synchronize bool -> unit |
|
|---|---|
| synchronize unit -> unit |
|
| display_mode bool -> unit |
|
| remember_mode bool -> unit |
|
Threads library
Thread 50%
Thread creation and termination
| create ('a -> 'b) -> 'a -> t |
|
|---|---|
| self unit -> t |
|
| id t -> int |
|
| exit unit -> unit |
|
| kill t -> unit |
|
Suspending threads
| delay float -> unit |
|
|---|
| join t -> unit |
|
|---|---|
| wait_read Unix.file_descr -> unit |
|
| wait_write Unix.file_descr -> unit |
|
| wait_timed_read Unix.file_descr -> float -> bool |
|
| wait_timed_write Unix.file_descr -> float -> bool |
|
| select |
|
| wait_pid int -> int * Unix.process_status |
|
| wait_signal int list -> int |
|
|---|---|
| yield unit -> unit |
|
Synchronization primitives
| critical_section bool ref |
|
|---|---|
| sleep unit -> unit |
|
| wakeup t -> unit |
|
Condition
Event
| new_channel unit -> 'a channel |
|
|---|---|
| send 'a channel -> 'a -> unit event |
|
| receive 'a channel -> 'a event |
|
| always 'a -> 'a event |
|
| choose 'a event list -> 'a event |
|
|---|---|
| wrap 'a event -> ('a -> 'b) -> 'b event |
|
| wrap_abort 'a event -> (unit -> unit) -> 'a event |
|
| guard (unit -> 'a event) -> 'a event |
|
Mutex
ThreadUnix
Process handling
| execv string -> string array -> unit |
|
|---|---|
| execve string -> string array -> string array -> unit |
|
| execvp string -> string array -> unit |
|
| wait unit -> int * Unix.process_status |
|
| waitpid Unix.wait_flag list -> int -> int * Unix.process_status |
|
| system string -> Unix.process_status |
|
Basic input/output
| read Unix.file_descr -> string -> int -> int -> int |
|
|---|---|
| write Unix.file_descr -> string -> int -> int -> int |
|
Input/output with timeout
| timed_read Unix.file_descr -> string -> int -> int -> float -> int |
|
|---|---|
| timed_write Unix.file_descr -> string -> int -> int -> float -> int |
|
Polling
| select |
|
|---|
Pipes and redirections
| pipe unit -> Unix.file_descr * Unix.file_descr |
|
|---|---|
| open_process_in string -> in_channel |
|
| open_process_out string -> out_channel |
|
| open_process string -> in_channel * out_channel |
|
| open_process_full |
|
Time
| sleep int -> unit |
|
|---|
Sockets
| socket Unix.socket_domain -> Unix.socket_type -> int -> Unix.file_descr |
|
|---|---|
| socketpair |
|
| accept Unix.file_descr -> Unix.file_descr * Unix.sockaddr |
|
|---|---|
| connect Unix.file_descr -> Unix.sockaddr -> unit |
|
| recv |
|
| recvfrom |
|
| send |
|
| sendto |
|
| open_connection Unix.sockaddr -> in_channel * out_channel |
|
| establish_server |
|
Dynlink library
Dynlink 66%
| init unit -> unit | | []Does nothing, for compatibility only |
|---|---|---|
| loadfile string -> unit |
| |
| loadfile_private string -> unit |
| |
| add_interfaces string list -> string list -> unit |
|
| add_available_units (string * Digest.t) list -> unit |
|
|---|---|
| clear_available_units unit -> unit |
|
| allow_unsafe_modules bool -> unit |
|
| error_message error -> string |
|
| digest_interface string -> string list -> Digest.t |
|
|---|