BNFC-2.9.5: A compiler front-end generator.
Safe HaskellSafe-Inferred
LanguageHaskell2010

BNFC.Backend.Haskell.CFtoAbstract

Synopsis

Documentation

cf2Abstract Source #

Arguments

:: SharedOptions 
-> String

Module name.

-> CF

Grammar.

-> Doc 

Create a Haskell module containing data type definitions for the abstract syntax.

data DefCfg Source #

Parametrize definedRules so that it can be used for Agda as well.

Constructors

DefCfg 

definedRules' :: DefCfg -> Bool -> CF -> [Doc] Source #

Generate Haskell/Agda code for the defined constructors.

definedRules :: Bool -> CF -> [Doc] Source #

Generate Haskell code for the defined constructors.