:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleplutus-core-1.70.0.0
type MonadNormalizeType (uni :: Type -> Type) (m :: Type -> Type) = (MonadQuote m, HasUniApply uni)MonadState s m => MonadState s (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.InternalMonad m => MonadReader (NormalizeTypeEnv tyname uni ann) (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.InternalMonad m => Monad (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.InternalFunctor m => Functor (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.InternalApplicative m => Applicative (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.InternalAlternative m => Alternative (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.InternalMonadPlus m => MonadPlus (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.InternalMonadQuote m => MonadQuote (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.Internal