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

PlutusCore.Core.Plated

Synopsis

Documentation

kindSubkinds ∷ Traversal' (Kind ann) (Kind ann) Source #

kindSubkindsDeep ∷ Fold (Kind ann) (Kind ann) Source #

tyVarDeclSubkinds ∷ Traversal' (TyVarDecl tyname a) (Kind a) Source #

Get all the direct child Kinds of the given TyVarDecl.

typeTyBinds ∷ Traversal' (Type tyname uni ann) tyname Source #

Get all the direct child 'tyname a's of the given Kind from binders.

typeTyVars ∷ Traversal' (Type tyname uni ann) tyname Source #

Get all the direct child 'tyname a's of the given Kind from TyVars.

typeUniquesHasUniques (Type tyname uni ann) ⇒ Traversal' (Type tyname uni ann) Unique Source #

Get all the direct child Uniques of the given Kind from binders TyVars.

typeSubkinds ∷ Traversal' (Type tyname uni ann) (Kind ann) Source #

Get all the direct child Kinds of the given Kind.

typeSubtypes ∷ Traversal' (Type tyname uni ann) (Type tyname uni ann) Source #

Get all the direct child Kinds of the given Kind.

typeSubtypesDeep ∷ Fold (Type tyname uni ann) (Type tyname uni ann) Source #

Get all the transitive child Kinds of the given Kind.

varDeclSubtypes ∷ Traversal' (VarDecl tyname name uni a) (Type tyname uni a) Source #

Get all the direct child Kinds of the given VarDecl.

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

Get all the direct child 'tyname a's of the given Term from TyAbses.

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

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

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

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

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

Get all the direct child Uniques of the given Term (including the type-level ones).

termSubkinds ∷ Traversal' (Term tyname name uni fun ann) (Kind ann) Source #

Get all the direct child Kinds of the given Term.

termSubtypes ∷ Traversal' (Term tyname name uni fun ann) (Type tyname uni ann) Source #

Get all the direct child Kinds of the given Term.

termSubtypesDeep ∷ Fold (Term tyname name uni fun ann) (Type tyname uni ann) Source #

Get all the transitive child Kinds of the given Term.

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

Get all the direct child Terms of the given Term.

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

Get all the transitive child Terms of the given Term.

typeUniquesDeepHasUniques (Type tyname uni ann) ⇒ Fold (Type tyname uni ann) Unique Source #

Get all the transitive child Uniques of the given Kind.

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

Get all the transitive child Uniques of the given Term (including the type-level ones).