Moduleghc-9.10.3GHC2021
GHC.Core.Opt.Simplify.Monad
- 3 types
- 1 class
- 13 values
- Packageghc-9.10.3
- Exports17
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceSupply.hs
Instances6Monad, Functor, Applicative, MonadIO, HasLogger, MonadUnique
Monad SimplMDefined in ghc-9.10.3 · GHC.Core.Opt.Simplify.MonadFunctor SimplMDefined in ghc-9.10.3 · GHC.Core.Opt.Simplify.MonadApplicative SimplMDefined in ghc-9.10.3 · GHC.Core.Opt.Simplify.MonadMonadIO SimplMDefined in ghc-9.10.3 · GHC.Core.Opt.Simplify.MonadHasLogger SimplMDefined in ghc-9.10.3 · GHC.Core.Opt.Simplify.MonadMonadUnique SimplMDefined in ghc-9.10.3 · 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
Instances14MonadUnique, …
MonadUnique NatMDefined in ghc-9.10.3 · GHC.CmmToAsm.MonadMonadUnique LlvmMDefined in ghc-9.10.3 · GHC.CmmToLlvm.BaseMonadUnique CoreMDefined in ghc-9.10.3 · GHC.Core.Opt.MonadMonadUnique SimplMDefined in ghc-9.10.3 · GHC.Core.Opt.Simplify.MonadMonadUnique NullCollapseVizDefined in ghc-9.10.3 · GHC.Data.Graph.CollapseMonadUnique RMDefined in ghc-9.10.3 · GHC.Stg.InferTags.RewriteMonadUnique LiftMDefined in ghc-9.10.3 · GHC.Stg.Lift.MonadMonadUnique StgMDefined in ghc-9.10.3 · GHC.Stg.PipelineMonadUnique CmmParseDefined in ghc-9.10.3 · GHC.StgToCmm.ExtCodeMonadUnique FCodeDefined in ghc-9.10.3 · GHC.StgToCmm.MonadMonadUnique TcSDefined in ghc-9.10.3 · GHC.Tc.Solver.MonadMonadUnique UniqSMDefined in ghc-9.10.3 · GHC.Types.Unique.SupplyMonadUnique (WasmCodeGenM w)Defined in ghc-9.10.3 · GHC.CmmToAsm.Wasm.TypesMonadUnique (IOEnv (Env gbl lcl))Defined in ghc-9.10.3 · GHC.Tc.Utils.Monad · orphan
Make a join id with given type and arity but without call-by-value annotations.