| 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 :: (MonadRename m, HasUniques (Term name uni fun ann)) => Term name uni fun ann -> m (Term name uni fun ann)
- renameProgramM :: (MonadRename m, HasUniques (Program name uni fun ann)) => Program name uni fun ann -> m (Program name uni fun ann)
Documentation
module PlutusCore.Rename.Monad
renameTermM :: (MonadRename m, HasUniques (Term name uni fun ann)) => Term name uni fun ann -> m (Term name uni fun ann) Source #
Rename a Term in the RenameM monad.
renameProgramM :: (MonadRename m, HasUniques (Program name uni fun ann)) => Program name uni fun ann -> m (Program name uni fun ann) Source #
Rename a Program in the RenameM monad.