blob: b1bd3094acb33054f555e3c5939c5ab8db3dc4cb (
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
|
(* Unison file synchronizer: src/case.mli *)
(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *)
val caseInsensitiveMode : [`True|`False|`Default] Prefs.t
val unicodeEncoding : bool Prefs.t
val useUnicodeAPI : unit -> bool
type mode = Sensitive | Insensitive | UnicodeSensitive | UnicodeInsensitive
val ops : unit ->
< mode : mode; modeDesc : string; (* Current mode *)
compare : string -> string -> int; (* Comparison function *)
hash : string -> int; (* Hash function compatible with
the comparison function *)
normalizePattern : string -> string; (* Normalize a pattern *)
caseInsensitiveMatch : bool; (* Whether pattern matching
should be done in a case
insensitive way *)
normalizeMatchedString : string -> string;
(* Put the string in some form
suitable for pattern matching *)
normalizeFilename : string -> string; (* Convert a filename into
its preferred form
(NFC for Unicode). *)
badEncoding : string -> bool > (* Test whether the string uses
the correct encoding *)
val init : bool -> bool -> unit
val caseSensitiveModeDesc : string
|
