plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

UntypedPlutusCore.Core.Plated

Synopsis

Documentation

termBinds ∷ Traversal' (Term name uni fun ann) name Source #

Get all the direct child 'name a's of the given Term from LamAbses.

termVars ∷ Traversal' (Term name uni fun ann) name Source #

Get all the direct child 'name a's of the given Term from Vars.

termUniquesHasUniques (Term name uni fun ann) ⇒ Traversal' (Term name uni fun ann) Unique Source #

Get all the direct child Uniques of the given Term.

termSubterms ∷ Traversal' (Term name uni fun ann) (Term name uni fun ann) Source #

Get all the direct child Terms of the given Term.

termSubtermsDeep ∷ Fold (Term name uni fun ann) (Term name uni fun ann) Source #

Get all the transitive child Terms of the given Term.

termUniquesDeepHasUniques (Term name uni fun ann) ⇒ Fold (Term name uni fun ann) Unique Source #

Get all the transitive child Uniques of the given Term.