Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Core.Plated

Synopsis

kindSubkinds :: Traversal' (Kind ann) (Kind ann)
kindSubkindsDeep :: Fold (Kind ann) (Kind ann)
tyVarDeclSubkinds :: Traversal' (TyVarDecl tyname a) (Kind a)
typeTyBinds :: Traversal' (Type tyname uni ann) tyname
typeTyVars :: Traversal' (Type tyname uni ann) tyname
typeUniques :: HasUniques (Type tyname uni ann) => Traversal' (Type tyname uni ann) Unique
typeSubkinds :: Traversal' (Type tyname uni ann) (Kind ann)
typeSubtypes :: Traversal' (Type tyname uni ann) (Type tyname uni ann)
typeSubtypesDeep :: Fold (Type tyname uni ann) (Type tyname uni ann)
varDeclSubtypes :: Traversal' (VarDecl tyname name uni a) (Type tyname uni a)
termConstants :: Traversal' (Term tyname name uni fun ann) (Some (ValueOf uni))
termTyBinds :: Traversal' (Term tyname name uni fun ann) tyname
termBinds :: Traversal' (Term tyname name uni fun ann) name
termVars :: Traversal' (Term tyname name uni fun ann) name
termUniques :: HasUniques (Term tyname name uni fun ann) => Traversal' (Term tyname name uni fun ann) Unique
termSubkinds :: Traversal' (Term tyname name uni fun ann) (Kind ann)
termSubtypes :: Traversal' (Term tyname name uni fun ann) (Type tyname uni ann)
termSubtermsDeep :: Fold (Term tyname name uni fun ann) (Term tyname name uni fun ann)
termSubtypesDeep :: Fold (Term tyname name uni fun ann) (Type tyname uni ann)
termConstantsDeep :: Fold (Term tyname name uni fun ann) (Some (ValueOf uni))
termSubterms :: Traversal' (Term tyname name uni fun ann) (Term tyname name uni fun ann)
typeUniquesDeep :: HasUniques (Type tyname uni ann) => Fold (Type tyname uni ann) Unique
termUniquesDeep :: HasUniques (Term tyname name uni fun ann) => Fold (Term tyname name uni fun ann) Unique

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.

typeUniques :: HasUniques (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.

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

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

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.

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

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.

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

Get all the transitive child Kinds of the given Term.

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

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

typeUniquesDeep :: HasUniques (Type tyname uni ann) => Fold (Type tyname uni ann) Unique Source #

Get all the transitive child Uniques of the given Kind.

termUniquesDeep :: HasUniques (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).