Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleplutus-core-1.70.0.0

PlutusCore.Core.Plated

Synopsis

value kindSubkinds
value kindSubkindsDeep
value termBinds
value termConstants
value termConstantsDeep
value termSubkinds
value termSubterms
value termSubtermsDeep
value termSubtypes
value termSubtypesDeep
value termTyBinds
value termUniques
value termUniquesDeep
value termVars
value tyVarDeclSubkinds
value typeSubkinds
value typeSubtypes
value typeSubtypesDeep
value typeTyBinds
value typeTyVars
value typeUniques
value typeUniquesDeep
value varDeclSubtypes

Packageplutus-core-1.70.0.0
Exports23
LicenceApache-2.0

valuekindSubkinds

:: Applicative f
=> Kind ann -> f (Kind ann)
-> Kind ann
-> f (Kind ann)

valuekindSubkindsDeep

:: (Contravariant f, Applicative f)
=> Kind ann -> f (Kind ann)
-> Kind ann
-> f (Kind ann)

valuetermBinds

:: Applicative f
=> name -> f name
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermConstants

:: Applicative f
=> Some (ValueOf uni) -> f (Some (ValueOf uni))
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermConstantsDeep

:: (Contravariant f, Applicative f)
=> Some (ValueOf uni) -> f (Some (ValueOf uni))
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubkinds

:: Applicative f
=> Kind ann -> f (Kind ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubterms

:: Applicative f
=> Term tyname name uni fun ann -> f (Term tyname name uni fun ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubtermsDeep

:: (Contravariant f, Applicative f)
=> Term tyname name uni fun ann -> f (Term tyname name uni fun ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubtypes

:: Applicative f
=> Type tyname uni ann -> f (Type tyname uni ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubtypesDeep

:: (Contravariant f, Applicative f)
=> Type tyname uni ann -> f (Type tyname uni ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermTyBinds

:: Applicative f
=> tyname -> f tyname
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermUniques :: HasUniques (Term tyname name uni fun ann) => Traversal' (Term tyname name uni fun ann) Unique

valuetermUniquesDeep :: HasUniques (Term tyname name uni fun ann) => Fold (Term tyname name uni fun ann) Unique

valuetermVars

:: Applicative f
=> name -> f name
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetyVarDeclSubkinds

:: Applicative f
=> Kind a -> f (Kind a)
-> TyVarDecl tyname a
-> f (TyVarDecl tyname a)

valuetypeSubkinds

:: Applicative f
=> Kind ann -> f (Kind ann)
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeSubtypes

:: Applicative f
=> Type tyname uni ann -> f (Type tyname uni ann)
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeSubtypesDeep

:: (Contravariant f, Applicative f)
=> Type tyname uni ann -> f (Type tyname uni ann)
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeTyBinds

:: Applicative f
=> tyname -> f tyname
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeTyVars

:: Applicative f
=> tyname -> f tyname
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeUniques :: HasUniques (Type tyname uni ann) => Traversal' (Type tyname uni ann) Unique

valuetypeUniquesDeep :: HasUniques (Type tyname uni ann) => Fold (Type tyname uni ann) Unique

valuevarDeclSubtypes

:: Applicative f
=> Type tyname uni a -> f (Type tyname uni a)
-> VarDecl tyname name uni a
-> f (VarDecl tyname name uni a)