plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.Normalize

Description

PlutusIR versions of the functions in PlutusCore.Normalize

Synopsis

Documentation

normalizeType ∷ ∀ tyname (uni ∷ TypeType) m ann. (HasUnique tyname TypeUnique, MonadNormalizeType uni m) ⇒ Type tyname uni ann → m (Normalized (Type tyname uni ann)) Source #

Normalize a Kind.

normalizeTypesIn ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m, HasUniApply uni) ⇒ Term tyname name uni fun ann → m (Term tyname name uni fun ann) Source #

Normalize every Kind in a Term.

normalizeTypesInProgram ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m, HasUniApply uni) ⇒ Program tyname name uni fun ann → m (Program tyname name uni fun ann) Source #

Normalize every Kind in a Program.