plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusIR.Transform.Rename

Description

Renaming of PIR terms. Import this module to bring the PLC.Rename (Term tyname name uni fun ann) instance in scope.

Synopsis

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.

Orphan instances

HasUniques (Term tyname name uni fun ann) => Rename (Program tyname name uni fun ann) Source # 
Instance details

Methods

rename :: MonadQuote m => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #

HasUniques (Term tyname name uni fun ann) => Rename (Term tyname name uni fun ann) Source # 
Instance details

Methods

rename :: MonadQuote m => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #