Moduleplutus-core-1.70.0.0

PlutusCore.Rename.Internal

7 types
1 class
12 values

Packageplutus-core-1.70.0.0
Exports20
LicenceApache-2.0

valuerenameProgramM

:: (HasUniques (Program tyname name uni fun ann), MonadQuote m, MonadReader ScopedRenaming m)
=> Program tyname name uni fun ann
-> m (Program tyname name uni fun ann)

valuerenameTermM

:: (HasUniques (Term tyname name uni fun ann), MonadQuote m, MonadReader ScopedRenaming m)
=> Term tyname name uni fun ann
-> m (Term tyname name uni fun ann)

valuerenameTypeM

:: (HasRenaming ren TypeUnique, HasUniques (Type tyname uni ann), MonadQuote m, MonadReader ren m)
=> Type tyname uni ann
-> m (Type tyname uni ann)

valuewithFreshenedTyVarDecl

:: (HasRenaming ren TypeUnique, HasUniques (Type tyname uni ann), MonadQuote m, MonadReader ren m)
=> TyVarDecl tyname ann
-> TyVarDecl tyname ann -> m c
-> m c

valuewithFreshenedVarDecl

:: (HasUniques (Term tyname name uni fun ann), MonadQuote m, MonadReader ScopedRenaming m)
=> VarDecl tyname name uni ann
-> m (VarDecl tyname name uni ann) -> m c
-> m c

valuelookupNameM

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

valuerenameNameM

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

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

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

newtypenewtype Dupable a

Constructors

Dupable
- unDupable :: 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

Constructors

Renamed
- unRenamed :: 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

classclass Coercible unique Unique => HasRenaming ren unique where

Methods

renaming :: Lens' ren (Renaming unique)

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

Constructors

RenameT
- unRenameT :: ReaderT ren m 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

Constructors

Renaming
- unRenaming :: UniqueMap unique 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

Constructors

ScopedRenaming
- _scopedRenamingTypes :: Renaming TypeUnique
- _scopedRenamingTerms :: Renaming TermUnique

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