Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Renaming of PIR terms. Import this module to bring the PLC.Rename (Term tyname name uni fun ann)
instance in scope.
Synopsis
- renameTermM ∷ (MonadRename m, HasUniques (Term tyname name uni fun ann)) ⇒ Term tyname name uni fun ann → m (Term tyname name uni fun ann)
- renameProgramM ∷ (MonadRename m, HasUniques (Term tyname name uni fun ann)) ⇒ Program tyname name uni fun ann → m (Program tyname name uni fun ann)
Documentation
renameTermM ∷ (MonadRename m, HasUniques (Term tyname name uni fun ann)) ⇒ Term tyname name uni fun ann → m (Term tyname name uni fun ann) Source #
Rename a Term
in the ScopedRenameM
monad.
renameProgramM ∷ (MonadRename m, HasUniques (Term tyname name uni fun ann)) ⇒ Program tyname name uni fun ann → m (Program tyname name uni fun ann) Source #
Rename a Term
in the ScopedRenameM
monad.