Moduleplutus-core-1.70.0.0

PlutusCore.Check.Scoping

Synopsis

value applyDisappears
value applyNameAction
value applyStays
value checkEmptyOn
value checkRespectsScoping
value checkScopeInfo
value emptyScopeInfo
value establishScopingBinder
value handleSname
value introduceBound
value isSameScope
value mergeScopeInfo
value overrideSname
value referenceBound
value referenceOutOfScope
value registerBound
value registerFree
value registerOutOfScope
value symmetricDifference
value to
value unScopeErrorOrInfo
value unScopeInfo
data BindingRemoval
class CollectScopeInfo
data Disappears
class EstablishScoping
data NameAction
data NameAnn
class Reference
data ScopeCheckError
data ScopeEntry
data ScopeError
newtype ScopeErrorOrInfo
newtype ScopeInfo
data ScopedName
type Scoping
data Stays
class ToScopedName

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