Symparsec.Parser.End

Documentation

type End = 'PParser EndChSym (Con1 Right) '()

Assert end of symbol, or fail.

sEnd :: SParser SUnit SUnit End

data EndChSym f

Instances

SingParser End

Defined in Symparsec.Parser.End

Associated Types

type PS End :: s -> Type

type PR End :: r -> Type

Methods

singParser' :: SParser (PS End) (PR End) End

type PR End

Defined in Symparsec.Parser.End

type PR End = SUnit

type PS End

Defined in Symparsec.Parser.End

type PS End = SUnit

type App (EndChSym :: FunKind Char (s ~> PResult s r) -> Type) (f :: Char)

Defined in Symparsec.Parser.End

type App (EndChSym :: FunKind Char (s ~> PResult s r) -> Type) (f :: Char) = EndChSym1 f :: FunKind s (PResult s r) -> Type

data EndChSym1 ch s

Instances

type App (EndChSym1 ch :: FunKind a (PResult a r) -> Type) (s :: a)

Defined in Symparsec.Parser.End

type App (EndChSym1 ch :: FunKind a (PResult a r) -> Type) (s :: a) = 'Err ('EBase "End" ('Text "expected end of string")) :: Result Symbol a r

sEndChSym :: SParserChSym ss rr EndChSym