| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
BNFC.Backend.Haskell.CFtoAbstract
Synopsis
- cf2Abstract :: SharedOptions -> String -> CF -> Doc
- data DefCfg = DefCfg {}
- definedRules' :: DefCfg -> Bool -> CF -> [Doc]
- definedRules :: Bool -> CF -> [Doc]
Documentation
Arguments
| :: SharedOptions | |
| -> String | Module name. |
| -> CF | Grammar. |
| -> Doc |
Create a Haskell module containing data type definitions for the abstract syntax.
Parametrize definedRules so that it can be used for Agda as well.