Import Upstream version 20180207
[hcoop/debian/mlton.git] / basis-library / text / string.sig
CommitLineData
7f918cf1
CE
1signature STRING_GLOBAL =
2 sig
3 eqtype char
4 eqtype string
5
6 val ^ : string * string -> string
7 val concat: string list -> string
8 val explode: string -> char list
9 val implode: char list -> string
10 val size: string -> int
11 val str: char -> string
12 val substring: string * int * int -> string
13 end
14
15signature STRING =
16 sig
17 include STRING_GLOBAL
18
19
20 val < : string * string -> bool
21 val <= : string * string -> bool
22 val > : string * string -> bool
23 val >= : string * string -> bool
24 val collate: (char * char -> order) -> string * string -> order
25 val compare: string * string -> order
26 val concatWith: string -> string list -> string
27 val extract: string * int * int option -> string
28 val fields: (char -> bool) -> string -> string list
29 val fromCString: String.string -> string option
30 val fromString: String.string -> string option
31 val isPrefix: string -> string -> bool
32 val isSubstring: string -> string -> bool
33 val isSuffix: string -> string -> bool
34 val map: (char -> char) -> string -> string
35 val maxSize: int
36 val scan: (Char.char, 'a) StringCvt.reader -> (string, 'a) StringCvt.reader
37 val sub: string * int -> char
38 val toCString: string -> String.string
39 val toString: string -> String.string
40 val tokens: (char -> bool) -> string -> string list
41 val translate: (char -> string) -> string -> string
42 end
43
44signature STRING_EXTRA =
45 sig
46 include STRING
47 type array
48
49 val unsafeFromArray: array -> string
50
51 val new: int * char -> string
52 val nullTerm: string -> string
53 val tabulate: int * (int -> char) -> string
54 val toLower: string -> string
55 end