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

UntypedPlutusCore.Rename

Description

The user-facing API of the untyped renamer. See PlutusCore.Rename for details.

Synopsis

Documentation

class Rename a where Source #

The class of things that can be renamed. I.e. things that are capable of satisfying the global uniqueness condition.

Methods

renameMonadQuote m ⇒ a → m a Source #

Rename Uniques 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

Instances details
Rename a ⇒ Rename (Normalized a) Source # 
Instance details

Defined in PlutusCore.Rename

Methods

renameMonadQuote m ⇒ Normalized a → m (Normalized a) Source #

HasUniques (Type tyname uni ann) ⇒ Rename (Type tyname uni ann) Source # 
Instance details

Defined in PlutusCore.Rename

Methods

renameMonadQuote m ⇒ Type tyname uni ann → m (Type tyname uni ann) Source #

HasUniques (Program name uni fun ann) ⇒ Rename (Program name uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Rename

Methods

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

HasUniques (Term name uni fun ann) ⇒ Rename (Term name uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Rename

Methods

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

HasUniques (Program tyname name uni fun ann) ⇒ Rename (Program tyname name uni fun ann) Source # 
Instance details

Defined in PlutusCore.Rename

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

Defined in PlutusCore.Rename

Methods

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

Orphan instances

HasUniques (Program name uni fun ann) ⇒ Rename (Program name uni fun ann) Source # 
Instance details

Methods

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

HasUniques (Term name uni fun ann) ⇒ Rename (Term name uni fun ann) Source # 
Instance details

Methods

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