Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- 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:
IsControl | |
IsSpace | |
IsLower | |
IsUpper | |
IsAlpha | |
IsAlphaNum | |
IsPrint | |
IsDigit | |
IsOctDigit | |
IsHexDigit | |
IsLetter | |
IsMark | |
IsNumber | |
IsPunctuation | |
IsSymbol | |
IsSeparator |
Instances
Eq UnicodeTest Source # | |
Defined in Agda.Utils.Char (==) :: UnicodeTest -> UnicodeTest -> Bool # (/=) :: UnicodeTest -> UnicodeTest -> Bool # | |
Ord UnicodeTest Source # | |
Defined in Agda.Utils.Char compare :: UnicodeTest -> UnicodeTest -> Ordering # (<) :: UnicodeTest -> UnicodeTest -> Bool # (<=) :: UnicodeTest -> UnicodeTest -> Bool # (>) :: UnicodeTest -> UnicodeTest -> Bool # (>=) :: UnicodeTest -> UnicodeTest -> Bool # max :: UnicodeTest -> UnicodeTest -> UnicodeTest # min :: UnicodeTest -> UnicodeTest -> UnicodeTest # | |
Show UnicodeTest Source # | |
Defined in Agda.Utils.Char showsPrec :: Int -> UnicodeTest -> ShowS # show :: UnicodeTest -> String # showList :: [UnicodeTest] -> ShowS # |
unicodeTests :: [(UnicodeTest, Char -> Bool)] Source #
Test names paired with their implementation.
testChar :: Char -> [UnicodeTest] Source #
Find out which tests a character satisfies.