GHC.Parser.Lexer

ghc-9.2.1: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

GHC.Parser.Lexer

Synopsis

- data Token
  - = ITas
  - | ITcase
  - | ITclass
  - | ITdata
  - | ITdefault
  - | ITderiving
  - | ITdo (Maybe FastString)
  - | ITelse
  - | IThiding
  - | ITforeign
  - | ITif
  - | ITimport
  - | ITin
  - | ITinfix
  - | ITinfixl
  - | ITinfixr
  - | ITinstance
  - | ITlet
  - | ITmodule
  - | ITnewtype
  - | ITof
  - | ITqualified
  - | ITthen
  - | ITtype
  - | ITwhere
  - | ITforall IsUnicodeSyntax
  - | ITexport
  - | ITlabel
  - | ITdynamic
  - | ITsafe
  - | ITinterruptible
  - | ITunsafe
  - | ITstdcallconv
  - | ITccallconv
  - | ITcapiconv
  - | ITprimcallconv
  - | ITjavascriptcallconv
  - | ITmdo (Maybe FastString)
  - | ITfamily
  - | ITrole
  - | ITgroup
  - | ITby
  - | ITusing
  - | ITpattern
  - | ITstatic
  - | ITstock
  - | ITanyclass
  - | ITvia
  - | ITunit
  - | ITsignature
  - | ITdependency
  - | ITrequires
  - | ITinline_prag SourceText InlineSpec RuleMatchInfo
  - | ITspec_prag SourceText
  - | ITspec_inline_prag SourceText Bool
  - | ITsource_prag SourceText
  - | ITrules_prag SourceText
  - | ITwarning_prag SourceText
  - | ITdeprecated_prag SourceText
  - | ITline_prag SourceText
  - | ITcolumn_prag SourceText
  - | ITscc_prag SourceText
  - | ITunpack_prag SourceText
  - | ITnounpack_prag SourceText
  - | ITann_prag SourceText
  - | ITcomplete_prag SourceText
  - | ITclose_prag
  - | IToptions_prag String
  - | ITinclude_prag String
  - | ITlanguage_prag
  - | ITminimal_prag SourceText
  - | IToverlappable_prag SourceText
  - | IToverlapping_prag SourceText
  - | IToverlaps_prag SourceText
  - | ITincoherent_prag SourceText
  - | ITctype SourceText
  - | ITcomment_line_prag
  - | ITdotdot
  - | ITcolon
  - | ITdcolon IsUnicodeSyntax
  - | ITequal
  - | ITlam
  - | ITlcase
  - | ITvbar
  - | ITlarrow IsUnicodeSyntax
  - | ITrarrow IsUnicodeSyntax
  - | ITdarrow IsUnicodeSyntax
  - | ITlolly
  - | ITminus
  - | ITprefixminus
  - | ITbang
  - | ITtilde
  - | ITat
  - | ITtypeApp
  - | ITpercent
  - | ITstar IsUnicodeSyntax
  - | ITdot
  - | ITproj Bool
  - | ITbiglam
  - | ITocurly
  - | ITccurly
  - | ITvocurly
  - | ITvccurly
  - | ITobrack
  - | ITopabrack
  - | ITcpabrack
  - | ITcbrack
  - | IToparen
  - | ITcparen
  - | IToubxparen
  - | ITcubxparen
  - | ITsemi
  - | ITcomma
  - | ITunderscore
  - | ITbackquote
  - | ITsimpleQuote
  - | ITvarid FastString
  - | ITconid FastString
  - | ITvarsym FastString
  - | ITconsym FastString
  - | ITqvarid (FastString, FastString)
  - | ITqconid (FastString, FastString)
  - | ITqvarsym (FastString, FastString)
  - | ITqconsym (FastString, FastString)
  - | ITdupipvarid FastString
  - | ITlabelvarid FastString
  - | ITchar SourceText Char
  - | ITstring SourceText FastString
  - | ITinteger IntegralLit
  - | ITrational FractionalLit
  - | ITprimchar SourceText Char
  - | ITprimstring SourceText ByteString
  - | ITprimint SourceText Integer
  - | ITprimword SourceText Integer
  - | ITprimfloat FractionalLit
  - | ITprimdouble FractionalLit
  - | ITopenExpQuote HasE IsUnicodeSyntax
  - | ITopenPatQuote
  - | ITopenDecQuote
  - | ITopenTypQuote
  - | ITcloseQuote IsUnicodeSyntax
  - | ITopenTExpQuote HasE
  - | ITcloseTExpQuote
  - | ITdollar
  - | ITdollardollar
  - | ITtyQuote
  - | ITquasiQuote (FastString, FastString, PsSpan)
  - | ITqQuasiQuote (FastString, FastString, FastString, PsSpan)
  - | ITproc
  - | ITrec
  - | IToparenbar IsUnicodeSyntax
  - | ITcparenbar IsUnicodeSyntax
  - | ITlarrowtail IsUnicodeSyntax
  - | ITrarrowtail IsUnicodeSyntax
  - | ITLarrowtail IsUnicodeSyntax
  - | ITRarrowtail IsUnicodeSyntax
  - | ITunknown String
  - | ITeof
  - | ITdocCommentNext String PsSpan
  - | ITdocCommentPrev String PsSpan
  - | ITdocCommentNamed String PsSpan
  - | ITdocSection Int String PsSpan
  - | ITdocOptions String PsSpan
  - | ITlineComment String PsSpan
  - | ITblockComment String PsSpan
- lexer :: Bool -> (Located Token -> P a) -> P a
- lexerDbg :: Bool -> (Located Token -> P a) -> P a
- data ParserOpts = ParserOpts {
  - pWarningFlags :: EnumSet WarningFlag
  - pExtsBitmap :: !ExtsBitmap
  }
- mkParserOpts :: EnumSet WarningFlag -> EnumSet Extension -> Bool -> Bool -> Bool -> Bool -> ParserOpts
- data PState = PState {
  - buffer :: StringBuffer
  - options :: ParserOpts
  - warnings :: Bag PsWarning
  - errors :: Bag PsError
  - tab_first :: Maybe RealSrcSpan
  - tab_count :: !Word
  - last_tk :: Maybe (PsLocated Token)
  - prev_loc :: PsSpan
  - prev_loc2 :: PsSpan
  - last_loc :: PsSpan
  - last_len :: !Int
  - loc :: PsLoc
  - context :: [LayoutContext]
  - lex_state :: [Int]
  - srcfiles :: [FastString]
  - alr_pending_implicit_tokens :: [PsLocated Token]
  - alr_next_token :: Maybe (PsLocated Token)
  - alr_last_loc :: PsSpan
  - alr_context :: [ALRContext]
  - alr_expecting_ocurly :: Maybe ALRLayout
  - alr_justClosedExplicitLetBlock :: Bool
  - eof_pos :: Maybe (RealSrcSpan, RealSrcSpan)
  - header_comments :: Maybe [LEpaComment]
  - comment_q :: [LEpaComment]
  - hdk_comments :: OrdList (PsLocated HdkComment)
  }
- initParserState :: ParserOpts -> StringBuffer -> RealSrcLoc -> PState
- initPragState :: ParserOpts -> StringBuffer -> RealSrcLoc -> PState
- newtype P a = P {
  - unP :: PState -> ParseResult a
  }
- data ParseResult a
  - = POk PState a
  - | PFailed PState
- allocateComments :: RealSrcSpan -> [LEpaComment] -> ([LEpaComment], [LEpaComment])
- allocatePriorComments :: RealSrcSpan -> [LEpaComment] -> Maybe [LEpaComment] -> (Maybe [LEpaComment], [LEpaComment], [LEpaComment])
- allocateFinalComments :: RealSrcSpan -> [LEpaComment] -> Maybe [LEpaComment] -> (Maybe [LEpaComment], [LEpaComment], [LEpaComment])
- class Monad m => MonadP m where
  - addError :: PsError -> m ()
  - addWarning :: WarningFlag -> PsWarning -> m ()
  - addFatalError :: PsError -> m a
  - getBit :: ExtBits -> m Bool
  - allocateCommentsP :: RealSrcSpan -> m EpAnnComments
  - allocatePriorCommentsP :: RealSrcSpan -> m EpAnnComments
  - allocateFinalCommentsP :: RealSrcSpan -> m EpAnnComments
- getRealSrcLoc :: P RealSrcLoc
- getPState :: P PState
- failMsgP :: (SrcSpan -> PsError) -> P a
- failLocMsgP :: RealSrcLoc -> RealSrcLoc -> (SrcSpan -> PsError) -> P a
- srcParseFail :: P a
- getErrorMessages :: PState -> Bag PsError
- getMessages :: PState -> (Bag PsWarning, Bag PsError)
- popContext :: P ()
- pushModuleContext :: P ()
- setLastToken :: PsSpan -> Int -> P ()
- setSrcLoc :: RealSrcLoc -> P ()
- activeContext :: P Bool
- nextIsEOF :: P Bool
- getLexState :: P Int
- popLexState :: P Int
- pushLexState :: Int -> P ()
- data ExtBits
  - = FfiBit
  - | InterruptibleFfiBit
  - | CApiFfiBit
  - | ArrowsBit
  - | ThBit
  - | ThQuotesBit
  - | IpBit
  - | OverloadedLabelsBit
  - | ExplicitForallBit
  - | BangPatBit
  - | PatternSynonymsBit
  - | HaddockBit
  - | MagicHashBit
  - | RecursiveDoBit
  - | QualifiedDoBit
  - | UnicodeSyntaxBit
  - | UnboxedTuplesBit
  - | UnboxedSumsBit
  - | DatatypeContextsBit
  - | MonadComprehensionsBit
  - | TransformComprehensionsBit
  - | QqBit
  - | RawTokenStreamBit
  - | AlternativeLayoutRuleBit
  - | ALRTransitionalBit
  - | RelaxedLayoutBit
  - | NondecreasingIndentationBit
  - | SafeHaskellBit
  - | TraditionalRecordSyntaxBit
  - | ExplicitNamespacesBit
  - | LambdaCaseBit
  - | BinaryLiteralsBit
  - | NegativeLiteralsBit
  - | HexFloatLiteralsBit
  - | StaticPointersBit
  - | NumericUnderscoresBit
  - | StarIsTypeBit
  - | BlockArgumentsBit
  - | NPlusKPatternsBit
  - | DoAndIfThenElseBit
  - | MultiWayIfBit
  - | GadtSyntaxBit
  - | ImportQualifiedPostBit
  - | LinearTypesBit
  - | NoLexicalNegationBit
  - | OverloadedRecordDotBit
  - | OverloadedRecordUpdateBit
  - | InRulePragBit
  - | InNestedCommentBit
  - | UsePosPragsBit
- xtest :: ExtBits -> ExtsBitmap -> Bool
- xunset :: ExtBits -> ExtsBitmap -> ExtsBitmap
- xset :: ExtBits -> ExtsBitmap -> ExtsBitmap
- lexTokenStream :: ParserOpts -> StringBuffer -> RealSrcLoc -> ParseResult [Located Token]
- mkParensEpAnn :: RealSrcSpan -> (AddEpAnn, AddEpAnn)
- getCommentsFor :: MonadP m => SrcSpan -> m EpAnnComments
- getPriorCommentsFor :: MonadP m => SrcSpan -> m EpAnnComments
- getFinalCommentsFor :: MonadP m => SrcSpan -> m EpAnnComments
- getEofPos :: P (Maybe (RealSrcSpan, RealSrcSpan))
- commentToAnnotation :: RealLocated Token -> LEpaComment
- data HdkComment
  - = HdkCommentNext HsDocString
  - | HdkCommentPrev HsDocString
  - | HdkCommentNamed String HsDocString
  - | HdkCommentSection Int HsDocString
- warnopt :: WarningFlag -> ParserOpts -> Bool

# Documentation

data Token Source #

Constructors

ITas |
ITcase |
ITclass |
ITdata |
ITdefault |
ITderiving |
ITdo (Maybe FastString) |
ITelse |
IThiding |
ITforeign |
ITif |
ITimport |
ITin |
ITinfix |
ITinfixl |
ITinfixr |
ITinstance |
ITlet |
ITmodule |
ITnewtype |
ITof |
ITqualified |
ITthen |
ITtype |
ITwhere |
ITforall IsUnicodeSyntax |
ITexport |
ITlabel |
ITdynamic |
ITsafe |
ITinterruptible |
ITunsafe |
ITstdcallconv |
ITccallconv |
ITcapiconv |
ITprimcallconv |
ITjavascriptcallconv |
ITmdo (Maybe FastString) |
ITfamily |
ITrole |
ITgroup |
ITby |
ITusing |
ITpattern |
ITstatic |
ITstock |
ITanyclass |
ITvia |
ITunit |
ITsignature |
ITdependency |
ITrequires |
ITinline_prag SourceText InlineSpec RuleMatchInfo |
ITspec_prag SourceText |
ITspec_inline_prag SourceText Bool |
ITsource_prag SourceText |
ITrules_prag SourceText |
ITwarning_prag SourceText |
ITdeprecated_prag SourceText |
ITline_prag SourceText |
ITcolumn_prag SourceText |
ITscc_prag SourceText |
ITunpack_prag SourceText |
ITnounpack_prag SourceText |
ITann_prag SourceText |
ITcomplete_prag SourceText |
ITclose_prag |
IToptions_prag String |
ITinclude_prag String |
ITlanguage_prag |
ITminimal_prag SourceText |
IToverlappable_prag SourceText |
IToverlapping_prag SourceText |
IToverlaps_prag SourceText |
ITincoherent_prag SourceText |
ITctype SourceText |
ITcomment_line_prag |
ITdotdot |
ITcolon |
ITdcolon IsUnicodeSyntax |
ITequal |
ITlam |
ITlcase |
ITvbar |
ITlarrow IsUnicodeSyntax |
ITrarrow IsUnicodeSyntax |
ITdarrow IsUnicodeSyntax |
ITlolly |
ITminus |
ITprefixminus |
ITbang |
ITtilde |
ITat |
ITtypeApp |
ITpercent |
ITstar IsUnicodeSyntax |
ITdot |
ITproj Bool |
ITbiglam |
ITocurly |
ITccurly |
ITvocurly |
ITvccurly |
ITobrack |
ITopabrack |
ITcpabrack |
ITcbrack |
IToparen |
ITcparen |
IToubxparen |
ITcubxparen |
ITsemi |
ITcomma |
ITunderscore |
ITbackquote |
ITsimpleQuote |
ITvarid FastString |
ITconid FastString |
ITvarsym FastString |
ITconsym FastString |
ITqvarid (FastString, FastString) |
ITqconid (FastString, FastString) |
ITqvarsym (FastString, FastString) |
ITqconsym (FastString, FastString) |
ITdupipvarid FastString |
ITlabelvarid FastString |
ITchar SourceText Char |
ITstring SourceText FastString |
ITinteger IntegralLit |
ITrational FractionalLit |
ITprimchar SourceText Char |
ITprimstring SourceText ByteString |
ITprimint SourceText Integer |
ITprimword SourceText Integer |
ITprimfloat FractionalLit |
ITprimdouble FractionalLit |
ITopenExpQuote HasE IsUnicodeSyntax |
ITopenPatQuote |
ITopenDecQuote |
ITopenTypQuote |
ITcloseQuote IsUnicodeSyntax |
ITopenTExpQuote HasE |
ITcloseTExpQuote |
ITdollar |
ITdollardollar |
ITtyQuote |
ITquasiQuote (FastString, FastString, PsSpan) |
ITqQuasiQuote (FastString, FastString, FastString, PsSpan) |
ITproc |
ITrec |
IToparenbar IsUnicodeSyntax |
    (|
ITcparenbar IsUnicodeSyntax |
    |)
ITlarrowtail IsUnicodeSyntax |
    -<
ITrarrowtail IsUnicodeSyntax |
    >-
ITLarrowtail IsUnicodeSyntax |
    -<<
ITRarrowtail IsUnicodeSyntax |
    >>-
ITunknown String | Used when the lexer can't make sense of it
ITeof | end of file token
ITdocCommentNext String PsSpan | something beginning `-- |`
ITdocCommentPrev String PsSpan | something beginning `-- ^`
ITdocCommentNamed String PsSpan | something beginning `-- $`
ITdocSection Int String PsSpan | a section heading
ITdocOptions String PsSpan | doc options (prune, ignore-exports, etc)
ITlineComment String PsSpan | comment starting by "--"
ITblockComment String PsSpan | comment in {- -}

#### Instances

Instances details

Show Token Source # |
Instance details Defined in GHC.Parser.Lexer Methods showsPrec :: Int -> Token -> ShowS Source # show :: Token -> String Source # showList :: [Token] -> ShowS Source #
Outputable Token Source # |
Instance details Defined in GHC.Parser.Lexer Methods ppr :: Token -> SDoc Source #

lexer :: Bool -> (Located Token -> P a) -> P a Source #

lexerDbg :: Bool -> (Located Token -> P a) -> P a Source #

data ParserOpts Source #

Parser options.

See `mkParserOpts` to construct this.

Constructors

ParserOpts |
Fields pWarningFlags :: EnumSet WarningFlag enabled warning flags pExtsBitmap :: !ExtsBitmap bitmap of permitted extensions

mkParserOpts Source #

Arguments

:: EnumSet WarningFlag | warnings flags enabled
-> EnumSet Extension | permitted language extensions enabled
-> Bool | are safe imports on?
-> Bool | keeping Haddock comment tokens
-> Bool | keep regular comment tokens
-> Bool | If this is enabled, '{-# LINE ... -#}' and '{-# COLUMN ... #-}' update the internal position kept by the parser. Otherwise, those pragmas are lexed as `ITline_prag` and `ITcolumn_prag` tokens.
-> ParserOpts |

Given exactly the information needed, set up the `ParserOpts`

data PState Source #

Constructors

PState |
Fields buffer :: StringBuffer options :: ParserOpts warnings :: Bag PsWarning errors :: Bag PsError tab_first :: Maybe RealSrcSpan tab_count :: !Word last_tk :: Maybe (PsLocated Token) prev_loc :: PsSpan prev_loc2 :: PsSpan last_loc :: PsSpan last_len :: !Int loc :: PsLoc context :: [LayoutContext] lex_state :: [Int] srcfiles :: [FastString] alr_pending_implicit_tokens :: [PsLocated Token] alr_next_token :: Maybe (PsLocated Token) alr_last_loc :: PsSpan alr_context :: [ALRContext] alr_expecting_ocurly :: Maybe ALRLayout alr_justClosedExplicitLetBlock :: Bool eof_pos :: Maybe (RealSrcSpan, RealSrcSpan) header_comments :: Maybe [LEpaComment] comment_q :: [LEpaComment] hdk_comments :: OrdList (PsLocated HdkComment)

initParserState :: ParserOpts -> StringBuffer -> RealSrcLoc -> PState Source #

Creates a parse state from a `ParserOpts` value

initPragState :: ParserOpts -> StringBuffer -> RealSrcLoc -> PState Source #

Set parser options for parsing OPTIONS pragmas

newtype P a Source #

The parsing monad, isomorphic to `StateT PState Maybe`.

Constructors

P |
Fields unP :: PState -> ParseResult a

#### Instances

Instances details

Applicative P Source # |
Instance details Defined in GHC.Parser.Lexer Methods pure :: a -> P a Source # (<*>) :: P (a -> b) -> P a -> P b Source # liftA2 :: (a -> b -> c) -> P a -> P b -> P c Source # (*>) :: P a -> P b -> P b Source # (<*) :: P a -> P b -> P a Source #
Functor P Source # |
Instance details Defined in GHC.Parser.Lexer Methods fmap :: (a -> b) -> P a -> P b Source # (<$) :: a -> P b -> P a Source #
Monad P Source # |
Instance details Defined in GHC.Parser.Lexer Methods (>>=) :: P a -> (a -> P b) -> P b Source # (>>) :: P a -> P b -> P b Source # return :: a -> P a Source #
MonadP P Source # |
Instance details Defined in GHC.Parser.Lexer Methods addError :: PsError -> P () Source # addWarning :: WarningFlag -> PsWarning -> P () Source # addFatalError :: PsError -> P a Source # getBit :: ExtBits -> P Bool Source # allocateCommentsP :: RealSrcSpan -> P EpAnnComments Source # allocatePriorCommentsP :: RealSrcSpan -> P EpAnnComments Source # allocateFinalCommentsP :: RealSrcSpan -> P EpAnnComments Source #

data ParseResult a Source #

The result of running a parser.

Constructors

POk | The parser has consumed a (possibly empty) prefix of the input and produced a result. Use `getMessages` to check for accumulated warnings and non-fatal errors.
Fields PState The resulting parsing state. Can be used to resume parsing. a The resulting value.
PFailed | The parser has consumed a (possibly empty) prefix of the input and failed.
Fields PState The parsing state right before failure, including the fatal parse error. `getMessages` and `getErrorMessages` must return a non-empty bag of errors.

allocateComments :: RealSrcSpan -> [LEpaComment] -> ([LEpaComment], [LEpaComment]) Source #

allocatePriorComments :: RealSrcSpan -> [LEpaComment] -> Maybe [LEpaComment] -> (Maybe [LEpaComment], [LEpaComment], [LEpaComment]) Source #

allocateFinalComments :: RealSrcSpan -> [LEpaComment] -> Maybe [LEpaComment] -> (Maybe [LEpaComment], [LEpaComment], [LEpaComment]) Source #

class Monad m => MonadP m where Source #

An mtl-style class for monads that support parsing-related operations. For example, sometimes we make a second pass over the parsing results to validate, disambiguate, or rearrange them, and we do so in the PV monad which cannot consume input but can report parsing errors, check for extension bits, and accumulate parsing annotations. Both P and PV are instances of MonadP.

MonadP grants us convenient overloading. The other option is to have separate operations for each monad: addErrorP vs addErrorPV, getBitP vs getBitPV, and so on.

Methods

addError :: PsError -> m () Source #

Add a non-fatal error. Use this when the parser can produce a result despite the error.

For example, when GHC encounters a `forall` in a type, but `-XExplicitForAll` is disabled, the parser constructs `ForAllTy` as if `-XExplicitForAll` was enabled, adding a non-fatal error to the accumulator.

Control flow wise, non-fatal errors act like warnings: they are added to the accumulator and parsing continues. This allows GHC to report more than one parse error per file.

addWarning :: WarningFlag -> PsWarning -> m () Source #

Add a warning to the accumulator. Use `getMessages` to get the accumulated warnings.

addFatalError :: PsError -> m a Source #

Add a fatal error. This will be the last error reported by the parser, and the parser will not produce any result, ending in a `PFailed` state.

getBit :: ExtBits -> m Bool Source #

Check if a given flag is currently set in the bitmap.

allocateCommentsP :: RealSrcSpan -> m EpAnnComments Source #

Go through the `comment_q` in `PState` and remove all comments that belong within the given span

allocatePriorCommentsP :: RealSrcSpan -> m EpAnnComments Source #

Go through the `comment_q` in `PState` and remove all comments that come before or within the given span

allocateFinalCommentsP :: RealSrcSpan -> m EpAnnComments Source #

Go through the `comment_q` in `PState` and remove all comments that come after the given span

#### Instances

Instances details

MonadP P Source # |
Instance details Defined in GHC.Parser.Lexer Methods addError :: PsError -> P () Source # addWarning :: WarningFlag -> PsWarning -> P () Source # addFatalError :: PsError -> P a Source # getBit :: ExtBits -> P Bool Source # allocateCommentsP :: RealSrcSpan -> P EpAnnComments Source # allocatePriorCommentsP :: RealSrcSpan -> P EpAnnComments Source # allocateFinalCommentsP :: RealSrcSpan -> P EpAnnComments Source #
MonadP PV Source # |
Instance details Defined in GHC.Parser.PostProcess Methods addError :: PsError -> PV () Source # addWarning :: WarningFlag -> PsWarning -> PV () Source # addFatalError :: PsError -> PV a Source # getBit :: ExtBits -> PV Bool Source # allocateCommentsP :: RealSrcSpan -> PV EpAnnComments Source # allocatePriorCommentsP :: RealSrcSpan -> PV EpAnnComments Source # allocateFinalCommentsP :: RealSrcSpan -> PV EpAnnComments Source #

getRealSrcLoc :: P RealSrcLoc Source #

getPState :: P PState Source #

failMsgP :: (SrcSpan -> PsError) -> P a Source #

failLocMsgP :: RealSrcLoc -> RealSrcLoc -> (SrcSpan -> PsError) -> P a Source #

srcParseFail :: P a Source #

getErrorMessages :: PState -> Bag PsError Source #

Get a bag of the errors that have been accumulated so far. Does not take -Werror into account.

getMessages :: PState -> (Bag PsWarning, Bag PsError) Source #

Get the warnings and errors accumulated so far. Does not take -Werror into account.

popContext :: P () Source #

pushModuleContext :: P () Source #

setLastToken :: PsSpan -> Int -> P () Source #

setSrcLoc :: RealSrcLoc -> P () Source #

activeContext :: P Bool Source #

nextIsEOF :: P Bool Source #

getLexState :: P Int Source #

popLexState :: P Int Source #

pushLexState :: Int -> P () Source #

data ExtBits Source #

Various boolean flags, mostly language extensions, that impact lexing and parsing. Note that a handful of these can change during lexing/parsing.

Constructors

FfiBit |
InterruptibleFfiBit |
CApiFfiBit |
ArrowsBit |
ThBit |
ThQuotesBit |
IpBit |
OverloadedLabelsBit |
ExplicitForallBit |
BangPatBit |
PatternSynonymsBit |
HaddockBit |
MagicHashBit |
RecursiveDoBit |
QualifiedDoBit |
UnicodeSyntaxBit |
UnboxedTuplesBit |
UnboxedSumsBit |
DatatypeContextsBit |
MonadComprehensionsBit |
TransformComprehensionsBit |
QqBit |
RawTokenStreamBit |
AlternativeLayoutRuleBit |
ALRTransitionalBit |
RelaxedLayoutBit |
NondecreasingIndentationBit |
SafeHaskellBit |
TraditionalRecordSyntaxBit |
ExplicitNamespacesBit |
LambdaCaseBit |
BinaryLiteralsBit |
NegativeLiteralsBit |
HexFloatLiteralsBit |
StaticPointersBit |
NumericUnderscoresBit |
StarIsTypeBit |
BlockArgumentsBit |
NPlusKPatternsBit |
DoAndIfThenElseBit |
MultiWayIfBit |
GadtSyntaxBit |
ImportQualifiedPostBit |
LinearTypesBit |
NoLexicalNegationBit |
OverloadedRecordDotBit |
OverloadedRecordUpdateBit |
InRulePragBit |
InNestedCommentBit |
UsePosPragsBit | If this is enabled, '{-# LINE ... -#}' and '{-# COLUMN ... #-}' update the internal position. Otherwise, those pragmas are lexed as tokens of their own.

#### Instances

Instances details

Enum ExtBits Source # |
Instance details Defined in GHC.Parser.Lexer Methods succ :: ExtBits -> ExtBits Source # pred :: ExtBits -> ExtBits Source # toEnum :: Int -> ExtBits Source # fromEnum :: ExtBits -> Int Source # enumFrom :: ExtBits -> [ExtBits] Source # enumFromThen :: ExtBits -> ExtBits -> [ExtBits] Source # enumFromTo :: ExtBits -> ExtBits -> [ExtBits] Source # enumFromThenTo :: ExtBits -> ExtBits -> ExtBits -> [ExtBits] Source #

xtest :: ExtBits -> ExtsBitmap -> Bool Source #

xunset :: ExtBits -> ExtsBitmap -> ExtsBitmap Source #

xset :: ExtBits -> ExtsBitmap -> ExtsBitmap Source #

lexTokenStream :: ParserOpts -> StringBuffer -> RealSrcLoc -> ParseResult [Located Token] Source #

mkParensEpAnn :: RealSrcSpan -> (AddEpAnn, AddEpAnn) Source #

Given a `SrcSpan` that surrounds a `HsPar` or `HsParTy`, generate `AddEpAnn` values for the opening and closing bordering on the start and end of the span

getCommentsFor :: MonadP m => SrcSpan -> m EpAnnComments Source #

getPriorCommentsFor :: MonadP m => SrcSpan -> m EpAnnComments Source #

getFinalCommentsFor :: MonadP m => SrcSpan -> m EpAnnComments Source #

getEofPos :: P (Maybe (RealSrcSpan, RealSrcSpan)) Source #

commentToAnnotation :: RealLocated Token -> LEpaComment Source #

data HdkComment Source #

Haddock comment as produced by the lexer. These are accumulated in `PState` and then processed in GHC.Parser.PostProcess.Haddock.

Constructors

HdkCommentNext HsDocString |
HdkCommentPrev HsDocString |
HdkCommentNamed String HsDocString |
HdkCommentSection Int HsDocString |

#### Instances

Instances details

Show HdkComment Source # |
Instance details Defined in GHC.Parser.Lexer Methods showsPrec :: Int -> HdkComment -> ShowS Source # show :: HdkComment -> String Source # showList :: [HdkComment] -> ShowS Source #

warnopt :: WarningFlag -> ParserOpts -> Bool Source #

Test whether a `WarningFlag` is set