Data.Type.Symbol.Parser.Types

Data types and type synonyms for parsers and their defun symbols.

Parsers

type ParserCh s r = Char -> s -> Result s r

Parse a Char with the given state.

The action is always consuming. For this reason, you may need to look ahead for the final case, so as to not consume an extra Char. This prevents many zero-length parsers. It's a bit weird. See Drop for an example.

data Result s r

The result of a single step of a parser.

Constructors

Cont s

OK, continue with the given state

Done r

OK, parse successful with result r

Err E

parse error

Instances

type App (FailChSym name e :: FunKind Char (s ~> Result s r) -> Type) (f :: Char)

Defined in Data.Type.Symbol.Parser.Common

type App (FailChSym name e :: FunKind Char (s ~> Result s r) -> Type) (f :: Char)

type ParserEnd s r = s -> Either E r

What a parser should do at the end of a Symbol.

data E

Parser error.

Constructors

EBase

Base parser error.

Fields

• Symbol

  parser name

• ErrorMessage

  error message

EIn

Inner parser error inside combinator.

Fields

• Symbol

  combinator name

• E

  inner error

Instances

type App (EmitEndSym :: FunKind b (Either E b) -> Type) (r :: b)

Defined in Data.Type.Symbol.Parser.Common

type App (EmitEndSym :: FunKind b (Either E b) -> Type) (r :: b) = 'Right r :: Either E b

type App (FailEndSym name e :: FunKind a (Either E r) -> Type) (s :: a)

Defined in Data.Type.Symbol.Parser.Common

type App (FailEndSym name e :: FunKind a (Either E r) -> Type) (s :: a) = 'Left ('EBase name e) :: Either E r

Defun symbols

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 ParserChSym s r = Char ~> (s ~> Result s r)

A defunctionalization symbol for a ParserCh.

type ParserEndSym s r = s ~> Either E r

A defunctionalization symbol for a ParserEnd.