Safe Haskell	Safe
Language	Haskell98

Agda.Utils.Char

Contents

Unicode exploration

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

Constructors

IsControl
IsSpace
IsLower
IsUpper
IsAlpha
IsAlphaNum
IsPrint
IsDigit
IsOctDigit
IsHexDigit
IsLetter
IsMark
IsNumber
IsPunctuation
IsSymbol
IsSeparator

Instances

Eq UnicodeTest Source #
Methods (==) :: UnicodeTest -> UnicodeTest -> Bool # (/=) :: UnicodeTest -> UnicodeTest -> Bool #
Ord UnicodeTest Source #
Methods 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 #
Methods 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.