Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
PlutusIR versions of the functions in PlutusCore.Normalize
Synopsis
- normalizeType ∷ ∀ tyname (uni ∷ Type → Type) m ann. (HasUnique tyname TypeUnique, MonadNormalizeType uni m) ⇒ Type tyname uni ann → m (Normalized (Type tyname uni ann))
- normalizeTypesIn ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m, HasUniApply uni) ⇒ Term tyname name uni fun ann → m (Term tyname name uni fun ann)
- normalizeTypesInProgram ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m, HasUniApply uni) ⇒ Program tyname name uni fun ann → m (Program tyname name uni fun ann)
Documentation
normalizeType ∷ ∀ tyname (uni ∷ Type → Type) 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 #
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 #