Symparsec.Parser.Common

Common definitions for parsers.

Documentation

data FailChSym name e f

Fail with the given message when given any character to parse.

Instances

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

Defined in Symparsec.Parser.Common

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

data FailEndSym name e s

Fail with the given message if we're at the end of the symbol.

Instances

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

Defined in Symparsec.Parser.Common

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

data EmitEndSym r

At the end of the symbol, emit parser state.

Instances

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

Defined in Symparsec.Parser.Common

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

type ErrParserLimitation msg = Text "parser limitation: " :<>: Text msg

Helper for writing error messages to do with parser limitations (e.g. if you tried to use a non-consuming parser like Skip 0).