Parser.Pragma

Documentation

parseMacroName :: Parser String

parsePragmas :: [Parser a] -> Parser [a]

pragmaComment :: Parser (Pragma SourcePos)

pragmaExprLookup :: Parser (Pragma SourcePos)

pragmaNoTrace :: Parser (Pragma SourcePos)

pragmaModuleOnly :: Parser (Pragma SourcePos)

pragmaSourceContext :: Parser (Pragma SourcePos)

pragmaTestsOnly :: Parser (Pragma SourcePos)

pragmaTraceCreation :: Parser (Pragma SourcePos)