1Identifiable.Map(3)              OCaml library             Identifiable.Map(3)
2
3
4

NAME

6       Identifiable.Map - no description
7

Module type

9       Module type   Identifiable.Map
10

Documentation

12       Module type Map
13        = sig end
14
15
16
17
18
19
20
21       module T : Map.OrderedType
22
23
24
25
26       include Map.S
27
28
29
30
31       val of_list : (key * 'a) list -> 'a t
32
33
34
35
36       val disjoint_union : ?eq:('a -> 'a -> bool) -> ?print:(Format.formatter
37       -> 'a -> unit) -> 'a t -> 'a t -> 'a t
38
39
40       disjoint_union m1 m2 contains all bindings from m1 and  m2  .  If  some
41       binding  is  present  in  both and the associated value is not equal, a
42       Fatal_error is raised
43
44
45
46       val union_right : 'a t -> 'a t -> 'a t
47
48
49       union_right m1 m2 contains all bindings from m1 and m2 . If some  bind‐
50       ing is present in both, the one from m2 is taken
51
52
53
54       val union_left : 'a t -> 'a t -> 'a t
55
56
57       union_left m1 m2 = union_right m2 m1
58
59
60
61
62       val union_merge : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
63
64
65
66
67       val rename : key t -> key -> key
68
69
70
71
72       val map_keys : (key -> key) -> 'a t -> 'a t
73
74
75
76
77       val keys : 'a t -> Stdlib.Set.Make(T).t
78
79
80
81
82       val data : 'a t -> 'a list
83
84
85
86
87       val of_set : (key -> 'a) -> Stdlib.Set.Make(T).t -> 'a t
88
89
90
91
92       val transpose_keys_and_data : key t -> key t
93
94
95
96
97       val transpose_keys_and_data_set : key t -> Stdlib.Set.Make(T).t t
98
99
100
101
102       val  print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a
103       t -> unit
104
105
106
107
108
109
110OCamldoc                          2020-09-01               Identifiable.Map(3)
Impressum