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 :: Parse' () -> String -> Q [Dec]

trim :: [Char] -> [Char]

uniquePrefixLength :: Seq Grammar -> Int

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

TODO only go over inside grammars! unless the inside grammar for an outside grammar has not been emitted.