| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Normalize
Description
The user-facing API of the normalizer.
Synopsis
- normalizeType :: forall tyname (uni :: Type -> Type) m ann. (HasUnique tyname TypeUnique, MonadNormalizeType uni m) => Type tyname uni ann -> m (Normalized (Type tyname uni ann))
- normalizeTypesIn :: forall tyname name (uni :: Type -> Type) m fun ann. (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadNormalizeType uni m) => Term tyname name uni fun ann -> m (Term tyname name uni fun ann)
- normalizeTypesInProgram :: forall tyname name (uni :: Type -> Type) m fun ann. (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadNormalizeType uni m) => Program tyname name uni fun ann -> m (Program tyname name uni fun ann)
Documentation
normalizeType :: forall 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 Type.
normalizeTypesIn :: forall tyname name (uni :: Type -> Type) m fun ann. (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadNormalizeType uni m) => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #
normalizeTypesInProgram :: forall tyname name (uni :: Type -> Type) m fun ann. (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadNormalizeType uni m) => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #