BNFC3-3.0: A compiler front-end generator.

Safe Haskell	None
Language	Haskell2010

BNFC.Backend.Agda.InitState

Synopsis

agdaInitState :: LBNF -> GlobalOptions -> AgdaBackendOptions -> Except String AgdaBackendState
processASTRulesAgda :: [String] -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [(Type, [(Label, [Type])])]
toAgdaRules :: (Type, [(Label, ([Type], (Integer, ARHS)))]) -> (Type, [(Label, [Type])])
filterRules :: [String] -> [(Type, [(Label, [Type])])] -> [(Type, [(Label, [Type])])]
filterLabelsAgdaAST :: [String] -> [(Label, [Type])] -> [(Label, [Type])]

Documentation

agdaInitState :: LBNF -> GlobalOptions -> AgdaBackendOptions -> Except String AgdaBackendState Source #

processASTRulesAgda :: [String] -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [(Type, [(Label, [Type])])] Source #

toAgdaRules :: (Type, [(Label, ([Type], (Integer, ARHS)))]) -> (Type, [(Label, [Type])]) Source #

filterRules :: [String] -> [(Type, [(Label, [Type])])] -> [(Type, [(Label, [Type])])] Source #

filterLabelsAgdaAST :: [String] -> [(Label, [Type])] -> [(Label, [Type])] Source #

Filter Labels that will be printed in the Agda AST datatypes.