Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Core.Instance.Scoping

Contents

Orphan instances

name ~ Name ⇒ Reference Name (Term name uni fun) Source #
Instance details Methods referenceVia ∷ (∀ name0. ToScopedName name0 ⇒ name0 → NameAnn) → Name → Term name uni fun NameAnn → Term name uni fun NameAnn Source #
name ~ Name ⇒ CollectScopeInfo (Program name uni fun) Source #
Instance details Methods collectScopeInfo ∷ Program name uni fun NameAnn → ScopeErrorOrInfo Source #
name ~ Name ⇒ CollectScopeInfo (Term name uni fun) Source #
Instance details Methods collectScopeInfo ∷ Term name uni fun NameAnn → ScopeErrorOrInfo Source #
name ~ Name ⇒ EstablishScoping (Program name uni fun) Source #
Instance details Methods establishScoping ∷ Program name uni fun ann → Quote (Program name uni fun NameAnn) Source #
name ~ Name ⇒ EstablishScoping (Term name uni fun) Source #
Instance details Methods establishScoping ∷ Term name uni fun ann → Quote (Term name uni fun NameAnn) Source #