| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Normalize
Description
The user-facing API of the normalizer.
Synopsis
- normalizeType :: ( HasUnique tyname TypeUnique , MonadQuote m, HasUniApply uni) => 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 :: ( HasUnique tyname TypeUnique , MonadQuote m, HasUniApply uni) => Type tyname uni ann -> m ( Normalized ( Type tyname uni ann)) Source #
Normalize a
Type
.
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 #