1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
(** This module declares utility functions that does not require Python to
be initialized. *)
val substring_between: string -> int -> int -> string
(** [substring_between s i j] returns the substring of [s] between the indices
[i] (included) and [j] (excluded). *)
val int_of_octal: string -> int
(** Returns the integer represented by the argument written in base 8. *)
val int_of_hex: string -> int
(** Returns the integer represented by the argument written in base 16. *)
val split_left_on_char: ?from:int -> char -> string -> string
(** If the character occurs in the substring beginning from [from],
returns the prefix that precedes the first occurrence (excluded),
else returns the whole substring beginning from [from]. *)
val split_right_on_char: ?from:int -> char -> string -> string
(** If the character occurs in the substring beginning from [from],
returns the suffix that succedes the first occurrence (excluded),
else returns the whole substring beginning from [from]. *)
val trim_carriage_return: string -> string
(** If the string ends with ['\r'], then returns the string without this
character, else returns the whole string. *)
val has_prefix: string -> string -> bool
(** [has_prefix prefix s] returns [true] if [s] begins with [prefix]. *)
val input_lines: in_channel -> string list
(** Reads and returns all the lines from an input channel to the end of file.
Carriage return characters are removed from the end of lines if any. *)
val option_find: ('a -> 'b) -> 'a -> 'b option
(** [option_find f x] returns [Some (f x)], or [None] if [f x] raises
[Not_found]. *)
val option_unwrap: 'a option -> 'a
(** [option_unwrap x] returns [x'] if [x] is [Some x'], and raises
[Not_found] if [x] is [None]. *)
val read_and_close: in_channel -> ('a -> 'b) -> 'a -> 'b
(** [read_and_close channel f arg] calls [f arg], and returns the result of
[f].
[channel] is always closed after [f] has been called, even if [f] raises
an exception. *)
val write_and_close: out_channel -> ('a -> 'b) -> 'a -> 'b
(** [write_and_close channel f arg] calls [f arg], and returns the result of
[f].
[channel] is always closed after [f] has been called, even if [f] raises
an exception. *)
val with_temp_file: string -> (string -> in_channel -> 'a) -> 'a
(** [with_temp_file s f] creates a temporary file with [s] as contents and
calls [f filename in_channel] where [filename] is the name of the
temporary file and [in_channel] is an input channel opened to read the
file. The file is deleted after the execution of [f] (even if [f]
raised an exception. *)
val with_pipe: (in_channel -> out_channel -> 'a) -> 'a
(** [with_pipe f] creates a pipe and calls [f] with the two ends of the
pipe. *)
val with_stdin_from: in_channel -> ('a -> 'b) -> 'a -> 'b
(** [with_stdin_from chan f arg] calls [f arg] with the standard input
redirected for reading from [chan]. *)
val with_channel_from_string: string -> (in_channel -> 'a) -> 'a
(** [with_channel_from_string s f] calls [f in_channel] where [in_channel]
is an input channel returning the contents of [s]. *)
val with_stdin_from_string: string -> ('a -> 'b) -> 'a -> 'b
(** [with_stdin_from_string s f arg] calls [f arg] with the standard input
redirected for reading from the contents of [s]. *)
|
