| ||||||||||||||||||||
| ||||||||||||||||||||
| Documentation | ||||||||||||||||||||
| class Rename a where | ||||||||||||||||||||
| ||||||||||||||||||||
| type RenameM = State RenameS | ||||||||||||||||||||
| data RenameS | ||||||||||||||||||||
| ||||||||||||||||||||
| traceM :: String -> RenameM () | ||||||||||||||||||||
| runRename :: RenameM a -> a | ||||||||||||||||||||
| bindN :: NameSpace -> Var -> RenameM Var | ||||||||||||||||||||
| bindCoreVar :: Var -> RenameM () | ||||||||||||||||||||
| renameVarN :: NameSpace -> Var -> RenameM Var | ||||||||||||||||||||
| lookupNM :: NameSpace -> Var -> RenameM (Maybe Var) | ||||||||||||||||||||
| lookupNM' :: String -> [Map String Var] -> Maybe Var | ||||||||||||||||||||
| lookupN :: NameSpace -> Var -> RenameM Var | ||||||||||||||||||||
| lbindN :: NameSpace -> Var -> RenameM Var | ||||||||||||||||||||
| pushN :: NameSpace -> RenameM () | ||||||||||||||||||||
| popN :: NameSpace -> RenameM () | ||||||||||||||||||||
| Produced by Haddock version 0.7 | ||||||||||||||||||||