Moduleplutus-core-1.70.0.0

PlutusCore.Rename.Monad

valuelookupNameM

valuerenameNameM

valuerunRenameT :: Monoid ren => RenameT ren m a -> m a

valuescopedRenamingTerms :: Lens' ScopedRenaming (Renaming TermUnique)

valuescopedRenamingTypes :: Lens' ScopedRenaming (Renaming TypeUnique)

valuewithFreshenedName

:: (HasRenaming ren unique, HasUnique name unique, MonadQuote m, MonadReader ren m)
=> name
-> name -> m c
-> m c

valuewithRenamedName

classclass Coercible unique Unique => HasRenaming ren unique where

Instances5HasRenaming

HasRenaming ScopedRenaming TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
HasRenaming ScopedRenaming TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
(Coercible unique1 Unique, unique1 ~ unique2) => HasRenaming (Renaming unique1) unique2Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
HasRenaming ren unique => HasRenaming (Bilateral ren) (LR unique)Defined in plutus-core-1.70.0.0 · PlutusCore.Eq
HasRenaming ren unique => HasRenaming (Bilateral ren) (RL unique)Defined in plutus-core-1.70.0.0 · PlutusCore.Eq

newtypenewtype RenameT ren (m :: Type -> Type) a

Instances6MonadReader, Monad, Functor, Applicative, Alternative, MonadQuote

Monad m => MonadReader ren (RenameT ren m)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
Monad m => Monad (RenameT ren m)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
Functor m => Functor (RenameT ren m)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
Applicative m => Applicative (RenameT ren m)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
Alternative m => Alternative (RenameT ren m)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
MonadQuote m => MonadQuote (RenameT ren m)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad

newtypenewtype Renaming unique

Instances3Semigroup, Monoid, HasRenaming

Semigroup (Renaming unique)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
Monoid (Renaming unique)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
(Coercible unique1 Unique, unique1 ~ unique2) => HasRenaming (Renaming unique1) unique2Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad

typetype ScopedRenameT = RenameT ScopedRenaming

datadata ScopedRenaming

Instances4Semigroup, Monoid, HasRenaming

Semigroup ScopedRenamingDefined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
Monoid ScopedRenamingDefined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
HasRenaming ScopedRenaming TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
HasRenaming ScopedRenaming TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad

typetype TypeRenaming = Renaming TypeUnique