IdrisDoc: Prelude.Chars

Prelude.Chars

toUpper : Char -> Char

Convert a letter to the corresponding upper-case letter, if any.
Non-letters are ignored.

toLower : Char -> Char

Convert a letter to the corresponding lower-case letter, if any.
Non-letters are ignored.

ord : Char -> Int

Return the ASCII representation of the character.

isUpper : Char -> Bool

Returns true if the character is in the range [A-Z].

isSpace : Char -> Bool

Returns true if the character is a whitespace character.

isOctDigit : Char -> Bool

Returns true if the character is an octal digit.

isNL : Char -> Bool

Returns true if the character represents a new line.

isLower : Char -> Bool

Returns true if the character is in the range [a-z]

isHexDigit : Char -> Bool

Returns true if the character is a hexadecimal digit i.e. in the range [0-9][a-f][A-F]

isDigit : Char -> Bool

Returns true if the character is in the range [0-9]

isAlphaNum : Char -> Bool

Returns true if the character is in the ranges [A-Z][a-z][0-9]

isAlpha : Char -> Bool

Returns true if the character is in the ranges [A-Z][a-z].

chr : Int -> Char

Convert the number to its ASCII equivalent.