Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature 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 | ||
15 | signature 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 | ||
44 | signature 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 |