NAME¶

Identifiable.Map - no description

Module type¶

Module type Identifiable.Map

Documentation¶

Module type Map
= sig end

module T : Map.OrderedType

include Map.S

val of_list : (key * 'a) list -> 'a t

val disjoint_union : ?eq:('a -> 'a -> bool) -> ?print:(Format.formatter -> 'a -> unit) -> 'a t -> 'a t -> 'a t

disjoint_union m1 m2 contains all bindings from m1 and m2 . If some binding is present in both and the associated value is not equal, a Fatal_error is raised

val union_right : 'a t -> 'a t -> 'a t

union_right m1 m2 contains all bindings from m1 and m2 . If some binding is present in both, the one from m2 is taken

val union_left : 'a t -> 'a t -> 'a t

union_left m1 m2 = union_right m2 m1

val union_merge : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t

val rename : key t -> key -> key

val map_keys : (key -> key) -> 'a t -> 'a t

val keys : 'a t -> Stdlib.Set.Make(T).t

val data : 'a t -> 'a list

val of_set : (key -> 'a) -> Stdlib.Set.Make(T).t -> 'a t

val transpose_keys_and_data : key t -> key t

val transpose_keys_and_data_set : key t -> Stdlib.Set.Make(T).t t

val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit