| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Normalize.Internal
Description
The internals of the normalizer.
Synopsis
- data NormalizeTypeT m tyname uni ann a
- type MonadNormalizeType uni m = (MonadQuote m, HasUniApply uni)
- runNormalizeTypeT ∷ NormalizeTypeT m tyname uni ann a → m a
- withExtendedTypeVarEnv ∷ (HasUnique tyname TypeUnique, Monad m) ⇒ tyname → Normalized (Type tyname uni ann) → NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann a
- normalizeTypeM ∷ (HasUnique tyname TypeUnique, MonadNormalizeType uni m) ⇒ Type tyname uni ann → NormalizeTypeT m tyname uni ann (Normalized (Type tyname uni ann))
- substNormalizeTypeM ∷ (HasUnique tyname TypeUnique, MonadNormalizeType uni m) ⇒ Normalized (Type tyname uni ann) → tyname → Type tyname uni ann → NormalizeTypeT m tyname uni ann (Normalized (Type tyname uni ann))
- normalizeTypesInM ∷ (HasUnique tyname TypeUnique, MonadNormalizeType uni m) ⇒ Term tyname name uni fun ann → NormalizeTypeT m tyname uni ann (Term tyname name uni fun ann)
Documentation
data NormalizeTypeT m tyname uni ann a Source #
The monad transformer that type normalization runs in.
Instances
| MonadState s m ⇒ MonadState s (NormalizeTypeT m tyname uni ann) Source # | |
Defined in PlutusCore.Normalize.Internal Methods get ∷ NormalizeTypeT m tyname uni ann s Source # put ∷ s → NormalizeTypeT m tyname uni ann () Source # state ∷ (s → (a, s)) → NormalizeTypeT m tyname uni ann a Source # | |
| Alternative m ⇒ Alternative (NormalizeTypeT m tyname uni ann) Source # | |
Defined in PlutusCore.Normalize.Internal Methods empty ∷ NormalizeTypeT m tyname uni ann a Source # (<|>) ∷ NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann a Source # some ∷ NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann [a] Source # many ∷ NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann [a] Source # | |
| Applicative m ⇒ Applicative (NormalizeTypeT m tyname uni ann) Source # | |
Defined in PlutusCore.Normalize.Internal Methods pure ∷ a → NormalizeTypeT m tyname uni ann a Source # (<*>) ∷ NormalizeTypeT m tyname uni ann (a → b) → NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann b Source # liftA2 ∷ (a → b → c) → NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann b → NormalizeTypeT m tyname uni ann c Source # (*>) ∷ NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann b → NormalizeTypeT m tyname uni ann b Source # (<*) ∷ NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann b → NormalizeTypeT m tyname uni ann a Source # | |
| Functor m ⇒ Functor (NormalizeTypeT m tyname uni ann) Source # | |
Defined in PlutusCore.Normalize.Internal Methods fmap ∷ (a → b) → NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann b Source # (<$) ∷ a → NormalizeTypeT m tyname uni ann b → NormalizeTypeT m tyname uni ann a Source # | |
| Monad m ⇒ Monad (NormalizeTypeT m tyname uni ann) Source # | |
Defined in PlutusCore.Normalize.Internal Methods (>>=) ∷ NormalizeTypeT m tyname uni ann a → (a → NormalizeTypeT m tyname uni ann b) → NormalizeTypeT m tyname uni ann b Source # (>>) ∷ NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann b → NormalizeTypeT m tyname uni ann b Source # return ∷ a → NormalizeTypeT m tyname uni ann a Source # | |
| MonadPlus m ⇒ MonadPlus (NormalizeTypeT m tyname uni ann) Source # | |
Defined in PlutusCore.Normalize.Internal Methods mzero ∷ NormalizeTypeT m tyname uni ann a Source # mplus ∷ NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann a Source # | |
| MonadQuote m ⇒ MonadQuote (NormalizeTypeT m tyname uni ann) Source # | |
Defined in PlutusCore.Normalize.Internal Methods liftQuote ∷ Quote a → NormalizeTypeT m tyname uni ann a Source # | |
type MonadNormalizeType uni m = (MonadQuote m, HasUniApply uni) Source #
The constraints that type normalization requires.
runNormalizeTypeT ∷ NormalizeTypeT m tyname uni ann a → m a Source #
Run a NormalizeTypeT computation.
withExtendedTypeVarEnv ∷ (HasUnique tyname TypeUnique, Monad m) ⇒ tyname → Normalized (Type tyname uni ann) → NormalizeTypeT m tyname uni ann a → NormalizeTypeT m tyname uni ann a Source #
Locally extend a TypeVarEnv in a NormalizeTypeT computation.
normalizeTypeM ∷ (HasUnique tyname TypeUnique, MonadNormalizeType uni m) ⇒ Type tyname uni ann → NormalizeTypeT m tyname uni ann (Normalized (Type tyname uni ann)) Source #
Normalize a Type in the NormalizeTypeT monad.
Arguments
| ∷ (HasUnique tyname TypeUnique, MonadNormalizeType uni m) | |
| ⇒ Normalized (Type tyname uni ann) | ty |
| → tyname | name |
| → Type tyname uni ann | body |
| → NormalizeTypeT m tyname uni ann (Normalized (Type tyname uni ann)) | NORM ([ty / name] body) |
Substitute a type for a variable in a type and normalize in the NormalizeTypeT monad.
normalizeTypesInM ∷ (HasUnique tyname TypeUnique, MonadNormalizeType uni m) ⇒ Term tyname name uni fun ann → NormalizeTypeT m tyname uni ann (Term tyname name uni fun ann) Source #