Agda-2.5.3.20180519: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell2010

Agda.Utils.Char

Contents

Synopsis

Documentation

decDigit :: Char -> Int Source #

Convert a character in '0'..'9' into the corresponding digit 0..9.

hexDigit :: Char -> Int Source #

Convert a character in '0'..'9','A'..'F','a'..'f' into the corresponding digit 0..15.

octDigit :: Char -> Int Source #

Convert a character in '0'..'7' into the corresponding digit 0..7.

Unicode exploration

data UnicodeTest Source #

Unicode characters are divided into letters, numbers, marks, punctuation, symbols, separators (including spaces) and others (including control characters).

These are the tests that Char offers:

unicodeTests :: [(UnicodeTest, Char -> Bool)] Source #

Test names paired with their implementation.

testChar :: Char -> [UnicodeTest] Source #

Find out which tests a character satisfies.