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

Safe Haskell | Safe
Language | Haskell2010

Agda.Utils.Char

Contents

- Unicode exploration

Synopsis

- decDigit :: Char -> Int
- hexDigit :: Char -> Int
- octDigit :: Char -> Int
- data UnicodeTest
  - = IsControl
  - | IsSpace
  - | IsLower
  - | IsUpper
  - | IsAlpha
  - | IsAlphaNum
  - | IsPrint
  - | IsDigit
  - | IsOctDigit
  - | IsHexDigit
  - | IsLetter
  - | IsMark
  - | IsNumber
  - | IsPunctuation
  - | IsSymbol
  - | IsSeparator
- unicodeTests :: [(UnicodeTest, Char -> Bool)]
- testChar :: Char -> [UnicodeTest]

# 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

Constructors

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

Instances

Eq UnicodeTest # |
Methods (==) :: UnicodeTest -> UnicodeTest -> Bool # (/=) :: UnicodeTest -> UnicodeTest -> Bool #
Ord UnicodeTest # |
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 # |
Methods showsPrec :: Int -> UnicodeTest -> ShowS # show :: UnicodeTest -> String # showList :: [UnicodeTest] -> ShowS #

unicodeTests :: [(UnicodeTest, Char -> Bool)] #

Test names paired with their implementation.

testChar :: Char -> [UnicodeTest] #

Find out which tests a character satisfies.