Module B0_std.Fpath.Map

module Map: sig .. end

Path maps.


Path maps

include Map.S
val dom : 'a B0_std.Fpath.t -> B0_std.Fpath.Set.t

dom m is the domain of m.

val of_list : (B0_std.Fpath.path * 'a) list -> 'a B0_std.Fpath.t

of_list bs is List.fold_left (fun m (k, v) -> add k v m) empty
        bs
.

val pp : ?sep:unit B0_std.Fmt.t ->
(B0_std.Fpath.path * 'a) B0_std.Fmt.t -> 'a B0_std.Fpath.t B0_std.Fmt.t

pp ~sep pp_binding ppf m formats the bindings of m on ppf. Each binding is formatted with pp_binding and bindings are separated by sep (defaults to Format.pp_print_cut). If the map is empty leaves ppf untouched.

val dump : 'a B0_std.Fmt.t -> 'a B0_std.Fpath.t B0_std.Fmt.t

dump pp_v ppf m prints an unspecified representation of m on ppf using pp_v to print the map codomain elements.