Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature CHAR_GLOBAL = |
2 | sig | |
3 | eqtype char | |
4 | ||
5 | val ord: char -> int | |
6 | val chr: int -> char | |
7 | end | |
8 | ||
9 | signature CHAR = | |
10 | sig | |
11 | include CHAR_GLOBAL | |
12 | ||
13 | eqtype string | |
14 | ||
15 | val minChar: char | |
16 | val maxChar: char | |
17 | val maxOrd: int | |
18 | val succ: char -> char | |
19 | val pred: char -> char | |
20 | val < : char * char -> bool | |
21 | val <= : char * char -> bool | |
22 | val > : char * char -> bool | |
23 | val >= : char * char -> bool | |
24 | val compare: char * char -> order | |
25 | val contains: string -> char -> bool | |
26 | val notContains: string -> char -> bool | |
27 | val toLower: char -> char | |
28 | val toUpper: char -> char | |
29 | val isAscii: char -> bool | |
30 | val isAlpha: char -> bool | |
31 | val isAlphaNum: char -> bool | |
32 | val isCntrl: char -> bool | |
33 | val isDigit: char -> bool | |
34 | val isGraph: char -> bool | |
35 | val isHexDigit: char -> bool | |
36 | val isLower: char -> bool | |
37 | val isUpper: char -> bool | |
38 | val isPrint: char -> bool | |
39 | val isPunct: char -> bool | |
40 | val isSpace: char -> bool | |
41 | ||
42 | val toString: char -> String.string | |
43 | val scan: (Char.char, 'a) StringCvt.reader -> (char, 'a) StringCvt.reader | |
44 | val fromString: String.string -> char option | |
45 | val toCString: char -> String.string | |
46 | val fromCString: String.string -> char option | |
47 | end | |
48 | ||
49 | signature CHAR_EXTRA = | |
50 | sig | |
51 | include CHAR | |
52 | ||
53 | val formatSequences: (Char.char, 'a) StringCvt.reader -> 'a -> 'a | |
54 | val scanC: (Char.char, 'a) StringCvt.reader -> (char, 'a) StringCvt.reader | |
55 | end |