Module Kappa_data_structures.ToolsSource

Misc utilities

Combinators on primitive types
Sourceval iteri : (int -> unit) -> int -> unit
Sourceval recti : ('a -> int -> 'a) -> 'a -> int -> 'a

recti f x n = f (f (f .. (f (f x 0) 1) ..) (n-1)

Sourceval array_compare : ('a -> 'a -> int) -> 'a array -> 'a array -> int
Sourceval array_map_of_list : ('a -> 'b) -> 'a list -> 'b array
Sourceval array_rev_map_of_list : ('a -> 'b) -> 'a list -> 'b array
Sourceval array_rev_of_list : 'a list -> 'a array
Sourceval array_fold_lefti : (int -> 'a -> 'b -> 'a) -> 'a -> 'b array -> 'a
Sourceval array_fold_righti : (int -> 'a -> 'b -> 'b) -> 'a array -> 'b -> 'b
Sourceval array_filter : (int -> 'a -> bool) -> 'a array -> int list
Sourceval array_fold_left_mapi : (int -> 'a -> 'b -> 'a * 'c) -> 'a -> 'b array -> 'a * 'c array
Sourceval array_fold_left2i : (int -> 'a -> 'b -> 'c -> 'a) -> 'a -> 'b array -> 'c array -> 'a
Sourceval array_min_equal_not_null : (int * 'a list) array -> (int * 'b list) array -> ('a list * 'b list) option
Misc utilities
Sourceval float_is_zero : float -> bool
Sourceval pow : int -> int -> int
Sourceval pow64 : Int64.t -> Int64.t -> Int64.t
Sourceval not_an_id : string -> bool
Sourceval read_input : unit -> string
Sourceval min_pos_int_not_zero : (int * 'a) -> (int * 'a) -> int * 'a
Sourceval max_pos_int_not_zero : (int * 'a) -> (int * 'a) -> int * 'a
Sourceval fold_over_permutations : (int list -> 'a -> 'a) -> int list -> 'a -> 'a
Sourceval gcd_2 : int -> int -> int
Sourceval lcm : int list -> int
Sourceval fact : int -> int
Sourceval cantor_pairing : int -> int -> int
Sourceval get_product_image_occ : int -> (int -> int -> int) -> (int -> int) -> 'a list -> int
Sourceval get_product_image_occ_2 : int -> (int -> int -> int) -> (int -> int -> int) -> 'a list -> 'a list -> int
Sourceval get_interval_list : (int -> bool) -> int -> int -> (int * int) list
Sourceval string_split_on_char : char -> string -> string * string option
Sourceval lowercase : string -> string
Sourceval capitalize : string -> string
Sourceval smash_duplicate_in_ordered_list : ('a -> 'a -> int) -> ('a * int) list -> ('a * int) list
Sourceval chop_suffix_or_extension : string -> string -> string
Sourceval find_available_name : already_there:(string -> bool) -> string -> facultative:string -> ext:string option -> string
Sourceval default_message_delimter : char
Sourceval get_ref : int ref -> int
Sourceval remove_double_elements : 'a list -> 'a list
Sourceval sort_by_priority : ('a -> int) -> int -> 'a list -> 'a list
Sourceval map_opt : ('a -> 'b) -> 'a option -> 'b option