Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Agda.Utils.Char
Contents
- decDigit :: Char -> Int
- hexDigit :: Char -> Int
- octDigit :: Char -> Int
- data UnicodeTest
- unicodeTests :: [(UnicodeTest, Char -> Bool)]
- testChar :: Char -> [UnicodeTest]
Documentation
Convert a character in '0'..'9','A'..'F','a'..'f'
into the corresponding digit 0..15
.
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
Constructors
IsControl | |
IsSpace | |
IsLower | |
IsUpper | |
IsAlpha | |
IsAlphaNum | |
IsPrint | |
IsDigit | |
IsOctDigit | |
IsHexDigit | |
IsLetter | |
IsMark | |
IsNumber | |
IsPunctuation | |
IsSymbol | |
IsSeparator |
Instances
unicodeTests :: [(UnicodeTest, Char -> Bool)]
Test names paired with their implementation.
testChar :: Char -> [UnicodeTest]
Find out which tests a character satisfies.