plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusIR.Core.Plated

Synopsis

Documentation

termSubterms :: Traversal' (Term tyname name uni fun a) (Term tyname name uni fun a) Source #

Get all the direct child Terms of the given Term, including those within Bindings.

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.

termSubtypes :: Traversal' (Term tyname name uni fun a) (Type tyname uni a) Source #

Get all the direct child Types of the given Term, including those within Bindings.

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

Get all the transitive child Types of the given Term.

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

Get all the direct child Kinds of the given Term.

termBindings :: Traversal' (Term tyname name uni fun a) (Binding tyname name uni fun a) Source #

Get all the direct child Bindings of the given Term.

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

Get all the direct child Types of the given Type.

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

Get all the transitive child Types of the given Type.

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

Get all the direct child Kinds of the given Type.

typeUniques :: HasUniques (Type tyname uni ann) => Traversal' (Type tyname uni ann) Unique Source #

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

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

Get all the transitive child Uniques of the given Type.

datatypeSubtypes :: Traversal' (Datatype tyname name uni fun a) (Type tyname uni a) Source #

Get all the direct child Types of the given Datatype.

datatypeSubkinds :: Traversal' (Datatype tyname name uni fun a) (Kind a) Source #

Get all the direct child Kinds of the given Datatype.

bindingSubterms :: Traversal' (Binding tyname name uni fun a) (Term tyname name uni fun a) Source #

Get all the direct child Terms of the given Binding.

bindingSubtypes :: Traversal' (Binding tyname name uni fun a) (Type tyname uni a) Source #

Get all the direct child Types of the given Binding.

bindingSubkinds :: Traversal' (Binding tyname name uni fun a) (Kind a) Source #

Get all the direct child Kinds of the given Binding.

bindingNames :: Traversal' (Binding tyname name uni fun a) name Source #

Get all the names introduces by a binding

bindingTyNames :: Traversal' (Binding tyname name uni fun a) tyname Source #

Get all the type-names introduces by a binding

bindingIds :: (HasUnique tyname TypeUnique, HasUnique name TermUnique) => Traversal1' (Binding tyname name uni fun a) Unique Source #

All the identifiers/names introduced by this binding In case of a datatype-binding it has multiple identifiers: the type, constructors, match function

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).

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).