Symparsec

Base definitions

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

A parser you can pass (heh) around.

Parsers are defined by the product of a ParserCh character parser, ParserEnd end handler, and s starting state.

type family Run p sym where ...

Run the given parser on the given Symbol.

Equations

Run '(pCh, pEnd, s) sym = MapLeftPrettyERun (RunStart pCh pEnd s (UnconsSymbol sym))

Parsers

module Symparsec.Parsers