Safe Haskell | None |
---|---|
Language | Haskell2010 |
The user-facing API of the untyped renamer. See PlutusCore.Rename for details.
Synopsis
-
class
Rename
a
where
- rename :: MonadQuote m => a -> m a
Documentation
The class of things that can be renamed. I.e. things that are capable of satisfying the global uniqueness condition.
rename :: MonadQuote m => a -> m a Source #
Rename
Unique
s so that they're globally unique.
In case there are any free variables, they must be left untouched and bound variables
must not get renamed to free ones.
Must always assign new names to bound variables,
so that
rename
can be used for alpha-renaming as well.
Instances
Rename a => Rename ( Normalized a) Source # | |
Defined in PlutusCore.Rename rename :: MonadQuote m => Normalized a -> m ( Normalized a) Source # |
|
HasUniques ( Type tyname uni ann) => Rename ( Type tyname uni ann) Source # | |
Defined in PlutusCore.Rename |
|
HasUniques ( Program name uni fun ann) => Rename ( Program name uni fun ann) Source # | |
Defined in UntypedPlutusCore.Rename |
|
HasUniques ( Term name uni fun ann) => Rename ( Term name uni fun ann) Source # | |
Defined in UntypedPlutusCore.Rename |
|
HasUniques ( Program tyname name uni fun ann) => Rename ( Program tyname name uni fun ann) Source # | |
Defined in PlutusCore.Rename |
|
HasUniques ( Term tyname name uni fun ann) => Rename ( Term tyname name uni fun ann) Source # | |
Defined in PlutusCore.Rename |
|
HasUniques ( Term tyname name uni fun ann) => Rename ( Program tyname name uni fun ann) Source # | |
Defined in PlutusIR.Transform.Rename |
|
HasUniques ( Term tyname name uni fun ann) => Rename ( Term tyname name uni fun ann) Source # | |
Defined in PlutusIR.Transform.Rename |