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. |