Symparsec.Parser.Natural.Digits

Parse digits from type-level Chars.

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

Documentation

type SParseDigit parseDigit = Lam SChar (SMaybe SNat) parseDigit

class SingParseDigit parseDigit where

Methods

singParseDigit :: SParseDigit parseDigit

Instances

SingParseDigit ParseDigitBinSym

Defined in Symparsec.Parser.Natural.Digits

Methods

singParseDigit :: SParseDigit ParseDigitBinSym

SingParseDigit ParseDigitDecSym

Defined in Symparsec.Parser.Natural.Digits

Methods

singParseDigit :: SParseDigit ParseDigitDecSym

SingParseDigit ParseDigitHexSym

Defined in Symparsec.Parser.Natural.Digits

Methods

singParseDigit :: SParseDigit ParseDigitHexSym

SingParseDigit ParseDigitOctSym

Defined in Symparsec.Parser.Natural.Digits

Methods

singParseDigit :: SParseDigit ParseDigitOctSym

type family ParseDigitBin (ch :: Char) :: Maybe Natural where ...

Parse a binary digit (0 or 1).

Equations

ParseDigitBin '0' = Just 0

ParseDigitBin '1' = Just 1

ParseDigitBin _ = Nothing

data ParseDigitBinSym ch

Instances

SingParseDigit ParseDigitBinSym

Defined in Symparsec.Parser.Natural.Digits

Methods

singParseDigit :: SParseDigit ParseDigitBinSym

type App ParseDigitBinSym (ch :: Char)

Defined in Symparsec.Parser.Natural.Digits

type App ParseDigitBinSym (ch :: Char) = ParseDigitBin ch

sParseDigitBinSym :: SParseDigit ParseDigitBinSym

type family ParseDigitOct (ch :: Char) :: Maybe Natural where ...

Parse an octal digit (0-7).

Equations

ParseDigitOct '0' = Just 0

ParseDigitOct '1' = Just 1

ParseDigitOct '2' = Just 2

ParseDigitOct '3' = Just 3

ParseDigitOct '4' = Just 4

ParseDigitOct '5' = Just 5

ParseDigitOct '6' = Just 6

ParseDigitOct '7' = Just 7

ParseDigitOct _ = Nothing

data ParseDigitOctSym ch

Instances

SingParseDigit ParseDigitOctSym

Defined in Symparsec.Parser.Natural.Digits

Methods

singParseDigit :: SParseDigit ParseDigitOctSym

type App ParseDigitOctSym (ch :: Char)

Defined in Symparsec.Parser.Natural.Digits

type App ParseDigitOctSym (ch :: Char) = ParseDigitOct ch

sParseDigitOctSym :: SParseDigit ParseDigitOctSym

type family ParseDigitDec (ch :: Char) :: Maybe Natural where ...

Parse a decimal digit (0-9).

Equations

ParseDigitDec '0' = Just 0

ParseDigitDec '1' = Just 1

ParseDigitDec '2' = Just 2

ParseDigitDec '3' = Just 3

ParseDigitDec '4' = Just 4

ParseDigitDec '5' = Just 5

ParseDigitDec '6' = Just 6

ParseDigitDec '7' = Just 7

ParseDigitDec '8' = Just 8

ParseDigitDec '9' = Just 9

ParseDigitDec _ = Nothing

data ParseDigitDecSym ch

Instances

SingParseDigit ParseDigitDecSym

Defined in Symparsec.Parser.Natural.Digits

Methods

singParseDigit :: SParseDigit ParseDigitDecSym

type App ParseDigitDecSym (ch :: Char)

Defined in Symparsec.Parser.Natural.Digits

type App ParseDigitDecSym (ch :: Char) = ParseDigitDec ch

sParseDigitDecSym :: SParseDigit ParseDigitDecSym

type family ParseDigitHex (ch :: Char) :: Maybe Natural where ...

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

Both upper and lower case are permitted.

Equations

ParseDigitHex '0' = Just 0

ParseDigitHex '1' = Just 1

ParseDigitHex '2' = Just 2

ParseDigitHex '3' = Just 3

ParseDigitHex '4' = Just 4

ParseDigitHex '5' = Just 5

ParseDigitHex '6' = Just 6

ParseDigitHex '7' = Just 7

ParseDigitHex '8' = Just 8

ParseDigitHex '9' = Just 9

ParseDigitHex 'a' = Just 10

ParseDigitHex 'A' = Just 10

ParseDigitHex 'b' = Just 11

ParseDigitHex 'B' = Just 11

ParseDigitHex 'c' = Just 12

ParseDigitHex 'C' = Just 12

ParseDigitHex 'd' = Just 13

ParseDigitHex 'D' = Just 13

ParseDigitHex 'e' = Just 14

ParseDigitHex 'E' = Just 14

ParseDigitHex 'f' = Just 15

ParseDigitHex 'F' = Just 15

ParseDigitHex _ = Nothing

data ParseDigitHexSym ch

Instances

SingParseDigit ParseDigitHexSym

Defined in Symparsec.Parser.Natural.Digits

Methods

singParseDigit :: SParseDigit ParseDigitHexSym

type App ParseDigitHexSym (ch :: Char)

Defined in Symparsec.Parser.Natural.Digits

type App ParseDigitHexSym (ch :: Char) = ParseDigitHex ch

sParseDigitHexSym :: SParseDigit ParseDigitHexSym