Module FlatCurry.Print

Auxiliaries for printing FlatCurry entities.

Author: Michael Hanus

Version: January 2024

Summary of exported operations:

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

Shows a pretty-printed FlatCurry program.

Shows a pretty-printed FlatCurry expression.

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.

Pretty prints a FlatCurry expression.

Pretty prints a FlatCurry expression.