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

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11

Moduleghc-9.14.1GHC2021

GHC.Cmm.UniqueRenamer

  • 1 type
  • 1 class
  • 3 values
  • Packageghc-9.14.1
  • Exports5
  • LanguageGHC2021
  • LicenceBSD-3-Clause
  • SourceDSM.hs
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