case.mli (1465B)
1 (* Unison file synchronizer: src/case.mli *) 2 (* Copyright 1999-2020, Benjamin C. Pierce (see COPYING for details) *) 3 4 val caseInsensitiveMode : [`True|`False|`Default] Prefs.t 5 val unicodeEncoding : bool Prefs.t 6 7 type mode = Sensitive | Insensitive | UnicodeSensitive | UnicodeInsensitive 8 9 val ops : unit -> 10 < mode : mode; modeDesc : string; (* Current mode *) 11 compare : string -> string -> int; (* Comparison function *) 12 hash : string -> int; (* Hash function compatible with 13 the comparison function *) 14 normalizePattern : string -> string; (* Normalize a pattern *) 15 caseInsensitiveMatch : bool; (* Whether pattern matching 16 should be done in a case 17 insensitive way *) 18 normalizeMatchedString : string -> string; 19 (* Put the string in some form 20 suitable for pattern matching *) 21 normalizeFilename : string -> string; (* Convert a filename into 22 its preferred form 23 (NFC for Unicode). *) 24 badEncoding : string -> bool > (* Test whether the string uses 25 the correct encoding *) 26 27 val init : bool -> bool -> unit 28 29 val caseSensitiveModeDesc : string