Documentation

haskellTemplate :: LBNF -> State HaskellBackendState Result Source #

cf2template :: [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [CatName] -> String -> Bool -> Maybe String -> Bool -> String Source #

cf2doc :: [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [CatName] -> String -> Bool -> Maybe String -> Bool -> Doc () Source #

prologue :: ModuleName -> ModuleName -> Bool -> Bool -> Doc () Source #

printTokens :: ModuleName -> [CatName] -> Doc () Source #

printToken :: ModuleName -> CatName -> Doc () Source #

printDatas :: ModuleName -> Bool -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> Doc () Source #

printData :: ModuleName -> Bool -> Type -> [(Label, ([Type], (Integer, ARHS)))] -> Doc () Source #

printCase :: ModuleName -> Bool -> (Label, ARHS) -> Doc () Source #