Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/utils/utils.mli | ||
---|---|---|
4 | 4 |
module IMap: sig |
5 | 5 |
include Map.S with type key = ident |
6 | 6 |
val pp: ?comment:string -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit |
7 |
val diff: 'a t -> 'a t -> 'a t |
|
8 |
val of_list: (key * 'a) list -> 'a t |
|
7 | 9 |
end |
8 | 10 |
|
9 | 11 |
module ISet: sig |
... | ... | |
13 | 15 |
|
14 | 16 |
module Format: sig |
15 | 17 |
include module type of Format |
18 |
val with_out_file: string -> (formatter -> unit) -> unit |
|
19 |
val pp_print_comma: formatter -> unit -> unit |
|
20 |
val pp_print_comma': formatter -> unit -> unit |
|
16 | 21 |
val pp_print_semicolon: formatter -> unit -> unit |
22 |
val pp_print_semicolon': formatter -> unit -> unit |
|
23 |
val pp_print_cpar: formatter -> unit -> unit |
|
17 | 24 |
val pp_open_vbox0: formatter -> unit -> unit |
18 | 25 |
val pp_print_cutcut: formatter -> unit -> unit |
19 | 26 |
val pp_print_nothing: formatter -> 'a -> unit |
27 |
val pp_print_endcut: string -> formatter -> unit -> unit |
|
20 | 28 |
val pp_print_list: |
21 | 29 |
?pp_prologue:(formatter -> unit -> unit) -> |
22 | 30 |
?pp_epilogue:(formatter -> unit -> unit) -> |
... | ... | |
27 | 35 |
?pp_nil:(formatter -> unit -> unit) -> |
28 | 36 |
?pp_sep:(formatter -> unit -> unit) -> |
29 | 37 |
(formatter -> 'a -> unit) -> formatter -> 'a list -> unit |
38 |
val pp_print_list_i: |
|
39 |
?pp_prologue:(formatter -> unit -> unit) -> |
|
40 |
?pp_epilogue:(formatter -> unit -> unit) -> |
|
41 |
?pp_op:(formatter -> unit -> unit) -> |
|
42 |
?pp_cl:(formatter -> unit -> unit) -> |
|
43 |
?pp_open_box:(formatter -> unit -> unit) -> |
|
44 |
?pp_eol:(formatter -> unit -> unit) -> |
|
45 |
?pp_nil:(formatter -> unit -> unit) -> |
|
46 |
?pp_sep:(formatter -> unit -> unit) -> |
|
47 |
(formatter -> int -> 'a -> unit) -> formatter -> 'a list -> unit |
|
48 |
val pp_print_list_i2: |
|
49 |
?pp_prologue:(formatter -> unit -> unit) -> |
|
50 |
?pp_epilogue:(formatter -> unit -> unit) -> |
|
51 |
?pp_op:(formatter -> unit -> unit) -> |
|
52 |
?pp_cl:(formatter -> unit -> unit) -> |
|
53 |
?pp_open_box:(formatter -> unit -> unit) -> |
|
54 |
?pp_eol:(formatter -> unit -> unit) -> |
|
55 |
?pp_nil:(formatter -> unit -> unit) -> |
|
56 |
?pp_sep:(formatter -> unit -> unit) -> |
|
57 |
(formatter -> int -> 'a -> 'b -> unit) -> formatter -> 'a list * 'b list -> unit |
|
30 | 58 |
val pp_comma_list: |
31 | 59 |
?pp_prologue:(formatter -> unit -> unit) -> |
32 | 60 |
?pp_epilogue:(formatter -> unit -> unit) -> |
... | ... | |
52 | 80 |
?pp_eol:(formatter -> unit -> unit) -> |
53 | 81 |
?pp_nil:(formatter -> unit -> unit) -> |
54 | 82 |
(formatter -> 'a -> unit) -> formatter -> 'a list -> unit |
83 |
val pp_print_braced: |
|
84 |
?pp_sep:(formatter -> unit -> unit) -> |
|
85 |
?pp_prologue:(formatter -> unit -> unit) -> |
|
86 |
?pp_epilogue:(formatter -> unit -> unit) -> |
|
87 |
?pp_open_box:(formatter -> unit -> unit) -> |
|
88 |
?pp_eol:(formatter -> unit -> unit) -> |
|
89 |
?pp_nil:(formatter -> unit -> unit) -> |
|
90 |
(formatter -> 'a -> unit) -> formatter -> 'a list -> unit |
|
91 |
val pp_print_braced': |
|
92 |
?pp_sep:(formatter -> unit -> unit) -> |
|
93 |
?pp_prologue:(formatter -> unit -> unit) -> |
|
94 |
?pp_epilogue:(formatter -> unit -> unit) -> |
|
95 |
?pp_open_box:(formatter -> unit -> unit) -> |
|
96 |
?pp_eol:(formatter -> unit -> unit) -> |
|
97 |
?pp_nil:(formatter -> unit -> unit) -> |
|
98 |
(formatter -> 'a -> unit) -> formatter -> 'a list -> unit |
|
55 | 99 |
end |
56 | 100 |
|
57 | 101 |
module IdentDepGraph: Graph.Sig.I with type V.t = ident |
... | ... | |
59 | 103 |
val fold : (ident -> 'a -> 'a) -> IdentDepGraph.t -> 'a -> 'a |
60 | 104 |
val iter : (ident -> unit) -> IdentDepGraph.t -> unit |
61 | 105 |
end |
106 |
module Bfs: sig |
|
107 |
(* val iter : (ident -> unit) -> IdentDepGraph.t -> unit *) |
|
108 |
val iter_component : (ident -> unit) -> IdentDepGraph.t -> ident -> unit |
|
109 |
|
|
110 |
(* val fold : (G.V.t -> 'a -> 'a) -> 'a -> G.t -> 'a |
|
111 |
* val fold_component : (G.V.t -> 'a -> 'a) -> 'a -> G.t -> G.V.t -> 'a |
|
112 |
* |
|
113 |
* type iterator |
|
114 |
* val start : G.t -> iterator |
|
115 |
* val step : iterator -> iterator |
|
116 |
* val get : iterator -> G.V.t *) |
|
117 |
end |
|
62 | 118 |
|
63 | 119 |
val name_of_dimension: tag -> ident |
64 | 120 |
|
... | ... | |
91 | 147 |
val add_cons: 'a -> 'a list -> 'a list |
92 | 148 |
|
93 | 149 |
val enumerate: int -> int list |
150 |
|
|
151 |
val duplicate: 'a -> int -> 'a list |
|
152 |
|
|
153 |
val list_union: 'a list -> 'a list -> 'a list |
Also available in: Unified diff
another step towards refactoring