Exported names: Imported modules:

Module NameChange

Change the names of functions in an entire program.

Author: Björn Peemöller

Version: September 2015

Summary of exported operations:

ncResultants
                  ::  [((String,String),(String,String))] -> [(((String,String),[Int]),Expr)] -> [(((String,String),[Int]),Expr)]

Change the names in a renaming.

ncRenaming
                  ::  [((String,String),(String,String))] -> [(Expr,((String,String),[Int]))] -> [(Expr,((String,String),[Int]))]

Change the names in a renaming.

ncFunc
                  ::  [((String,String),(String,String))] -> FuncDecl -> FuncDecl

Change the names in a function declaration.

ncExpr
                  ::  [((String,String),(String,String))] -> Expr -> Expr

Change the names in an expression.

NameChange

Type synonym: NameChange = [(QName,QName)]

ncResultants :: [((String,String),(String,String))] -> [(((String,String),[Int]),Expr)] -> [(((String,String),[Int]),Expr)]

Change the names in a renaming.

ncRenaming :: [((String,String),(String,String))] -> [(Expr,((String,String),[Int]))] -> [(Expr,((String,String),[Int]))]

Change the names in a renaming.

ncFunc :: [((String,String),(String,String))] -> FuncDecl -> FuncDecl

Change the names in a function declaration.

ncExpr :: [((String,String),(String,String))] -> Expr -> Expr

Change the names in an expression.