Module `Common`

val (+>) : 'a -> ('a -> 'b) -> 'b

val (=|=) : int -> int -> bool

val (=<=) : char -> char -> bool

val (=$=) : string -> string -> bool

val (=:=) : bool -> bool -> bool

val (=*=) : 'a -> 'a -> bool

val pr : string -> unit

val pr2 : string -> unit

val _already_printed : (string, bool) Hashtbl.t

val disable_pr2_once : bool ref

val pr2_once : string -> unit

val pr2_gen : 'a -> unit

val dump : 'a -> string

exception Todo

exception Impossible

exception Multi_found

val exn_to_s : exn -> string

val i_to_s : int -> string

val s_to_i : string -> int

val null_string : string -> bool

val (=~) : string -> string -> bool

val matched1 : string -> string

val matched2 : string -> string * string

val matched3 : string -> string * string * string

val matched4 : string -> string * string * string * string

val matched5 : string -> string * string * string * string * string

val matched6 : string -> string * string * string * string * string * string

val matched7 : 
  string ->
  string * string * string * string * string * string * string

val spf : ('a, unit, string) format -> 'a

val join : string -> string list -> string

val split : string -> string -> string list

type filename = string

type dirname = string

type path = string

val cat : filename -> string list

val write_file : file:filename -> string -> unit

val read_file : filename -> string

val with_open_outfile : 
  filename ->
  (((string -> unit) * out_channel) -> 'a) ->
  'a

val with_open_infile : filename -> (in_channel -> 'a) -> 'a

exception CmdError of Unix.process_status * string

val command2 : string -> unit

val cmd_to_list : ?verbose:bool -> string -> string list

val cmd_to_list_and_status : 
  ?verbose:bool ->
  string ->
  string list * Unix.process_status

val null : 'a list -> bool

val exclude : ('a -> bool) -> 'a list -> 'a list

val sort : 'a list -> 'a list

val map_filter : ('a -> 'b option) -> 'a list -> 'b list

val find_opt : ('a -> bool) -> 'a list -> 'a option

val find_some : ('a -> 'b option) -> 'a list -> 'b

val find_some_opt : ('a -> 'b option) -> 'a list -> 'b option

val filter_some : 'a option list -> 'a list

val take : int -> 'a list -> 'a list

val take_safe : int -> 'a list -> 'a list

val drop : int -> 'a list -> 'a list

val span : ('a -> bool) -> 'a list -> 'a list * 'a list

val index_list : 'a list -> ('a * int) list

val index_list_0 : 'a list -> ('a * int) list

val index_list_1 : 'a list -> ('a * int) list

type ('a, 'b) assoc = ('a * 'b) list

val sort_by_val_lowfirst : ('a, 'b) assoc -> ('a * 'b) list

val sort_by_val_highfirst : ('a, 'b) assoc -> ('a * 'b) list

val sort_by_key_lowfirst : ('a, 'b) assoc -> ('a * 'b) list

val sort_by_key_highfirst : ('a, 'b) assoc -> ('a * 'b) list

val group_by : ('a -> 'b) -> 'a list -> ('b * 'a list) list

val group_assoc_bykey_eff : ('a * 'b) list -> ('a * 'b list) list

val group_by_mapped_key : ('a -> 'b) -> 'a list -> ('b * 'a list) list

val group_by_multi : ('a -> 'b list) -> 'a list -> ('b * 'a list) list

type 'a stack = 'a list

val push : 'a -> 'a stack ref -> unit

val hash_of_list : ('a * 'b) list -> ('a, 'b) Hashtbl.t

val hash_to_list : ('a, 'b) Hashtbl.t -> ('a * 'b) list

type 'a hashset = ('a, bool) Hashtbl.t

val hashset_of_list : 'a list -> 'a hashset

val hashset_to_list : 'a hashset -> 'a list

val map_opt : ('a -> 'b) -> 'a option -> 'b option

val opt : ('a -> unit) -> 'a option -> unit

val do_option : ('a -> unit) -> 'a option -> unit

val opt_to_list : 'a option -> 'a list

val (>>=) : 'a option -> ('a -> 'b option) -> 'b option

val (|||) : 'a option -> 'a -> 'a

type ('a, 'b) either =

| Left of 'a
| Right of 'b

type ('a, 'b, 'c) either3 =

| Left3 of 'a
| Middle3 of 'b
| Right3 of 'c

val partition_either : ('a -> ('b, 'c) either) -> 'a list -> 'b list * 'c list

val partition_either3 : 
  ('a -> ('b, 'c, 'd) either3) ->
  'a list ->
  'b list * 'c list * 'd list

type arg_spec_full = Arg.key * Arg.spec * Arg.doc

type cmdline_options = arg_spec_full list

type options_with_title = string * string * arg_spec_full list

type cmdline_sections = options_with_title list

val parse_options : 
  cmdline_options ->
  Arg.usage_msg ->
  string array ->
  string list

val usage : Arg.usage_msg -> cmdline_options -> unit

val short_usage : Arg.usage_msg -> short_opt:cmdline_options -> unit

val long_usage : 
  Arg.usage_msg ->
  short_opt:cmdline_options ->
  long_opt:cmdline_sections ->
  unit

val arg_align2 : cmdline_options -> cmdline_options

val arg_parse2 : 
  cmdline_options ->
  Arg.usage_msg ->
  (unit -> unit) ->
  string list

type flag_spec = Arg.key * Arg.spec * Arg.doc

type action_spec = Arg.key * Arg.doc * action_func

and action_func = string list -> unit

type cmdline_actions = action_spec list

exception WrongNumberOfArguments

val mk_action_0_arg : (unit -> unit) -> action_func

val mk_action_1_arg : (string -> unit) -> action_func

val mk_action_2_arg : (string -> string -> unit) -> action_func

val mk_action_3_arg : (string -> string -> string -> unit) -> action_func

val mk_action_4_arg : 
  (string -> string -> string -> string -> unit) ->
  action_func

val mk_action_n_arg : (string list -> unit) -> action_func

val options_of_actions : string ref -> cmdline_actions -> cmdline_options

val do_action : Arg.key -> string list -> cmdline_actions -> unit

val action_list : cmdline_actions -> Arg.key list

val debugger : bool ref

val unwind_protect : (unit -> 'a) -> (exn -> 'b) -> 'a

val finalize : (unit -> 'a) -> (unit -> 'b) -> 'a

val save_excursion : 'a ref -> 'a -> (unit -> 'b) -> 'b

val memoized : 
  ?use_cache:bool ->
  ('a, 'b) Hashtbl.t ->
  'a ->
  (unit -> 'b) ->
  'b

exception UnixExit of int

exception Timeout

val timeout_function : ?verbose:bool -> int -> (unit -> 'a) -> 'a

type prof =

| ProfAll
| ProfNone
| ProfSome of string list

val profile : prof ref

val show_trace_profile : bool ref

val _profile_table : (string, float ref * int ref) Hashtbl.t ref

val profile_code : string -> (unit -> 'a) -> 'a

val profile_diagnostic : unit -> string

val profile_code_exclusif : string -> (unit -> 'a) -> 'a

val profile_code_inside_exclusif_ok : string -> (unit -> 'a) -> 'a

val report_if_take_time : int -> string -> (unit -> 'a) -> 'a

val profile_code2 : string -> (unit -> 'a) -> 'a

val _temp_files_created : string list ref

val save_tmp_files : bool ref

val new_temp_file : string -> string -> filename

val erase_temp_files : unit -> unit

val erase_this_temp_file : filename -> unit

val fullpath : filename -> filename

val cache_computation : 
  ?verbose:bool ->
  ?use_cache:bool ->
  filename ->
  string ->
  (unit -> 'a) ->
  'a

val filename_without_leading_path : string -> filename -> filename

val readable : root:string -> filename -> filename

val follow_symlinks : bool ref

val files_of_dir_or_files_no_vcs_nofilter : string list -> filename list

val main_boilerplate : (unit -> unit) -> unit

module SMap : Map.S with type key = String.t

type 'a smap = 'a SMap.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/commons/Common/index.html

Module `Common`

package pfff

Install

Dune Dependency

Authors

Maintainers

Sources

doc/commons/Common/index.html

Module Common

Module `Common`