GHC.Types.Unique.Supply

Main data type

data UniqSupply

Unique Supply

A value of type UniqSupply is unique, and it can supply one distinct Unique. Also, from the supply, one can also manufacture an arbitrary number of further UniqueSupply values, which will be distinct from the first and from all others.

Operations on supplies

uniqFromSupply :: UniqSupply -> Unique

Obtain the Unique from this particular UniqSupply

uniqsFromSupply :: UniqSupply -> [Unique]

Obtain an infinite list of Unique that can be generated by constant splitting of the supply

takeUniqFromSupply :: UniqSupply -> (Unique, UniqSupply)

Obtain the Unique from this particular UniqSupply, and a new supply

uniqFromMask :: Char -> IO Unique

mkSplitUniqSupply :: Char -> IO UniqSupply

Create a unique supply out of thin air. The "mask" (Char) supplied is purely cosmetic, making it easier to figure out where a Unique was born. See Note [Uniques and masks].

The payload part of the Uniques allocated from this UniqSupply are guaranteed distinct wrt all other supplies, regardless of their "mask". This is achieved by allocating the payload part from a single source of Uniques, namely genSym, shared across all UniqSupply's.

splitUniqSupply :: UniqSupply -> (UniqSupply, UniqSupply)

Build two UniqSupply from a single one, each of which can supply its own Unique.

listSplitUniqSupply :: UniqSupply -> [UniqSupply]

Create an infinite list of UniqSupply from a single one

Unique supply monad and its abstraction

data UniqSM result

A monad which just gives the ability to obtain Uniques

Instances

MonadFail UniqSM

Defined in GHC.Types.Unique.Supply

Methods

fail :: String -> UniqSM a

MonadFix UniqSM

Defined in GHC.Types.Unique.Supply

Methods

mfix :: (a -> UniqSM a) -> UniqSM a

Applicative UniqSM

Defined in GHC.Types.Unique.Supply

Methods

pure :: a -> UniqSM a

(<*>) :: UniqSM (a -> b) -> UniqSM a -> UniqSM b

liftA2 :: (a -> b -> c) -> UniqSM a -> UniqSM b -> UniqSM c

(*>) :: UniqSM a -> UniqSM b -> UniqSM b

(<*) :: UniqSM a -> UniqSM b -> UniqSM a

Functor UniqSM

Defined in GHC.Types.Unique.Supply

Methods

fmap :: (a -> b) -> UniqSM a -> UniqSM b

(<$) :: a -> UniqSM b -> UniqSM a

Monad UniqSM

Defined in GHC.Types.Unique.Supply

Methods

(>>=) :: UniqSM a -> (a -> UniqSM b) -> UniqSM b

(>>) :: UniqSM a -> UniqSM b -> UniqSM b

return :: a -> UniqSM a

MonadUnique UniqSM

Defined in GHC.Types.Unique.Supply

Methods

getUniqueSupplyM :: UniqSM UniqSupply

getUniqueM :: UniqSM Unique

getUniquesM :: UniqSM [Unique]

class Monad m => MonadUnique (m :: Type -> Type) where

A monad for generating unique identifiers

Minimal complete definition

getUniqueSupplyM

Methods

getUniqueSupplyM :: m UniqSupply

Get a new UniqueSupply

getUniqueM :: m Unique

Get a new unique identifier

getUniquesM :: m [Unique]

Get an infinite list of new unique identifiers

Instances

MonadUnique NatM

Defined in GHC.CmmToAsm.Monad

Methods

getUniqueSupplyM :: NatM UniqSupply

getUniqueM :: NatM Unique

getUniquesM :: NatM [Unique]

MonadUnique LlvmM

Defined in GHC.CmmToLlvm.Base

Methods

getUniqueSupplyM :: LlvmM UniqSupply

getUniqueM :: LlvmM Unique

getUniquesM :: LlvmM [Unique]

MonadUnique CoreM

Defined in GHC.Core.Opt.Monad

Methods

getUniqueSupplyM :: CoreM UniqSupply

getUniqueM :: CoreM Unique

getUniquesM :: CoreM [Unique]

MonadUnique SimplM

Defined in GHC.Core.Opt.Simplify.Monad

Methods

getUniqueSupplyM :: SimplM UniqSupply

getUniqueM :: SimplM Unique

getUniquesM :: SimplM [Unique]

MonadUnique NullCollapseViz

Defined in GHC.Data.Graph.Collapse

Methods

getUniqueSupplyM :: NullCollapseViz UniqSupply

getUniqueM :: NullCollapseViz Unique

getUniquesM :: NullCollapseViz [Unique]

MonadUnique LiftM

Defined in GHC.Stg.Lift.Monad

Methods

getUniqueSupplyM :: LiftM UniqSupply

getUniqueM :: LiftM Unique

getUniquesM :: LiftM [Unique]

MonadUnique CmmParse

Defined in GHC.StgToCmm.ExtCode

Methods

getUniqueSupplyM :: CmmParse UniqSupply

getUniqueM :: CmmParse Unique

getUniquesM :: CmmParse [Unique]

MonadUnique FCode

Defined in GHC.StgToCmm.Monad

Methods

getUniqueSupplyM :: FCode UniqSupply

getUniqueM :: FCode Unique

getUniquesM :: FCode [Unique]

MonadUnique TcS

Defined in GHC.Tc.Solver.Monad

Methods

getUniqueSupplyM :: TcS UniqSupply

getUniqueM :: TcS Unique

getUniquesM :: TcS [Unique]

MonadUnique UniqSM

Defined in GHC.Types.Unique.Supply

Methods

getUniqueSupplyM :: UniqSM UniqSupply

getUniqueM :: UniqSM Unique

getUniquesM :: UniqSM [Unique]

MonadUnique (WasmCodeGenM w)

Defined in GHC.CmmToAsm.Wasm.Types

Methods

getUniqueSupplyM :: WasmCodeGenM w UniqSupply

getUniqueM :: WasmCodeGenM w Unique

getUniquesM :: WasmCodeGenM w [Unique]

MonadUnique (IOEnv (Env gbl lcl))

Defined in GHC.Tc.Utils.Monad

Methods

getUniqueSupplyM :: IOEnv (Env gbl lcl) UniqSupply

getUniqueM :: IOEnv (Env gbl lcl) Unique

getUniquesM :: IOEnv (Env gbl lcl) [Unique]

Operations on the monad

initUs :: UniqSupply -> UniqSM a -> (a, UniqSupply)

Run the UniqSM action, returning the final UniqSupply

initUs_ :: UniqSupply -> UniqSM a -> a

Run the UniqSM action, discarding the final UniqSupply

Set supply strategy

initUniqSupply :: Word -> Int -> IO ()