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