Symparsec.Parser.Natural

Documentation

type NatBin = NatBase 2 ParseDigitBinSym

Parse a binary (base 2) natural.

type NatOct = NatBase 8 ParseDigitOctSym

Parse an octal (base 8) natural.

type NatDec = NatBase 10 ParseDigitDecSym

Parse a decimal (base 10) natural.

type NatHex = NatBase 16 ParseDigitHexSym

Parse a hexadecimal (base 16) natural. Permits mixed-case (0-9A-Fa-f).

type NatBase base parseDigit = 'PParser (NatBaseChSym base parseDigit) NatBaseEndSym Nothing

Parse a natural in the given base, using the given digit parser.

sNatBase :: SNat base -> SParseDigit parseDigit -> SParser (SMaybe SNat) SNat (NatBase base parseDigit)

type NatBaseCh base parseDigit ch mn = NatBaseCh' base mn (parseDigit @@ ch)

type family NatBaseCh' base mn mDigit where ...

Equations

NatBaseCh' base (Just n) (Just digit) = Cont (Just ((n * base) + digit))

NatBaseCh' base Nothing (Just digit) = Cont (Just digit)

NatBaseCh' base mn Nothing = Err (EInvalidDigit base)

type EInvalidDigit base = EBase "NatBase" ((Text "not a base " :<>: Text (ShowNatDec base)) :<>: Text " digit")

eInvalidDigit :: SNat base -> SE (EInvalidDigit base)

data NatBaseChSym base parseDigit f

Instances

(KnownNat base, SingParseDigit parseDigit) => SingParser (NatBase base parseDigit :: PParser (Maybe Natural) Natural)

Defined in Symparsec.Parser.Natural

Associated Types

type PS (NatBase base parseDigit) :: s -> Type

type PR (NatBase base parseDigit) :: r -> Type

Methods

singParser' :: SParser (PS (NatBase base parseDigit)) (PR (NatBase base parseDigit)) (NatBase base parseDigit)

type PS (NatBase base parseDigit :: PParser (Maybe Natural) Natural)

Defined in Symparsec.Parser.Natural

type PS (NatBase base parseDigit :: PParser (Maybe Natural) Natural) = SMaybe SNat

type App (NatBaseChSym base parseDigit :: FunKind Char (Maybe Natural ~> PResult (Maybe Natural) Natural) -> Type) (f :: Char)

Defined in Symparsec.Parser.Natural

type App (NatBaseChSym base parseDigit :: FunKind Char (Maybe Natural ~> PResult (Maybe Natural) Natural) -> Type) (f :: Char) = NatBaseChSym1 base parseDigit f

type PR (NatBase base parseDigit :: PParser (Maybe Natural) Natural)

Defined in Symparsec.Parser.Natural

type PR (NatBase base parseDigit :: PParser (Maybe Natural) Natural) = SNat

data NatBaseChSym1 base parseDigit ch mn

Instances

type App (NatBaseChSym1 base parseDigit ch :: FunKind (Maybe Natural) (PResult (Maybe Natural) Natural) -> Type) (mn :: Maybe Natural)

Defined in Symparsec.Parser.Natural

type App (NatBaseChSym1 base parseDigit ch :: FunKind (Maybe Natural) (PResult (Maybe Natural) Natural) -> Type) (mn :: Maybe Natural) = NatBaseCh base parseDigit ch mn

sNatBaseChSym :: SNat base -> SParseDigit parseDigit -> SParserChSym (SMaybe SNat) SNat (NatBaseChSym base parseDigit)

type family NatBaseEnd mn where ...

Equations

NatBaseEnd (Just n) = Right n

NatBaseEnd Nothing = Left EEmpty

type EEmpty = EBase "NatBase" (Text "no digits parsed")

eEmpty :: SE EEmpty

data NatBaseEndSym mn

Instances

(KnownNat base, SingParseDigit parseDigit) => SingParser (NatBase base parseDigit :: PParser (Maybe Natural) Natural)

Defined in Symparsec.Parser.Natural

Associated Types

type PS (NatBase base parseDigit) :: s -> Type

type PR (NatBase base parseDigit) :: r -> Type

Methods

singParser' :: SParser (PS (NatBase base parseDigit)) (PR (NatBase base parseDigit)) (NatBase base parseDigit)

type PS (NatBase base parseDigit :: PParser (Maybe Natural) Natural)

Defined in Symparsec.Parser.Natural

type PS (NatBase base parseDigit :: PParser (Maybe Natural) Natural) = SMaybe SNat

type PR (NatBase base parseDigit :: PParser (Maybe Natural) Natural)

Defined in Symparsec.Parser.Natural

type PR (NatBase base parseDigit :: PParser (Maybe Natural) Natural) = SNat

type App NatBaseEndSym (mn :: Maybe Natural)

Defined in Symparsec.Parser.Natural

type App NatBaseEndSym (mn :: Maybe Natural) = NatBaseEnd mn

sNatBaseEndSym :: SParserEndSym (SMaybe SNat) SNat NatBaseEndSym