Documentation

data Token Source

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

pragState :: DynFlags -> StringBuffer -> RealSrcLoc -> PState Source

mkPState :: DynFlags -> StringBuffer -> RealSrcLoc -> PState Source

data PState Source

newtype P a Source

data ParseResult a Source

getSrcLoc :: P RealSrcLoc Source

getPState :: P PState Source

getDynFlags :: HasDynFlags m => m DynFlags Source

withThisPackage :: (PackageId -> a) -> P a Source

failLocMsgP :: RealSrcLoc -> RealSrcLoc -> String -> P a Source

failSpanMsgP :: SrcSpan -> SDoc -> P a Source

srcParseFail :: P a Source

getMessages :: PState -> Messages Source

popContext :: P () Source

pushCurrentContext :: P () Source

setLastToken :: RealSrcSpan -> 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

extension :: (Int -> Bool) -> P Bool Source

bangPatEnabled :: Int -> Bool Source

datatypeContextsEnabled :: Int -> Bool Source

traditionalRecordSyntaxEnabled :: Int -> Bool Source

typeLiteralsEnabled :: Int -> Bool Source

explicitForallEnabled :: Int -> Bool Source

inRulePrag :: Int -> Bool Source

explicitNamespacesEnabled :: Int -> Bool Source

patternSynonymsEnabled :: Int -> Bool Source

sccProfilingOn :: Int -> Bool Source

hpcEnabled :: Int -> Bool Source

addWarning :: WarningFlag -> SrcSpan -> SDoc -> P () Source

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