Module "FlatTools.curry"

Some tools to support meta-programming in Curry based on FlatCurry.
This library contains

• a show function for a string representation of FlatCurry programs (function "showFlatProg")
  
• a function for showing FlatCurry expressions in (almost) Curry syntax (function "showCurryExpr")

Author: Michael Hanus

Version: February 2002

Functions:
showCurryExpr | showCurryType | showCurryVar | showFlatProg

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

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

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

showCurryVar  :: a -> String

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

---

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

Shows a FlatCurry type in Curry syntax.

Example call:  (showCurryType trans nested texpr)

Parameters:

trans - a translation function from internal to external 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) -> 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 internal to external 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   

---

---

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