Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Core.Instance.Scoping

Contents

Orphan instances

Orphan instances

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