| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Subst
Synopsis
- fvTerm ∷ HasUnique name TermUnique ⇒ Traversal' (Term tyname name uni fun ann) name
- ftvTerm ∷ HasUnique tyname TypeUnique ⇒ Traversal' (Term tyname name uni fun ann) tyname
- fvBinding ∷ HasUnique name TermUnique ⇒ Traversal' (Binding tyname name uni fun ann) name
- ftvBinding ∷ HasUnique tyname TypeUnique ⇒ Recursivity → Traversal' (Binding tyname name uni fun ann) tyname
- ftvTy ∷ ∀ tyname unique (uni ∷ Type → Type) ann. HasUnique tyname unique ⇒ Traversal' (Type tyname uni ann) tyname
- vTerm ∷ Fold (Term tyname name uni fun ann) name
- tvTerm ∷ Fold (Term tyname name uni fun ann) tyname
- tvTy ∷ ∀ tyname (uni ∷ Type → Type) ann f. (Contravariant f, Applicative f) ⇒ (tyname → f tyname) → Type tyname uni ann → f (Type tyname uni ann)
Documentation
fvTerm ∷ HasUnique name TermUnique ⇒ Traversal' (Term tyname name uni fun ann) name Source #
Get all the free term variables in a PIR term.
ftvTerm ∷ HasUnique tyname TypeUnique ⇒ Traversal' (Term tyname name uni fun ann) tyname Source #
Get all the free type variables in a PIR term.
fvBinding ∷ HasUnique name TermUnique ⇒ Traversal' (Binding tyname name uni fun ann) name Source #
Get all the free variables in a PIR single let-binding.
ftvBinding ∷ HasUnique tyname TypeUnique ⇒ Recursivity → Traversal' (Binding tyname name uni fun ann) tyname Source #
Get all the free type variables in a PIR single let-binding.
ftvTy ∷ ∀ tyname unique (uni ∷ Type → Type) ann. HasUnique tyname unique ⇒ Traversal' (Type tyname uni ann) tyname Source #
Get all the free type variables in a type.
tvTy ∷ ∀ tyname (uni ∷ Type → Type) ann f. (Contravariant f, Applicative f) ⇒ (tyname → f tyname) → Type tyname uni ann → f (Type tyname uni ann) Source #
Get all the type variables in a type.