Data.Type.Symbol.Parser.Common

Documentation

data FailChSym name e f

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)

data FailEndSym name e s

Instances

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

data EmitEndSym r

Emit state directly on end of input.

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 ErrParserLimitation msg = Text "parser limitation: " :<>: Text msg