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

Safe HaskellSafe
LanguageHaskell98

Agda.Utils.Char

Contents

Synopsis

Documentation

decDigit :: Char -> Int

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

hexDigit :: Char -> Int

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

octDigit :: Char -> Int

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

Unicode exploration

data UnicodeTest

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)]

Test names paired with their implementation.

testChar :: Char -> [UnicodeTest]

Find out which tests a character satisfies.