| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Core.Plated
Synopsis
- termSubterms :: Traversal' (Term tyname name uni fun a) (Term tyname name uni fun a)
- termSubtermsDeep :: Fold (Term tyname name uni fun ann) (Term tyname name uni fun ann)
- termSubtypes :: Traversal' (Term tyname name uni fun a) (Type tyname uni a)
- termSubtypesDeep :: Fold (Term tyname name uni fun ann) (Type tyname uni ann)
- termSubkinds :: Traversal' (Term tyname name uni fun ann) (Kind ann)
- termBindings :: Traversal' (Term tyname name uni fun a) (Binding tyname name uni fun a)
- termVars :: Traversal' (Term tyname name uni fun ann) name
- termConstants :: Traversal' (Term tyname name uni fun ann) (Unique #
All the identifiers/names introduced by this binding In case of a datatype-binding it has multiple identifiers: the type, constructors, match function
termUniques :: Arity -> Traversal' (Term tyname name uni fun a) (Term tyname name uni fun a) #
Focus on the term under the binders corresponding to the given arity.
e.g. for arity [TermParam, TermParam] and term x y -> t it focusses on t.