Moduleghc-lib-parser-9.14.1.20251220GHC2021
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-lib-parser-9.14.1.20251220
- Exports17
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceSupply.hs
Instances6Monad, Functor, Applicative, MonadIO, MonadUnique, HasLogger
Monad SimplMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.MonadFunctor SimplMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.MonadApplicative SimplMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.MonadMonadIO SimplMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.MonadMonadUnique SimplMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.MonadHasLogger SimplMDefined in ghc-lib-parser-9.14.1.20251220 · 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
Instances3MonadUnique
MonadUnique CoreMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.MonadMonadUnique SimplMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.MonadMonadUnique UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.Supply
Make a join id with given type and arity but without call-by-value annotations.