Moduleplutus-core-1.70.0.0

PlutusCore.Check.Scoping

12 types
4 classes
22 values

Packageplutus-core-1.70.0.0
Exports38
LicenceApache-2.0

valueapplyDisappears :: Disappears -> ScopedName -> ScopedName -> ScopeInfo

valueapplyNameAction

:: NameAction
-> ScopedName
-> ScopedName
-> Either ScopeError ScopeInfo

valueapplyStays :: Stays -> ScopedName -> ScopeInfo

valuecheckEmptyOn

:: Set ScopedName -> Set ScopedName -> Set ScopedName
-> Set ScopedName -> Set ScopedName -> ScopeError
-> Set ScopedName
-> Set ScopedName
-> Either ScopeError ()

valuecheckRespectsScoping

:: Scoping t
=> BindingRemoval
-> t NameAnn -> t NameAnn
-> t NameAnn -> t NameAnn
-> t ann
-> Either (ScopeCheckError t) ()

valuecheckScopeInfo :: BindingRemoval -> ScopeInfo -> Either ScopeError ()

valueemptyScopeInfo :: ScopeInfo

valueestablishScopingBinder

:: (Reference name value, ToScopedName name, EstablishScoping sort, EstablishScoping value)
=> NameAnn -> name -> sort NameAnn -> value NameAnn -> value NameAnn
-> name
-> sort ann
-> value ann
-> Quote (value NameAnn)

valuehandleSname :: ToScopedName name => NameAnn -> name -> ScopeErrorOrInfo

valueintroduceBound :: ToScopedName name => name -> NameAnn

valueisSameScope :: ScopedName -> ScopedName -> Bool

valuemergeScopeInfo :: ScopeInfo -> ScopeInfo -> Either ScopeError ScopeInfo

valueoverrideSname :: ScopeEntry -> ScopedName -> ScopeInfo -> ScopeInfo

valuereferenceBound :: Reference n t => n -> t NameAnn -> t NameAnn

valuereferenceOutOfScope :: Reference n t => n -> t NameAnn -> t NameAnn

valueregisterBound :: ToScopedName name => name -> NameAnn

valueregisterFree :: ToScopedName name => name -> NameAnn

valueregisterOutOfScope :: ToScopedName name => name -> NameAnn

valuesymmetricDifference :: Ord a => Set a -> Set a -> Set a

valueto :: ScopeEntry -> ScopeInfo -> Set ScopedName

valueunScopeErrorOrInfo :: ScopeErrorOrInfo -> Either ScopeError ScopeInfo

valueunScopeInfo :: ScopeInfo -> Map ScopeEntry (Set ScopedName)

datadata BindingRemoval

BindingRemovalOk BindingRemovalNotOk

Instances2Eq, Show

Eq BindingRemovalDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Show BindingRemovalDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping

classclass CollectScopeInfo (t :: Type -> Type) where

Methods

collectScopeInfo :: t NameAnn -> ScopeErrorOrInfo

Instances7CollectScopeInfo, …

CollectScopeInfo KindDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
CollectScopeInfo ProxyDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
tyname ~ TyName => CollectScopeInfo (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
name ~ Name => CollectScopeInfo (Program name uni fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Scoping · orphan
name ~ Name => CollectScopeInfo (Term name uni fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Scoping · orphan
(tyname ~ TyName, name ~ Name) => CollectScopeInfo (Program tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
(tyname ~ TyName, name ~ Name) => CollectScopeInfo (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan

datadata Disappears

DisappearsBinding DisappearsVariable

Instances2Eq, Show

Eq DisappearsDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Show DisappearsDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping

classclass EstablishScoping (t :: Type -> Type) where

Methods

establishScoping :: t ann -> Quote (t NameAnn)

Instances7EstablishScoping, …

EstablishScoping KindDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
EstablishScoping ProxyDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
tyname ~ TyName => EstablishScoping (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
name ~ Name => EstablishScoping (Program name uni fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Scoping · orphan
name ~ Name => EstablishScoping (Term name uni fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Scoping · orphan
(tyname ~ TyName, name ~ Name) => EstablishScoping (Program tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
(tyname ~ TyName, name ~ Name) => EstablishScoping (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan

datadata NameAction

Instances2Eq, Show

Eq NameActionDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Show NameActionDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping

datadata NameAnn

Constructors

NameAction NameAction ScopedName
NotAName

Instances3Eq, Show, Pretty

Eq NameAnnDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Show NameAnnDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Pretty NameAnnDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping

classclass Reference n (t :: Type -> Type) where

Methods

referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> n -> t NameAnn -> t NameAnn

Instances6Reference

tyname ~ TyName => Reference TyName (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
name ~ Name => Reference Name (Term name uni fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Scoping · orphan
name ~ Name => Reference Name (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
tyname ~ TyName => Reference TyName (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
Reference n t => Reference (NonEmpty n) tDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Reference n t => Reference [n] tDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping

datadata ScopeCheckError (t :: Type -> Type)

Constructors

ScopeCheckError
- _input :: !t NameAnn
- _prepared :: !t NameAnn
- _output :: !t NameAnn
- _error :: !ScopeError

Instances2PrettyBy, Show

PrettyBy config (t NameAnn) => PrettyBy config (ScopeCheckError t)Defined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Show (t NameAnn) => Show (ScopeCheckError t)Defined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping

datadata ScopeEntry

DisappearedBindings DisappearedVariables AppearedBindings AppearedVariables StayedOutOfScopeVariables StayedFreeVariables

Instances3Eq, Ord, Show

Eq ScopeEntryDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Ord ScopeEntryDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Show ScopeEntryDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping

datadata ScopeError

Constructors

UnannotatedName !ScopedName
NameChangedItsScope
- _oldName :: !ScopedName
- _newName :: !ScopedName
NameUnexpectedlyDisappeared
- _oldName :: !ScopedName
- _newName :: !ScopedName
NameUnexpectedlyStayed !ScopedName
DuplicateBindersInTheInput
- _duplicateBindersLeft :: !Set ScopedName
- _duplicateBindersRight :: !Set ScopedName
DuplicateBindersInTheOutput !(Set ScopedName) !(Set ScopedName)
DisappearedBindingsDiscordWithBoundVariables
- _disappearedBindings :: !Set ScopedName
- _boundVariables :: !Set ScopedName
DisappearedBindingsDiscordWithOutOfScopeVariables
- _disappearedBindings :: !Set ScopedName
- _outOfScopeVariables :: !Set ScopedName
AppearedBindingsDiscordWithBoundVariables
- _appearedBindings :: !Set ScopedName
- _boundVariables :: !Set ScopedName
DisappearedBindingsClashWithFreeVariables
- _disappearedBindings :: !Set ScopedName
- _freeVariables :: !Set ScopedName
DisappearedBindingsClashWithAppearedBindings
- _disppearedBindings :: !Set ScopedName
- _appearedBindings :: !Set ScopedName
AppearedBindingsClashWithFreeVariabes
- _appearedBindings :: !Set ScopedName
- _freeVariables :: !Set ScopedName

Instances2Show, Pretty

Show ScopeErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Pretty ScopeErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping

newtypenewtype ScopeErrorOrInfo

Constructors

ScopeErrorOrInfo (Either ScopeError ScopeInfo)

Instances2Semigroup, Monoid

Semigroup ScopeErrorOrInfoDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Monoid ScopeErrorOrInfoDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping