Parser.Pragma

Documentation

parsePragmas :: [TextParser a] -> TextParser [a]

pragmaComment :: TextParser (Pragma SourceContext)

pragmaExprLookup :: TextParser (Pragma SourceContext)

pragmaNoTrace :: TextParser (Pragma SourceContext)

pragmaModuleOnly :: TextParser (Pragma SourceContext)

pragmaSourceContext :: TextParser (Pragma SourceContext)

pragmaTestsOnly :: TextParser (Pragma SourceContext)

pragmaTraceCreation :: TextParser (Pragma SourceContext)

Orphan instances

ParseFromSource MacroName

Methods

sourceParser :: TextParser MacroName