PlutusCore.Core.Instance.Scoping
Contents
Methods
collectScopeInfo ∷ Kind NameAnn → ScopeErrorOrInfo Source #
establishScoping ∷ Kind ann → Quote (Kind NameAnn) Source #
referenceVia ∷ (∀ name. ToScopedName name ⇒ name → NameAnn) → TyName → Type tyname uni NameAnn → Type tyname uni NameAnn Source #
referenceVia ∷ (∀ name0. ToScopedName name0 ⇒ name0 → NameAnn) → Name → Term tyname name uni fun NameAnn → Term tyname name uni fun NameAnn Source #
referenceVia ∷ (∀ name0. ToScopedName name0 ⇒ name0 → NameAnn) → TyName → Term tyname name uni fun NameAnn → Term tyname name uni fun NameAnn Source #
collectScopeInfo ∷ Type tyname uni NameAnn → ScopeErrorOrInfo Source #
establishScoping ∷ Type tyname uni ann → Quote (Type tyname uni NameAnn) Source #
collectScopeInfo ∷ Program tyname name uni fun NameAnn → ScopeErrorOrInfo Source #
collectScopeInfo ∷ Term tyname name uni fun NameAnn → ScopeErrorOrInfo Source #
establishScoping ∷ Program tyname name uni fun ann → Quote (Program tyname name uni fun NameAnn) Source #
establishScoping ∷ Term tyname name uni fun ann → Quote (Term tyname name uni fun NameAnn) Source #