symbol-parser-0.2.0: Type level string parser combinators
Safe HaskellSafe-Inferred
LanguageGHC2021

Data.Type.Char.Digits

Description

Parse digits from type-level Chars.

A Nothing indicates the given Char was not a valid digit for the given base.

Synopsis

Documentation

type family ParseBinaryDigit (ch :: Char) :: Maybe Natural where ... Source #

Parse a binary digit (0 or 1).

Equations

ParseBinaryDigit '0' = Just 0 
ParseBinaryDigit '1' = Just 1 
ParseBinaryDigit _ = Nothing 

type family ParseOctalDigit (ch :: Char) :: Maybe Natural where ... Source #

Parse an octal digit (0-7).

Equations

ParseOctalDigit '0' = Just 0 
ParseOctalDigit '1' = Just 1 
ParseOctalDigit '2' = Just 2 
ParseOctalDigit '3' = Just 3 
ParseOctalDigit '4' = Just 4 
ParseOctalDigit '5' = Just 5 
ParseOctalDigit '6' = Just 6 
ParseOctalDigit '7' = Just 7 
ParseOctalDigit _ = Nothing 

type family ParseDecimalDigit (ch :: Char) :: Maybe Natural where ... Source #

Parse a decimal digit (0-9).

Equations

ParseDecimalDigit '0' = Just 0 
ParseDecimalDigit '1' = Just 1 
ParseDecimalDigit '2' = Just 2 
ParseDecimalDigit '3' = Just 3 
ParseDecimalDigit '4' = Just 4 
ParseDecimalDigit '5' = Just 5 
ParseDecimalDigit '6' = Just 6 
ParseDecimalDigit '7' = Just 7 
ParseDecimalDigit '8' = Just 8 
ParseDecimalDigit '9' = Just 9 
ParseDecimalDigit _ = Nothing 

type family ParseHexDigit (ch :: Char) :: Maybe Natural where ... Source #

Parse a hexadecimal digit (0-9A-Fa-f).

Both upper and lower case are permitted.

Equations

ParseHexDigit '0' = Just 0 
ParseHexDigit '1' = Just 1 
ParseHexDigit '2' = Just 2 
ParseHexDigit '3' = Just 3 
ParseHexDigit '4' = Just 4 
ParseHexDigit '5' = Just 5 
ParseHexDigit '6' = Just 6 
ParseHexDigit '7' = Just 7 
ParseHexDigit '8' = Just 8 
ParseHexDigit '9' = Just 9 
ParseHexDigit 'a' = Just 10 
ParseHexDigit 'A' = Just 10 
ParseHexDigit 'b' = Just 11 
ParseHexDigit 'B' = Just 11 
ParseHexDigit 'c' = Just 12 
ParseHexDigit 'C' = Just 12 
ParseHexDigit 'd' = Just 13 
ParseHexDigit 'D' = Just 13 
ParseHexDigit 'e' = Just 14 
ParseHexDigit 'E' = Just 14 
ParseHexDigit 'f' = Just 15 
ParseHexDigit 'F' = Just 15 
ParseHexDigit _ = Nothing