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

Data.Type.Symbol.Parser.Natural

Documentation

type NatBin = NatBase 2 ParseBinaryDigitSym Source #

type NatOct = NatBase 8 ParseOctalDigitSym Source #

type NatDec = NatBase 10 ParseDecimalDigitSym Source #

type NatHex = NatBase 16 ParseHexDigitSym Source #

type NatBase base parseDigit = '(NatBaseChSym base parseDigit, NatBaseEndSym, 0) Source #

type family NatBaseCh base parseDigit ch n where ... Source #

Equations

NatBaseCh base parseDigit ch n = NatBaseCh' base n (parseDigit @@ ch) 

type family NatBaseCh' base n mDigit where ... Source #

Equations

NatBaseCh' base n Nothing = Err ((Text "not a base " :<>: ShowType base) :<>: Text " digit") 
NatBaseCh' base n (Just digit) = Cont ((n * base) + digit) 

type NatBaseEnd n = Right n Source #

data NatBaseChSym base parseDigit f Source #

Instances

Instances details
type App (NatBaseChSym base parseDigit :: FunKind Char (Natural ~> Result Natural Natural) -> Type) (f :: Char) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Natural

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

data NatBaseChSym1 base parseDigit ch n Source #

Instances

Instances details
type App (NatBaseChSym1 base parseDigit ch :: FunKind Natural (Result Natural Natural) -> Type) (n :: Natural) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Natural

type App (NatBaseChSym1 base parseDigit ch :: FunKind Natural (Result Natural Natural) -> Type) (n :: Natural) = NatBaseCh base parseDigit ch n

data NatBaseEndSym n Source #

Instances

Instances details
type App NatBaseEndSym (s :: Natural) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Natural

type App NatBaseEndSym (s :: Natural) = NatBaseEnd s

data ParseBinaryDigitSym a Source #

Instances

Instances details
type App ParseBinaryDigitSym (a :: Char) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Natural

type App ParseBinaryDigitSym (a :: Char) = ParseBinaryDigit a

data ParseOctalDigitSym a Source #

Instances

Instances details
type App ParseOctalDigitSym (a :: Char) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Natural

type App ParseOctalDigitSym (a :: Char) = ParseOctalDigit a

data ParseDecimalDigitSym a Source #

Instances

Instances details
type App ParseDecimalDigitSym (a :: Char) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Natural

type App ParseDecimalDigitSym (a :: Char) = ParseDecimalDigit a

data ParseHexDigitSym a Source #

Instances

Instances details
type App ParseHexDigitSym (a :: Char) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Natural

type App ParseHexDigitSym (a :: Char) = ParseHexDigit a