|
|
|
|
|
|
|
| Documentation |
|
| renameTree :: Tree -> RenameM Tree |
|
| rename_VT :: (Var, Type) -> RenameM (Var, Type) |
|
| renameClassInh :: (Var, [Var]) -> RenameM (Var, [Var]) |
|
| renameClassSig :: ([Var], Type) -> RenameM ([Var], Type) |
|
| renameInstInh :: (Var, [Type]) -> RenameM (Var, [Type]) |
|
| renameCtor :: (Var, [DataField Exp Type]) -> RenameM (Var, [DataField Exp Type]) |
|
| renameData :: Var -> [Var] -> [(Var, [DataField Exp Type])] -> RenameM (Var, [Var], [Ctor]) |
|
| renameA :: (Var, [Var], Exp) -> RenameM (Var, [Var], Exp) |
|
| renameSs :: [Stmt] -> RenameM [Stmt] |
|
| renamePat :: Exp -> RenameM Exp |
|
| lookupZ :: Var -> RenameM Var |
|
| lbindZ :: Var -> RenameM Var |
|
| bindZ :: Var -> RenameM Var |
|
| Produced by Haddock version 0.7 |
