HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Moduleghc-10.0.0.20260917GHC2024

GHC.Cmm.UniqueRenamer

  • 1 type
  • 1 class
  • 3 values
classclass Monad m => MonadGetUnique (m :: Type -> Type) where
#

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.

Methods

Instances10MonadGetUnique, …
datadata DetUniqFM
#

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]

Instances1Outputable