Documentation

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)]