Data.Type.Symbol.Parser

Base definitions

type Parser s r = (ParserChSym s r, ParserEndSym s r, s)

type family RunParser p sym where ...

Equations

RunParser '(pCh, pEnd, s) sym = RunParser' pCh pEnd 0 s (UnconsSymbol sym)

Parsers

Combinators

type family Isolate n p where ...

Equations

Isolate n '(pCh, pEnd, s) = '(IsolateChSym pCh pEnd, IsolateEndSym, '(n, s))

type (:<*>:) pl pr = Then pl pr

type (:*>:) pl pr = ThenVL pl pr

type (:<*:) pl pr = ThenVR pl pr

Primitives

type Drop n = '(DropChSym, DropEndSym, n)

Naturals

type NatDec = NatBase 10 ParseDecimalDigitSym

type NatHex = NatBase 16 ParseHexDigitSym

type NatBin = NatBase 2 ParseBinaryDigitSym

type NatOct = NatBase 8 ParseOctalDigitSym

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