Auxiliaries for printing FlatCurry entities.
Author: Michael Hanus
Version: January 2024
showFlatProg
:: Prog -> String
Shows a pretty-printed FlatCurry program. |
showTypeExp
:: TypeExpr -> String
Shows a pretty-printed FlatCurry expression. |
ppTypeExp
:: TypeExpr -> Doc
Pretty prints a FlatCurry expression. |
showBindExp
:: Int -> Expr -> String
Shows a pretty-printed variable binding to a FlatCurry expression. |
showExp
:: Expr -> String
Shows a pretty-printed FlatCurry expression. |
ppExp
:: Expr -> Doc
Pretty prints a FlatCurry expression. |
showFuncDecl
:: FuncDecl -> String
Pretty prints a FlatCurry function. |
showFuncDeclAsLambda
:: FuncDecl -> String
Pretty prints a FlatCurry function as a lambda expression. |
Shows a pretty-printed FlatCurry program. |
Shows a pretty-printed FlatCurry expression. |
Shows a pretty-printed variable binding to a FlatCurry expression. |
Pretty prints a FlatCurry function. |
Pretty prints a FlatCurry function as a lambda expression. |