(*
- * Copyright (C) 2003:
+ * Copyright (C) 2003-2004:
* Stefano Zacchiroli <zack@cs.unibo.it>
* for the HELM Team http://helm.cs.unibo.it/
*
(** "fold_left" like function on file lines, trailing newline is not passed to
the given function *)
-val fold_file : ('a -> string -> 'a) -> 'a -> string -> 'a
+val fold_file : (string -> 'a -> 'a) -> 'a -> string -> 'a
(* "iter" like function on file lines, trailing newline is not passed to the
given function *)
val iter_file : (string -> unit) -> string -> unit
(** like Hashtbl.fold but keys are processed ordered *)
val hashtbl_sorted_fold :
('a -> 'b -> 'c -> 'c) -> ('a, 'b) Hashtbl.t -> 'c -> 'c
+ (** like Hashtbl.iter but keys are processed ordered *)
+val hashtbl_sorted_iter : ('a -> 'b -> unit) -> ('a, 'b) Hashtbl.t -> unit
(** cp frontend *)
val cp: string -> string -> unit
remote resources fetched via HTTP GET requests *)
val http_get_iter_buf: callback:(string -> unit) -> string -> unit
- (** add a line to a file (specified by name) _after_ a given line (defaults to
- last line). *)
-val add_line: fname:string -> ?position:int -> string -> unit
- (** remove a line, if any, from a file specified by line number (0 based, i.e.
- first line of file is line 0) *)
-val remove_line: fname:string -> int -> unit
-
(** true on blanks-only and #-commented lines, false otherwise *)
val is_blank_line: string -> bool