Symparsec.Parser.Literal

Documentation

type Literal str = 'PParser LiteralChSym LiteralEndSym str

Parse the given Symbol.

sLiteral :: SSymbol str -> SParser SSymbol SUnit (Literal str)

type LiteralCh ch str = LiteralCh' ch (UnconsSymbol str)

type family LiteralCh' ch str where ...

Equations

LiteralCh' ch (Just '(ch, str)) = Cont str

LiteralCh' ch (Just '(chNext, str)) = Err (EWrongChar chNext ch)

LiteralCh' ch Nothing = Done '()

type EWrongChar chNext ch = EBase "Literal" (((Text "expected " :<>: Text (ShowChar chNext)) :<>: Text ", got ") :<>: Text (ShowChar ch))

eWrongChar :: SChar chNext -> SChar ch -> SE (EWrongChar chNext ch)

data LiteralChSym f

Instances

KnownSymbol str => SingParser (Literal str :: PParser Symbol ())

Defined in Symparsec.Parser.Literal

Associated Types

type PS (Literal str) :: s -> Type

type PR (Literal str) :: r -> Type

Methods

singParser' :: SParser (PS (Literal str)) (PR (Literal str)) (Literal str)

type PR (Literal str :: PParser Symbol ())

Defined in Symparsec.Parser.Literal

type PR (Literal str :: PParser Symbol ()) = SUnit

type PS (Literal str :: PParser Symbol ())

Defined in Symparsec.Parser.Literal

type PS (Literal str :: PParser Symbol ()) = SSymbol

type App LiteralChSym (f :: Char)

Defined in Symparsec.Parser.Literal

type App LiteralChSym (f :: Char) = LiteralChSym1 f

data LiteralChSym1 ch s

Instances

type App (LiteralChSym1 ch :: FunKind Symbol (PResult Symbol ()) -> Type) (s :: Symbol)

Defined in Symparsec.Parser.Literal

type App (LiteralChSym1 ch :: FunKind Symbol (PResult Symbol ()) -> Type) (s :: Symbol) = LiteralCh ch s

sLiteralChSym :: SParserChSym SSymbol SUnit LiteralChSym

type family LiteralEnd str where ...

Equations

LiteralEnd "" = Right '()

LiteralEnd str = Left (EStillParsing str)

type EStillParsing str = EBase "Literal" (Text "still parsing literal: " :<>: Text str)

eStillParsing :: SSymbol str -> SE (EStillParsing str)

data LiteralEndSym s

Instances

KnownSymbol str => SingParser (Literal str :: PParser Symbol ())

Defined in Symparsec.Parser.Literal

Associated Types

type PS (Literal str) :: s -> Type

type PR (Literal str) :: r -> Type

Methods

singParser' :: SParser (PS (Literal str)) (PR (Literal str)) (Literal str)

type PR (Literal str :: PParser Symbol ())

Defined in Symparsec.Parser.Literal

type PR (Literal str :: PParser Symbol ()) = SUnit

type PS (Literal str :: PParser Symbol ())

Defined in Symparsec.Parser.Literal

type PS (Literal str :: PParser Symbol ()) = SSymbol

type App LiteralEndSym (s :: Symbol)

Defined in Symparsec.Parser.Literal

type App LiteralEndSym (s :: Symbol) = LiteralEnd s

sLiteralEndSym :: SParserEndSym SSymbol SUnit LiteralEndSym