plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
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

renameMonadQuote 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

renameMonadQuote m ⇒ Term tyname name uni fun ann → m (Term tyname name uni fun ann) Source #