BNFC.Backend.Agda.State

Documentation

data AgdaBackendState

Constructors

AgdaSt

Fields

• globalOpt :: GlobalOptions
• agdaOpts :: AgdaBackendOptions
• lexerParserTokens :: [Token]
• hsAstRules :: [(Type, [(Label, ([Type], (Integer, ARHS)))])]
• agdaAstRules :: [(Type, [(Label, [Type])])]
• parserRules :: [(Cat, Map RHS RuleLabel)]
• hsFunctions :: [(LabelName, Function)]
• agdaFunctions :: [(LabelName, Function)]
• tokens :: [(CatName, TokenDef)]