| Safe Haskell | None |
|---|---|
| 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.