| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.Rename
Contents
Description
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.