Module "FlatCurryShow.curry"

Some tools to show FlatCurry programs.
This library contains

• show functions for a string representation of FlatCurry programs (showFlatProg, showFlatType, showFlatFunc)
• functions for showing FlatCurry (type) expressions in (almost) Curry syntax (showCurryType, showCurryExpr,...).

Author: Michael Hanus

Version: December 2005

Functions:
showCurryExpr | showCurryId | showCurryType | showCurryVar | showFlatFunc | showFlatProg | showFlatType

showFlatProg  :: Prog -> String              Shows a FlatCurry program term as a string (with some pretty printing).

showFlatType  :: TypeDecl -> String

showFlatFunc  :: FuncDecl -> String

showCurryType  :: ((String,String) -> String) -> Bool -> TypeExpr -> String              Shows a FlatCurry type in Curry syntax.

showCurryExpr  :: ((String,String) -> String) -> Bool -> Int -> Expr -> String              Shows a FlatCurry expressions in (almost) Curry syntax.

showCurryVar  :: a -> String

showCurryId  :: String -> String              Shows an identifier in Curry form.

Shows a FlatCurry program term as a string (with some pretty printing).

---

showFlatType :: TypeDecl -> String   

---

showFlatFunc :: FuncDecl -> String   

---

showCurryType :: ((String,String) -> String) -> Bool -> TypeExpr -> String   

Shows a FlatCurry type in Curry syntax.

Example call:  (showCurryType trans nested texpr)

Parameters:

trans - a translation function from qualified type names to external type names

nested - True iff brackets must be written around complex types

texpr - the FlatCurry type expression to be formatted

Returns:

the String representation of the formatted type expression

Further infos:

• incompletely defined

---

showCurryExpr :: ((String,String) -> String) -> Bool -> Int -> Expr -> String   

Shows a FlatCurry expressions in (almost) Curry syntax.

Example call:  (showCurryExpr trans nested indent expr)

Parameters:

trans - a translation function from qualified functions names to external function names

nested - True iff brackets must be written around complex terms

indent - the indentation used in case expressions and if-then-else

expr - the FlatCurry expression to be formatted

Returns:

the String representation of the formatted expression

Further infos:

• incompletely defined

---

showCurryVar :: a -> String   

---

showCurryId :: String -> String   

Shows an identifier in Curry form. Thus, operators are enclosed in brackets.

Further infos:

• incompletely defined

---

---

Generated by CurryDoc (Version 0.4.1 of June 7, 2007) at Aug 28 15:39:14 2008