Module FlatCurry.Show

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.

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

isClassContext :: TypeExpr -> Maybe (String,TypeExpr)   

Tests whether a FlatCurry type is a class context. If it is the case, return the class name and the type parameter of the context.

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

showCurryVar :: Show a => a -> String   

showCurryId :: String -> String   

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