Safe Haskell | None |
---|---|
Language | Haskell2010 |
This QuasiQuoter turns the description of formal grammars into ADPfusion-based code.
TODO use Quote.quoteFile to be able to read files as well
- formalLangFile :: QuasiQuoter
- formalLanguage :: QuasiQuoter
- parseFormalLanguage :: GrammarParser Parser () -> String -> Q [Dec]
- trim :: [Char] -> [Char]
- uniquePrefixLength :: Seq Grammar -> Int
Documentation
parseFormalLanguage :: GrammarParser Parser () -> String -> Q [Dec] Source
uniquePrefixLength :: Seq Grammar -> Int Source
Determine the length of the unique prefix we need for algebra functions.