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.