Moduleghc-9.14.1GHC2021

GHC.Core.Opt.Simplify.Monad

Synopsis

datadata TopEnvConfig

newtypenewtype SimplM result

Instances6Monad, Functor, Applicative, MonadIO, HasLogger, MonadUnique

valueinitSmpl

valuetraceSmpl :: String -> SDoc -> SimplM ()

valuegetSimplRules :: SimplM RuleEnv

classclass Monad m => MonadUnique (m :: Type -> Type) where

A monad for generating unique identifiers

Instances10MonadUnique, …

MonadUnique CoreMDefined in ghc-9.14.1 · GHC.Core.Opt.Monad
MonadUnique SimplMDefined in ghc-9.14.1 · GHC.Core.Opt.Simplify.Monad
MonadUnique RMDefined in ghc-9.14.1 · GHC.Stg.EnforceEpt.Rewrite
MonadUnique LiftMDefined in ghc-9.14.1 · GHC.Stg.Lift.Monad
MonadUnique StgMDefined in ghc-9.14.1 · GHC.Stg.Pipeline
MonadUnique CmmParseDefined in ghc-9.14.1 · GHC.StgToCmm.ExtCode
MonadUnique FCodeDefined in ghc-9.14.1 · GHC.StgToCmm.Monad
MonadUnique TcSDefined in ghc-9.14.1 · GHC.Tc.Solver.Monad
MonadUnique UniqSMDefined in ghc-9.14.1 · GHC.Types.Unique.Supply
MonadUnique (IOEnv (Env gbl lcl))Defined in ghc-9.14.1 · GHC.Tc.Utils.Monad · orphan

valuenewId :: FastString -> Mult -> Type -> SimplM Id

valuenewJoinId :: [Var] -> Type -> SimplM Id

Make a join id with given type and arity but without call-by-value annotations.

datadata SimplCount

valuetick :: Tick -> SimplM ()

valuefreeTick :: Tick -> SimplM ()

valuecheckedTick :: Tick -> SimplM ()

valuegetSimplCount :: SimplM SimplCount

valuezeroSimplCount

valuepprSimplCount :: SimplCount -> SDoc

valueplusSimplCount :: SimplCount -> SimplCount -> SimplCount

valueisZeroSimplCount :: SimplCount -> Bool