Identifiable.S.Map(3o) OCaml library Identifiable.S.Map(3o)
NAME
Identifiable.S.Map - no description
Module
Module Identifiable.S.Map
Documentation
Module 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 Fa-
tal_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 bind-
ing 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
OCamldoc 2023-02-12 Identifiable.S.Map(3o)
Generated by dwww version 1.15 on Thu Jun 20 19:44:01 CEST 2024.