Moduleghc-10.0.0.20260917GHC2024
GHC.Core.Opt.Simplify.Monad
Synopsis
- data TopEnvConfig
- newtype SimplM
- value initSmpl
- value traceSmpl
- value getSimplRules
- class MonadUnique
- value newId
- value newJoinId
- data SimplCount
- value tick
- value freeTick
- value checkedTick
- value getSimplCount
- value zeroSimplCount
- value pprSimplCount
- value plusSimplCount
- value isZeroSimplCount
- Packageghc-10.0.0.20260917
- Exports17
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceSupply.hs
Instances6Monad, Functor, Applicative, MonadIO, HasLogger, MonadUnique
Monad SimplMDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.MonadFunctor SimplMDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.MonadApplicative SimplMDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.MonadMonadIO SimplMDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.MonadHasLogger SimplMDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.MonadMonadUnique SimplMDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Monad
value
initSmpl :: Logger-> IO RuleEnv-> TopEnvConfig-> IntSize of the bindings, used to limit the number of ticks we allow
-> SimplM a-> IO (a, SimplCount)
A monad for generating unique identifiers
Methods
getUniqueSupplyM :: m UniqSupplyGet a new UniqueSupply
getUniqueM :: m UniqueGet a new unique identifier
getUniquesM :: m [Unique]Get an infinite list of new unique identifiers
Instances10MonadUnique, …
MonadUnique CoreMDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.MonadMonadUnique SimplMDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.MonadMonadUnique RMDefined in ghc-10.0.0.20260917 · GHC.Stg.EnforceEpt.RewriteMonadUnique LiftMDefined in ghc-10.0.0.20260917 · GHC.Stg.Lift.MonadMonadUnique StgMDefined in ghc-10.0.0.20260917 · GHC.Stg.PipelineMonadUnique CmmParseDefined in ghc-10.0.0.20260917 · GHC.StgToCmm.ExtCodeMonadUnique FCodeDefined in ghc-10.0.0.20260917 · GHC.StgToCmm.MonadMonadUnique TcSDefined in ghc-10.0.0.20260917 · GHC.Tc.Solver.MonadMonadUnique UniqSMDefined in ghc-10.0.0.20260917 · GHC.Types.Unique.SupplyMonadUnique (IOEnv (Env gbl lcl))Defined in ghc-10.0.0.20260917 · GHC.Tc.Utils.Monad · orphan
Make a join id with given type and arity but without call-by-value annotations.