type Char
| Name | Fixity | Type | Description |
|---|---|---|---|
| ord | Char -> Nat | converts character to natural number | |
| chr | Nat -> Char | converts natural number to character | |
| isAlpha | Char -> Boolean | true for letters | |
| isNum | Char -> Boolean | true for digits | |
| isAlphaNum | Char -> Boolean | true for letters and digits | |
| isAscii | Char -> Boolean | true for ASCII characters | |
| isLowerCase | Char -> Boolean | true for lower-case letters | |
| isUpperCase | Char -> Boolean | true for upper-case letters | |
| toUpperCase | Char -> Char | converts to upper case | |
| toLowerCase | Char -> Char | converts to lower case | |
| compare | Char * Char -> Comparison | compares two character values | |
| toString | Char -> String | converts character to string | |
| show | Char -> String | same as toString |