plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

UntypedPlutusCore.Rename.Internal

Description

The internal module of the renamer that defines the actual algorithms, but not the user-facing API.

Synopsis

Documentation

renameTermM ∷ (HasUniques (Term name uni fun ann), MonadQuote m) ⇒ Term name uni fun ann → ScopedRenameT m (Term name uni fun ann) Source #

Rename a Term in the RenameM monad.

renameProgramM ∷ (HasUniques (Program name uni fun ann), MonadQuote m) ⇒ Program name uni fun ann → ScopedRenameT m (Program name uni fun ann) Source #

Rename a Program in the RenameM monad.