Moduleplutus-core-1.70.0.0

PlutusCore.Rename

valuedupable :: a -> Dupable a

valuegetRenamed :: (Rename a, MonadQuote m) => a -> m (Renamed a)

valueliftDupable :: (MonadQuote m, Rename a) => Dupable a -> m a

classclass Rename a where

Instances6Rename

Rename a => Rename (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename
HasUniques (Type tyname uni ann) => Rename (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename
HasUniques (Program name uni fun ann) => Rename (Program name uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Rename · orphan
HasUniques (Term name uni fun ann) => Rename (Term name uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Rename · orphan
HasUniques (Program tyname name uni fun ann) => Rename (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename
HasUniques (Term tyname name uni fun ann) => Rename (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename

newtypenewtype Dupable a

Instances2Eq, Show

Eq a => Eq (Dupable a)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Internal
Show a => Show (Dupable a)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Internal

newtypenewtype Renamed a

Instances2Eq, Show

Eq a => Eq (Renamed a)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Internal
Show a => Show (Renamed a)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Internal

valueunRenamed :: Renamed a -> a