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

3 values

Packageplutus-core-1.70.0.0
Exports3
LicenceApache-2.0

valuenormalizeType

:: (HasUnique tyname TypeUnique, MonadNormalizeType uni m)
=> Type tyname uni ann
-> m (Normalized (Type tyname uni ann))

valuenormalizeTypesIn

:: (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadNormalizeType uni m)
=> Term tyname name uni fun ann
-> m (Term tyname name uni fun ann)

valuenormalizeTypesInProgram

:: (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadNormalizeType uni m)
=> Program tyname name uni fun ann
-> m (Program tyname name uni fun ann)