Safe Haskell	None
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)
typeSubtypes :: Traversal' ( Type tyname uni ann) ( Type tyname uni ann)
typeSubtypesDeep :: Fold ( Type tyname uni ann) ( Type tyname uni ann)
typeSubkinds :: Traversal' ( Type tyname uni ann) ( Kind ann)
typeUniques :: HasUniques ( Type tyname uni ann) => Traversal' ( Type tyname uni ann) Unique
typeUniquesDeep :: HasUniques ( Type tyname uni ann) => Fold ( Type tyname uni ann) Unique
datatypeSubtypes :: Traversal' ( Datatype tyname name uni fun a) ( Type tyname uni a)
datatypeSubkinds :: Traversal' ( Datatype tyname name uni fun a) ( Kind a)
bindingSubterms :: Traversal' ( Binding tyname name uni fun a) ( Term tyname name uni fun a)
bindingSubtypes :: Traversal' ( Binding tyname name uni fun a) ( Type tyname uni a)
bindingSubkinds :: Traversal' ( Binding tyname name uni fun a) ( Kind a)
bindingNames :: Traversal' ( Binding tyname name uni fun a) name
bindingTyNames :: Traversal' ( Binding tyname name uni fun a) tyname
bindingIds :: ( HasUnique tyname TypeUnique , HasUnique name TermUnique ) => Traversal1' ( Binding tyname name uni fun a) Unique
termUniques :: HasUniques ( Term tyname name uni fun ann) => Traversal' ( Term tyname name uni fun ann) Unique
termUniquesDeep :: HasUniques ( Term tyname name uni fun ann) => Fold ( Term tyname name uni fun ann) Unique

Documentation

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

Get all the direct child Term s of the given Term , including those within Binding s.

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

Get all the transitive child Term s of the given Term .

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

Get all the direct child Type s of the given Term , including those within Binding s.

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

Get all the transitive child Type s of the given Term .

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

Get all the direct child Kind s of the given Term .

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

Get all the direct child Binding s of the given Term .

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

Get all the direct child Type s of the given Type .

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

Get all the transitive child Type s of the given Type .

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

Get all the direct child Kind s of the given Type .

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

Get all the direct child Unique s of the given Type from binders TyVar s.

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

Get all the transitive child Unique s of the given Type .

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

Get all the direct child Type s of the given Datatype .

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

Get all the direct child Kind s of the given Datatype .

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

Get all the direct child Term s of the given Binding .

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

Get all the direct child Type s of the given Binding .

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

Get all the direct child Kind s 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 Unique s 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 Unique s of the given Term (including the type-level ones).