Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Rename

Contents

Orphan instances

Description

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

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

rename ∷ MonadQuote 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 rename ∷ MonadQuote 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 rename ∷ MonadQuote 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 rename ∷ MonadQuote 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 rename ∷ MonadQuote 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 rename ∷ MonadQuote 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 rename ∷ MonadQuote 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 rename ∷ MonadQuote 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 rename ∷ MonadQuote m ⇒ Term name uni fun ann → m (Term name uni fun ann) Source #