| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
BNFC.Backend.Haskell.Printer
Synopsis
- haskellPrinter :: LBNF -> State HaskellBackendState Result
- cf2printer :: LBNF -> String -> Bool -> Maybe String -> Bool -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [(CatName, TokenDef)] -> Bool -> TokenText -> String
- cf2doc :: LBNF -> String -> Bool -> Maybe String -> Bool -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [(CatName, TokenDef)] -> Bool -> TokenText -> Doc ()
- printPrologue :: LBNF -> String -> Bool -> Maybe String -> Bool -> ModuleName -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> Doc ()
- printTokenInstances :: ModuleName -> TokenText -> [(CatName, TokenDef)] -> Doc ()
- printTokenInstance :: ModuleName -> TokenText -> (CatName, TokenDef) -> Doc ()
- printCatInstances :: ModuleName -> Bool -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> Doc ()
- printCatInstance :: ModuleName -> Bool -> Type -> [(Label, ([Type], (Integer, ARHS)))] -> Doc ()
- printCase :: Doc () -> Bool -> (Label, (Integer, ARHS)) -> (Integer, Doc ())
- rhsToPrint :: ARHS -> [Doc ()]
Documentation
cf2printer :: LBNF -> String -> Bool -> Maybe String -> Bool -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [(CatName, TokenDef)] -> Bool -> TokenText -> String Source #
cf2doc :: LBNF -> String -> Bool -> Maybe String -> Bool -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [(CatName, TokenDef)] -> Bool -> TokenText -> Doc () Source #
printPrologue :: LBNF -> String -> Bool -> Maybe String -> Bool -> ModuleName -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> Doc () Source #
printTokenInstances :: ModuleName -> TokenText -> [(CatName, TokenDef)] -> Doc () Source #
Print tokens instances for the printer.
printTokenInstance :: ModuleName -> TokenText -> (CatName, TokenDef) -> Doc () Source #
printCatInstances :: ModuleName -> Bool -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> Doc () Source #
Print cateries instances for the printer.
printCatInstance :: ModuleName -> Bool -> Type -> [(Label, ([Type], (Integer, ARHS)))] -> Doc () Source #
rhsToPrint :: ARHS -> [Doc ()] Source #