Safe Haskell | None |
---|---|
Language | GHC2021 |
Synopsis
- detRenameCmmGroup :: DetUniqFM -> DCmmGroup -> (DetUniqFM, CmmGroup)
- detRenameIPEMap :: DetUniqFM -> InfoTableProvMap -> (DetUniqFM, InfoTableProvMap)
- class Monad m => MonadGetUnique (m :: Type -> Type) where
- getUniqueM :: m Unique
- data DetUniqFM
- emptyDetUFM :: DetUniqFM
- module GHC.Types.Unique.DSM
Documentation
detRenameIPEMap :: DetUniqFM -> InfoTableProvMap -> (DetUniqFM, InfoTableProvMap) Source #
class Monad m => MonadGetUnique (m :: Type -> Type) where Source #
Get a unique from a monad that can access a unique supply.
Crucially, because MonadGetUnique
doesn't allow you to get the
UniqSupply
(unlike MonadUnique
), an instance such as UniqDSM
can use a
deterministic unique supply to return deterministic uniques without allowing
for the UniqSupply
to be shared.
getUniqueM :: m Unique Source #
Instances
MonadGetUnique Opt Source # | |
Defined in GHC.Cmm.Opt getUniqueM :: Opt Unique Source # | |
MonadGetUnique NatM Source # | |
Defined in GHC.CmmToAsm.Monad getUniqueM :: NatM Unique Source # | |
MonadGetUnique LlvmM Source # | |
Defined in GHC.CmmToLlvm.Base getUniqueM :: LlvmM Unique Source # | |
MonadGetUnique NullCollapseViz Source # | |
Defined in GHC.Data.Graph.Collapse | |
MonadGetUnique CmmParse Source # | |
Defined in GHC.StgToCmm.ExtCode | |
MonadGetUnique FCode Source # | |
Defined in GHC.StgToCmm.Monad getUniqueM :: FCode Unique Source # | |
MonadGetUnique UniqDSM Source # | |
Defined in GHC.Types.Unique.DSM | |
MonadGetUnique UniqSM Source # | |
Defined in GHC.Types.Unique.DSM | |
MonadGetUnique (WasmCodeGenM w) Source # | |
Defined in GHC.CmmToAsm.Wasm.Types getUniqueM :: WasmCodeGenM w Unique Source # | |
Monad m => MonadGetUnique (UniqDSMT m) Source # | |
Defined in GHC.Types.Unique.DSM getUniqueM :: UniqDSMT m Unique Source # |
A mapping from non-deterministic uniques to deterministic uniques, to rename local symbols with the end goal of producing deterministic object files. See Note [Renaming uniques deterministically]
Instances
module GHC.Types.Unique.DSM