diff options
Diffstat (limited to 'perl_checker.src/common.mli')
| -rw-r--r-- | perl_checker.src/common.mli | 276 |
1 files changed, 0 insertions, 276 deletions
diff --git a/perl_checker.src/common.mli b/perl_checker.src/common.mli deleted file mode 100644 index 86a13cd..0000000 --- a/perl_checker.src/common.mli +++ /dev/null @@ -1,276 +0,0 @@ -exception Found -exception Not_comparable -exception GraphSort_circular_deps -type ('a, 'b) either = Left of 'a | Right of 'b -type ('a, 'b) or_option = Or_some of 'a | Or_error of 'b -val internal_error : string -> 'a -val id : 'a -> 'a -val double : 'a -> 'a * 'a -val swap : 'a * 'b -> 'b * 'a -val safe_tl : 'a list -> 'a list -val fstfst : ('a * 'b) * 'c -> 'a -val sndfst : ('a * 'b) * 'c -> 'b -val fstsnd : 'a * ('b * 'c) -> 'b -val sndsnd : 'a * ('b * 'c) -> 'c -val fst3 : 'a * 'b * 'c -> 'a -val snd3 : 'a * 'b * 'c -> 'b -val ter3 : 'a * 'b * 'c -> 'c -val sndter3 : 'a * 'b * 'c -> 'b * 'c -val o : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b -val curry : ('a * 'b -> 'c) -> 'a -> 'b -> 'c -val uncurry : ('a -> 'b -> 'c) -> 'a * 'b -> 'c -val uncons : 'a list -> 'a * 'a list -val has_env : string -> bool -val some : 'a option -> 'a -val some_or : 'a option -> 'a -> 'a -val option2l : 'a option -> 'a list -val prefer_some : ('a -> 'a -> 'a) -> 'a option -> 'a option -> 'a option -val collect_accu : ('a -> 'b list) -> 'b list -> 'a list -> 'b list -val collect : ('a -> 'b list) -> 'a list -> 'b list -val merge_some : ('a -> 'a -> 'a) -> 'a option -> 'a option -> 'a option -val uniq : 'a list -> 'a list -val uniq_ : ('a -> 'a -> bool) -> 'a list -> 'a list -val non_uniq : 'a list -> 'a list -val member_ : ('a -> 'b -> bool) -> 'a -> 'b list -> bool -val find_some : ('a -> 'b option) -> 'a list -> 'b -val fold_left1 : ('a -> 'a -> 'a) -> 'a list -> 'a -val find_index : 'a -> 'a list -> int -val find_some_ : ('a -> 'b option) -> 'a list -> 'b option -val fpartition : ('a -> 'b option) -> 'a list -> 'b list * 'a list -val partition_either : - ('a -> ('b, 'c) either) -> 'a list -> 'b list * 'c list -val keep_best : ('a * 'a -> 'a option) -> 'a list -> 'a list -val keep_bests : ('a * 'a -> 'a option) -> 'a list -> 'a list -val fold_right1 : ('a -> 'a -> 'a) -> 'a list -> 'a -val for_all2_ : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool -val for_all2_true : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool -val maxl : 'a list -> 'a -val stack2list : 'a Stack.t -> 'a list -val stack_exists : ('a -> bool) -> 'a Stack.t -> bool -val queue2list : 'a Queue.t -> 'a list -val fix_point : ('a -> 'a) -> 'a -> 'a -val fix_point_withenv : ('a -> 'b -> 'b * 'a) -> 'a -> 'b -> 'b * 'a -val fix_point_ : int -> ('a -> 'a) -> 'a -> 'a * int -val group_by_2 : 'a list -> ('a * 'a) list -val fluid_let : 'a ref -> 'a -> (unit -> 'b) -> 'b -val do0_withenv : - (('a -> unit) -> 'b -> 'c) -> ('d -> 'a -> 'd) -> 'd -> 'b -> 'd -val do0_withenv2 : - (('a -> 'b -> unit) -> 'c -> 'd) -> - ('e -> 'a -> 'b -> 'e) -> 'e -> 'c -> 'e -val do_withenv : - (('a -> 'b) -> 'c -> 'd) -> ('e -> 'a -> 'b * 'e) -> 'e -> 'c -> 'd * 'e -val do2_withenv : - (('a -> 'b -> 'c) -> 'd -> 'e -> 'f) -> - ('g -> 'a -> 'b -> 'c * 'g) -> 'g -> 'd -> 'e -> 'f * 'g -val do_collect : - (('a -> 'b -> unit) -> 'c -> 'd) -> ('a -> 'b -> 'e list) -> 'c -> 'e list -val map_withitself : ('a list -> 'a -> 'a) -> 'a list -> 'a list -val map_t2 : ('a -> 'b) -> 'a * 'a -> 'b * 'b -val map_t3 : ('a -> 'b) -> 'a * 'a * 'a -> 'b * 'b * 'b -val map_option : ('a -> 'b) -> 'a option -> 'b option -val map_optionoption : ('a -> 'b option) -> 'a option -> 'b option -val t2_option2option_t2 : 'a option * 'b option -> ('a * 'b) option -val l_option2option_l : 'a option list -> 'a list option -val map_option_env : ('a -> 'b) -> 'a option * 'c -> 'b option * 'c -val t2_to_list : 'a * 'a -> 'a list -val t3_to_list : 'a * 'a * 'a -> 'a list -val if_some : bool -> 'a -> 'a option -val fold_left_option : ('a -> 'b -> 'a option) -> 'a -> 'b list -> 'a option -val collect_some_withenv : - ('a -> 'b -> 'c option * 'a) -> 'a -> 'b list -> 'c list * 'a -val for_all_option_withenv : - ('a list -> 'b) -> - ('c -> 'd -> 'a option * 'c) -> 'c -> 'd list -> 'b option * 'c -val for_all2_option_withenv : - ('a list -> 'b) -> - ('c -> 'd -> 'e -> 'a option * 'c) -> - 'c -> 'd list -> 'e list -> 'b option * 'c -val map_or_option : ('a -> 'b) -> ('a, 'c) or_option -> ('b, 'c) or_option -val map_index : ('a -> int -> 'b) -> 'a list -> 'b list -val filter_index : ('a -> int -> bool) -> 'a list -> 'a list -val iter_index : ('a -> int -> 'b) -> 'a list -> unit -val map_fst : ('a -> 'b) -> 'a * 'c -> 'b * 'c -val map_snd : ('a -> 'b) -> 'c * 'a -> 'c * 'b -val map_withenv : ('a -> 'b -> 'c * 'a) -> 'a -> 'b list -> 'c list * 'a -val find_withenv : ('a -> 'b -> bool * 'a) -> 'a -> 'b list -> 'b * 'a -val filter_withenv : ('a -> 'b -> bool * 'a) -> 'a -> 'b list -> 'b list * 'a -val exists_withenv : ('a -> 'b -> bool * 'a) -> 'a -> 'b list -> bool * 'a -val map_t2_withenv : ('a -> 'b -> 'c * 'a) -> 'a -> 'b * 'b -> ('c * 'c) * 'a -val for_all_withenv : ('a -> 'b -> bool * 'a) -> 'a -> 'b list -> bool * 'a -val collect_withenv : - ('a -> 'b -> 'c list * 'a) -> 'a -> 'b list -> 'c list * 'a -val partition_either_withenv : - ('a -> 'b -> ('c, 'd) either * 'a) -> - 'a -> 'b list -> ('c list * 'd list) * 'a -val map2_withenv : - ('a -> 'b -> 'c -> 'd * 'a) -> 'a -> 'b list -> 'c list -> 'd list * 'a -val for_all2_withenv : - ('a -> 'b -> 'c -> bool * 'a) -> 'a -> 'b list -> 'c list -> bool * 'a -val take : int -> 'a list -> 'a list -val last_n : int -> 'a list -> 'a list -val last : 'a list -> 'a -val skipfirst : 'a -> 'a list -> 'a list -val removelast : 'a list -> 'a list -val split_last : 'a list -> 'a list * 'a -val iter_assoc_val : ('a -> unit) -> ('b * 'a) list -> unit -val map_assoc_val : ('a -> 'b) -> ('c * 'a) list -> ('c * 'b) list -val assoc_or_fail : 'a -> ('a * 'b) list -> 'b -val assoc_by : ('a -> 'b -> bool) -> 'a -> ('b * 'c) list -> 'c -val update_assoc_by : - ('a -> 'b -> bool) -> ('c -> 'c) -> 'a -> ('b * 'c) list -> ('b * 'c) list -val update_assoc : ('a -> 'a) -> 'b -> ('b * 'a) list -> ('b * 'a) list -val update_assoc_by_with_default : - 'a -> - ('b -> 'b -> bool) -> ('a -> 'a) -> 'b -> ('b * 'a) list -> ('b * 'a) list -val update_all_assoc_by : - ('a -> 'b -> bool) -> ('c -> 'c) -> 'a -> ('b * 'c) list -> ('b * 'c) list -val rassoc : 'a -> ('b * 'a) list -> 'b -val all_assoc : 'a -> ('a * 'b) list -> 'b list -val all_assoc_by : ('a -> 'b -> bool) -> 'a -> ('b * 'c) list -> 'c list -val prepare_want_all_assoc : ('a * 'b) list -> ('a * 'b list) list -val prepare_want_all_assoc_by : - ('a -> 'a -> bool) -> ('a * 'a) list -> ('a * 'a list) list -val prepare_want_all_assoc_by_ : - ('a -> 'a -> bool) -> - ('b -> 'b -> bool) -> ('a * 'b) list -> ('a * 'b list) list -val count_uniq : 'a list -> ('a * int) list -val repeat : 'a -> int -> 'a list -val inits : 'a list -> 'a list list -val tails : 'a list -> 'a list list -val apply : ('a -> 'b) -> 'a -> 'b -val map3 : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b list -> 'c list -> 'd list -val filter2 : ('a * 'b -> bool) -> 'a list -> 'b list -> 'a list * 'b list -val break_at : ('a -> bool) -> 'a list -> 'a list * 'a list -val break : 'a -> 'a list -> 'a list * 'a list -val drop_while : ('a -> bool) -> 'a list -> 'a list -val break_at_indice : int -> 'a list -> 'a list * 'a list -val rev_nth : 'a -> 'a list -> int -val getset_nth : 'a list -> int -> ('a -> 'a) -> 'a list -val set_nth : 'a list -> int -> 'a -> 'a list -val adjustModDown : int -> int -> int -val adjustModUp : int -> int -> int -val hashtbl_find : ('a -> 'b -> bool) -> ('a, 'b) Hashtbl.t -> 'a -val hashtbl_map : ('a -> 'b -> 'b) -> ('a, 'b) Hashtbl.t -> unit -val hashtbl_values : ('a, 'b) Hashtbl.t -> 'b list -val hashtbl_keys : ('a, 'b) Hashtbl.t -> 'a list -val hashtbl_to_list : ('a, 'b) Hashtbl.t -> ('a * 'b) list -val hashtbl_collect : ('a -> 'b -> 'c list) -> ('a, 'b) Hashtbl.t -> 'c list -val hashtbl_exists : ('a -> 'b -> bool) -> ('a, 'b) Hashtbl.t -> bool -val memoize : ('a -> 'b) -> 'a -> 'b -val array_shift : 'a array -> 'a array -val array_last_n : int -> 'a array -> 'a array -val array_collect : ('a -> 'b list) -> 'a array -> 'b list -val lvector_product : 'a list list -> 'a list list -val vector_product2 : 'a list -> 'a list -> ('a * 'a) list -val transpose : 'a list list -> 'a list list -val range : int -> int -> int list -val sum : int list -> int -val filter_some_with : ('a -> 'b option) -> 'a list -> 'b list -val filter_some : 'a option list -> 'a list -val difference : 'a list -> 'a list -> 'a list -val difference_ : ('a -> 'b -> bool) -> 'b list -> 'a list -> 'b list -val intersection_by : ('a -> 'b -> bool) -> 'a list -> 'b list -> 'a list -val intersection_and_differences : - ('a -> 'b -> bool) -> 'b list -> 'a list -> 'a list * 'b list * 'a list -val triangularize : 'a list -> ('a * 'a list) list -val diagonalize : 'a list -> ('a * 'a list) list -val list_of_nonempty_sublists : 'a list -> 'a list list -val graph_is_sorted_by : ('a -> 'b -> bool) -> ('b * 'a list) list -> bool -val graph_closure_by : - ('a -> 'a -> bool) -> - ('a * 'a list) list -> (('a * 'a list) list, 'a * 'a) or_option -val graph_sort_by : - ('a -> 'a -> bool) -> - ('a * 'a list) list -> (('a * 'a list) list, 'a * 'a) or_option -val int_sort : int list -> int list -val str_begins_with : string -> string -> bool -val strstr : string -> string -> int -val str_contains : string -> string -> bool -val str_ends_with : string -> string -> bool -val chop : string -> string -val chomps : string -> string -val times : 'a -> int -> 'a list -val skip_n_char_ : int -> int -> string -> string -val skip_n_char : int -> string -> string -val non_index_from : string -> int -> char -> int -val non_index : string -> char -> int -val non_rindex_from : string -> int -> char -> int -val non_rindex : string -> char -> int -val explode_string : string -> char list -val count_matching_char : string -> char -> int -val is_uppercase : char -> bool -val is_lowercase : char -> bool -val char_is_alphanumerical : char -> bool -val char_is_alphanumerical_ : char -> bool -val char_is_alpha : char -> bool -val char_is_number : char -> bool -val count_chars_in_string : string -> char -> int -val string_fold_left : ('a -> char -> 'a) -> 'a -> string -> 'a -val string_forall_with : (char -> bool) -> int -> string -> bool -val starts_with_non_lowercase : string -> bool -val fold_lines : ('a -> string -> 'a) -> 'a -> in_channel -> 'a -val readlines : in_channel -> string list -val split_at : char -> string -> string list -val split_at2 : char -> char -> string -> string list -val words : string -> string list -val to_CamelCase : string -> string option -val concat_symlink : string -> string -> string -val expand_symlinks : string -> string -val mtime : string -> float -val updir : string -> int -> string -val string_of_ref : 'a ref -> string -val print_endline_flush : string -> unit -val is_int : float -> bool -val compare_lists : ('a -> 'b -> int) -> 'a list -> 'b list -> int -val compare_best : int -> int -> int -val combine_comparison_list : int list -> int -val min_with_cmp : ('a -> 'a -> bool) -> 'a -> 'a -> 'a -val max_with_cmp : ('a -> 'a -> bool) -> 'a -> 'a -> 'a -val fold_left2_compare : - ('a -> 'b -> 'c -> 'a) -> 'a -> 'b list -> 'c list -> 'a -val exists_compare : ('a -> 'b) -> 'a list -> 'b -val forall_compare : ('a -> int) -> 'a list -> int -val forall2_compare : ('a -> 'b -> int) -> 'a list -> 'b list -> int -val exists2_compare : int -> ('a -> 'b -> int) -> 'a list -> 'b list -> int -val compare_sorted_sets : ('a -> 'b -> bool) -> 'a list -> 'b list -> int -val scan_list_while_modifying : - ('a list -> 'a list -> 'a -> ('a list * 'a list) option) -> - 'a list -> 'a list -val bools2compare : bool * bool -> int -val lpush : 'a list ref -> 'a -> unit -module OrderedString : sig type t = string val compare : 'a -> 'a -> int end -module StringSet : - sig - type elt = OrderedString.t - type t = Set.Make(OrderedString).t - val empty : t - val is_empty : t -> bool - val mem : elt -> t -> bool - val add : elt -> t -> t - val singleton : elt -> t - val remove : elt -> t -> t - val union : t -> t -> t - val inter : t -> t -> t - val diff : t -> t -> t - val compare : t -> t -> int - val equal : t -> t -> bool - val subset : t -> t -> bool - val iter : (elt -> unit) -> t -> unit - val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a - val for_all : (elt -> bool) -> t -> bool - val exists : (elt -> bool) -> t -> bool - val filter : (elt -> bool) -> t -> t - val partition : (elt -> bool) -> t -> t * t - val cardinal : t -> int - val elements : t -> elt list - val min_elt : t -> elt - val max_elt : t -> elt - val choose : t -> elt - val split : elt -> t -> t * bool * t - end -val stringSet_to_list : StringSet.t -> StringSet.elt list -val stringSet_add : StringSet.t -> StringSet.elt -> StringSet.t -val stringSet_difference : StringSet.t -> StringSet.t -> StringSet.t -val list_to_StringSet : StringSet.elt list -> StringSet.t -val char_quote : char |