Module "AbstractCurryPrinter.curry"

A pretty printer for AbstractCurry programs.
This library defines a function "showProg" that shows an AbstractCurry program in standard Curry syntax.

Author: Martin Engelke, Bernd Brassel, Michael Hanus, Marion Mueller, Parissa Sadeghi

Version: February 2009

Functions:
showExpr | showFuncDecl | showPattern | showProg | showTypeDecl | showTypeDecls | showTypeExpr

showProg  :: CurryProg -> String              Shows an AbstractCurry program in standard Curry syntax.

showTypeDecls  :: [CTypeDecl] -> String              Shows a list of AbstractCurry type declarations in standard Curry syntax.

showTypeDecl  :: CTypeDecl -> String              Shows an AbstractCurry type declaration in standard Curry syntax.

showTypeExpr  :: Bool -> CTypeExpr -> String              Shows an AbstractCurry type expression in standard Curry syntax.

showFuncDecl  :: CFuncDecl -> String              Shows an AbstractCurry function declaration in standard Curry syntax.

showExpr  :: CExpr -> String              Shows an AbstractCurry expression in standard Curry syntax.

showPattern  :: CPattern -> String

Shows an AbstractCurry program in standard Curry syntax. The export list contains the public functions and the types with their data constructors (if all data constructors are public), otherwise only the type constructors. The potential comments in function declarations are formatted as documentation comments.

---

showTypeDecls :: [CTypeDecl] -> String   

Shows a list of AbstractCurry type declarations in standard Curry syntax.

---

showTypeDecl :: CTypeDecl -> String   

Shows an AbstractCurry type declaration in standard Curry syntax.

---

showTypeExpr :: Bool -> CTypeExpr -> String   

Shows an AbstractCurry type expression in standard Curry syntax. If the first argument is True, the type expression is enclosed in brackets.

Further infos:

• incompletely defined

---

showFuncDecl :: CFuncDecl -> String   

Shows an AbstractCurry function declaration in standard Curry syntax.

---

showExpr :: CExpr -> String   

Shows an AbstractCurry expression in standard Curry syntax.

---

showPattern :: CPattern -> String   

Further infos:

• incompletely defined

---

---

Generated by CurryDoc (Version 0.4.1 of June 7, 2007) at Jun 16 17:27:32 2009