Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Core.Plated

Synopsis

termConstants ∷ Traversal' (Term name uni fun ann) (Some (ValueOf uni))
termBinds ∷ Traversal' (Term name uni fun ann) name
termVars ∷ Traversal' (Term name uni fun ann) name
termUniques ∷ HasUniques (Term name uni fun ann) ⇒ Traversal' (Term name uni fun ann) Unique
termSubterms ∷ Traversal' (Term name uni fun ann) (Term name uni fun ann)
termConstantsDeep ∷ Fold (Term name uni fun ann) (Some (ValueOf uni))
termSubtermsDeep ∷ Fold (Term name uni fun ann) (Term name uni fun ann)
termUniquesDeep ∷ HasUniques (Term name uni fun ann) ⇒ Fold (Term name uni fun ann) Unique

Documentation

termConstants ∷ Traversal' (Term name uni fun ann) (Some (ValueOf uni)) Source #

Get all the direct constants of the given Term from Constants.

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.

termUniques ∷ HasUniques (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.

termConstantsDeep ∷ Fold (Term name uni fun ann) (Some (ValueOf uni)) Source #

Get all the transitive child Constants 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.

termUniquesDeep ∷ HasUniques (Term name uni fun ann) ⇒ Fold (Term name uni fun ann) Unique Source #

Get all the transitive child Uniques of the given Term.