The parser monad

data Parser s t e a

Primitive parser combinators

Derived combinators

Error handling

State handling

Re-parsing