sortedMap.mli 932 Bytes
Newer Older
1
2
3
4
5
type ('a,'b) t = ('a * 'b) list
val union: ('b -> 'b -> 'b) -> ('a,'b) t -> ('a,'b) t -> ('a,'b) t
val unioni: ('a -> 'b -> 'b -> 'b) -> ('a,'b) t -> ('a,'b) t -> ('a,'b) t
val union_disj: ('a,'b) t -> ('a,'b) t -> ('a,'b) t

6
7
8
val combine: ('b -> 'd) -> ('c -> 'd) -> ('b -> 'c -> 'd) -> 
  ('a,'b) t -> ('a,'c) t -> ('a,'d) t

9
10
11
12
13
val map: ('b -> 'c) -> ('a,'b) t -> ('a,'c) t

val add: ('b -> 'b -> 'b) -> 'a -> 'b -> ('a,'b) t -> ('a,'b) t
val change: 'a -> ('b -> 'b) -> 'b -> ('a,'b) t -> ('a,'b) t

14
15
val change_exists: 'a -> ('b -> 'b) -> ('a,'b) t -> ('a,'b) t

16
17
val diff: ('a,'b) t -> 'a SortedList.t -> ('a,'b) t

18
19
20
21
22
23
24
25
val iter: ('a -> 'b -> unit) -> ('a,'b) t -> unit

val iter2: 
  ('a -> 'b -> 'c -> unit) -> ('a -> 'b -> unit) -> ('a -> 'c -> unit)
    -> ('a,'b) t -> ('a,'c) t -> unit


val from_sorted_list : ('b -> 'b -> 'b) -> ('a * 'b) SortedList.t -> ('a,'b) t
26
val from_list: ('b -> 'b -> 'b) -> ('a * 'b) list -> ('a,'b) t