Documentation

haskellAbstractSyntaxGADT :: LBNF -> State HaskellBackendState Result Source #

cf2abs :: LBNF -> String -> Bool -> Maybe String -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [(LabelName, Function)] -> [(CatName, TokenDef)] -> TokenText -> String Source #

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

prologue :: ModuleName -> ModuleName -> Bool -> [String] -> TokenText -> Bool -> Doc () Source #

pragmas :: Bool -> Doc () Source #

imports :: ModuleName -> Bool -> TokenText -> Doc () Source #

printData :: [String] -> Doc () Source #

printTree :: [String] -> TokenText -> [(Type, [(Label, ([Type], (Integer, ARHS)))])] -> [(CatName, TokenDef)] -> Doc () Source #

composInstances :: [(Label, ARHS)] -> Doc () Source #

showInstances :: [(Label, ARHS)] -> [(CatName, TokenDef)] -> Doc () Source #

eqInstance :: Doc () Source #

ordInstance :: Doc () Source #

johnMajorEq :: [(Label, ARHS)] -> [(CatName, TokenDef)] -> Doc () Source #

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

compareSame :: [(Label, ARHS)] -> [(CatName, TokenDef)] -> Doc () Source #