| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Rename.Internal
Description
The internal module of the renamer that defines the actual algorithms, but not the user-facing API.
Synopsis
- module PlutusCore.Rename.Monad
- renameTermM ∷ (HasUniques (Term name uni fun ann), MonadQuote m) ⇒ Term name uni fun ann → ScopedRenameT m (Term name uni fun ann)
- renameProgramM ∷ (HasUniques (Program name uni fun ann), MonadQuote m) ⇒ Program name uni fun ann → ScopedRenameT m (Program name uni fun ann)
Documentation
module PlutusCore.Rename.Monad
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.