Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-core-1.70.0.0

PlutusCore.Core.Plated

23 values

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)