shimmer-0.1.3.4: The Reflective Lambda Machine

Safe HaskellSafe
LanguageHaskell98

SMR.Source.Expected

Synopsis

Documentation

data Expected t s p Source #

What we were expecting at the point there was a parse error.

Constructors

ExBaseEnd

Expecting end of input.

ExBaseNameOf Space

Expecting a name in the given namespace.

ExBaseNameAny

Expecting a name in any namespace.

ExBaseNat

Expecting a natural number.

ExBaseText

Expecting a text string.

ExBasePunc Char

Expecting a punctuation character.

ExBaseMsg String

Expecting something described by the given message.

ExContextDecl Text (Bag (Blocker t (Expected t s p)))

Expecting something while parsing a declaration.

ExContextBind Text (Bag (Blocker t (Expected t s p)))

Expecting something while parsing a binding.

Instances
Show t => Show (Expected t s p) Source # 
Instance details

Defined in SMR.Source.Expected

Methods

showsPrec :: Int -> Expected t s p -> ShowS #

show :: Expected t s p -> String #

showList :: [Expected t s p] -> ShowS #

pprExpected :: (Show s, Show p) => Expected (Located Token) s p -> String Source #

Pretty print an expected thing.

pprBlocker :: (Show s, Show p) => Blocker (Located Token) (Expected (Located Token) s p) -> String Source #

Pretty print a blocker.

data ParseError t e Source #

Parser error.

Constructors

ParseError [Blocker t e] 
Instances
(Show t, Show e) => Show (ParseError t e) Source # 
Instance details

Defined in SMR.Source.Expected

Methods

showsPrec :: Int -> ParseError t e -> ShowS #

show :: ParseError t e -> String #

showList :: [ParseError t e] -> ShowS #

pprParseError :: (Show s, Show p) => ParseError (Located Token) (Expected (Located Token) s p) -> String Source #

Pretty print a parser error.