Module FlatCurry.Show

This library contains operations to transform FlatCurry programs into string representations, either in a FlatCurry format or in a Curry-like syntax.

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: October 2015

Summary of exported operations:

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.

Exported operations:

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

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 :: a -> String   

showCurryId :: String -> String   

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