summaryrefslogtreecommitdiff
path: root/src/util.mli
blob: fc25cff61c93f18dad559435a41a35c0f326fa7d (plain)
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
exception Syntax_error of ((int * int) option * string)

val get_lexing_position : Lexing.lexbuf -> int * int

val escape_string : string -> string

val default : 'a -> 'a option -> 'a

val lexical_numeric_compare : string -> string -> int

val absolute_path : FilePath.filename -> FilePath.filename

val string_of_list : string list -> string

val json_of_list : string list -> string

val list_of_path : string -> string list

val drop_last : 'a list -> 'a list

val drop_last_n : 'a list -> int -> 'a list

val drop_first : 'a list -> 'a list

val get_last : 'a list -> 'a option

val get_last_n : 'a list -> int -> 'a option

val lex_order : string list -> string list -> int

val colex_order : string list -> string list -> int

val is_empty : 'a list -> bool