Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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