FormalLanguage.CFG.QQ

This QuasiQuoter turns the description of formal grammars into ADPfusion-based code.

TODO use Quote.quoteFile to be able to read files as well

Documentation

formalLangFile :: QuasiQuoter

formalLanguage :: QuasiQuoter

parseFormalLanguage :: GrammarParser Parser () -> String -> Q [Dec]

trim :: [Char] -> [Char]

uniquePrefixLength :: Seq Grammar -> Int

Determine the length of the unique prefix we need for algebra functions.