Module Kappa_generic_toolset.Tools
Combinators on primitive types
val iteri : (int -> unit) -> int -> unitval recti : ('a -> int -> 'a) -> 'a -> int -> 'arecti f x n= f (f (f .. (f (f x 0) 1) ..) (n-1)
val array_compare : ('a -> 'a -> int) -> 'a array -> 'a array -> intval array_map_of_list : ('a -> 'b) -> 'a list -> 'b arrayval array_rev_map_of_list : ('a -> 'b) -> 'a list -> 'b arrayval array_rev_of_list : 'a list -> 'a arrayval array_fold_lefti : (int -> 'a -> 'b -> 'a) -> 'a -> 'b array -> 'aval array_fold_righti : (int -> 'a -> 'b -> 'b) -> 'a array -> 'b -> 'bval array_filter : (int -> 'a -> bool) -> 'a array -> int listval array_fold_left_mapi : (int -> 'a -> 'b -> 'a * 'c) -> 'a -> 'b array -> 'a * 'c arrayval array_fold_left2i : (int -> 'a -> 'b -> 'c -> 'a) -> 'a -> 'b array -> 'c array -> 'aval array_min_equal_not_null : (int * 'a list) array -> (int * 'b list) array -> ('a list * 'b list) option
Misc utilities
val float_is_zero : float -> boolval pow : int -> int -> intval pow64 : Int64.t -> Int64.t -> Int64.tval not_an_id : string -> boolval read_input : unit -> stringval min_pos_int_not_zero : (int * 'a) -> (int * 'a) -> int * 'aval max_pos_int_not_zero : (int * 'a) -> (int * 'a) -> int * 'aval fold_over_permutations : (int list -> 'a -> 'a) -> int list -> 'a -> 'aval gcd_2 : int -> int -> intval lcm : int list -> intval fact : int -> intval cantor_pairing : int -> int -> intval get_product_image_occ : int -> (int -> int -> int) -> (int -> int) -> 'a list -> intval get_product_image_occ_2 : int -> (int -> int -> int) -> (int -> int -> int) -> 'a list -> 'a list -> intval get_interval_list : (int -> bool) -> int -> int -> (int * int) listval string_split_on_char : char -> string -> string * string optionval lowercase : string -> stringval capitalize : string -> stringval smash_duplicate_in_ordered_list : ('a -> 'a -> int) -> ('a * int) list -> ('a * int) listval chop_suffix_or_extension : string -> string -> stringval find_available_name : already_there:(string -> bool) -> string -> facultative:string -> ext:string option -> stringval default_message_delimter : charval get_ref : int Pervasives.ref -> intval remove_double_elements : 'a list -> 'a list