4import Native.Char as Native
6-- True for upper case letters.
8isUpper = Native.isUpper
10-- True for lower case letters.
12isLower = Native.isLower
14-- True for ASCII digits (`0..9`).
16isDigit = Native.isDigit
18-- True for ASCII octal digits (`0..7`).
19isOctDigit : Char -> Bool
20isOctDigit = Native.isOctDigit
22-- True for ASCII hexadecimal digits (`0..9a..fA..F`).
23isHexDigit : Char -> Bool
24isHexDigit = Native.isHexDigit
26-- Convert to upper case.
28toUpper = Native.toUpper
30-- Convert to lower case.
32toLower = Native.toLower
34-- Convert to upper case, according to any locale-specific case mappings.
35toLocaleUpper : Char -> Char
36toLocaleUpper = Native.toLocaleUpper
38-- Convert to lower case, according to any locale-specific case mappings.
39toLocaleLower : Char -> Char
40toLocaleLower = Native.toLocaleLower
48-- Convert from unicode.
50fromCode = Native.fromCode
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list