Moduleghc-9.10.3GHC2021

GHC.Types.Unique.Supply

2 types
1 class
10 values

Packageghc-9.10.3
Exports13
LanguageGHC2021
LicenceBSD-3-Clause
SourceSupply.hs

Main data type

1 declaration

datadata 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

valueuniqFromSupply :: UniqSupply -> Unique

Obtain the Unique from this particular UniqSupply

valueuniqsFromSupply :: UniqSupply -> [Unique]

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

valuetakeUniqFromSupply :: UniqSupply -> (Unique, UniqSupply)

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

valueuniqFromTag :: Char -> IO Unique

valuemkSplitUniqSupply :: Char -> IO UniqSupply

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

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

valuesplitUniqSupply :: UniqSupply -> (UniqSupply, UniqSupply)

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

valuelistSplitUniqSupply :: UniqSupply -> [UniqSupply]

Create an infinite list of UniqSupply from a single one

Unique supply monad and its abstraction

2 declarations

newtypenewtype UniqSM result

A monad which just gives the ability to obtain Uniques

Instances6Monad, Functor, MonadFix, MonadFail, Applicative, MonadUnique

Monad UniqSMDefined in ghc-9.10.3 · GHC.Types.Unique.Supply
Functor UniqSMDefined in ghc-9.10.3 · GHC.Types.Unique.Supply
MonadFix UniqSMDefined in ghc-9.10.3 · GHC.Types.Unique.Supply
MonadFail UniqSMDefined in ghc-9.10.3 · GHC.Types.Unique.Supply
Applicative UniqSMDefined in ghc-9.10.3 · GHC.Types.Unique.Supply
MonadUnique UniqSMDefined in ghc-9.10.3 · GHC.Types.Unique.Supply

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

A monad for generating unique identifiers

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

Instances14MonadUnique, …

MonadUnique NatMDefined in ghc-9.10.3 · GHC.CmmToAsm.Monad
MonadUnique LlvmMDefined in ghc-9.10.3 · GHC.CmmToLlvm.Base
MonadUnique CoreMDefined in ghc-9.10.3 · GHC.Core.Opt.Monad
MonadUnique SimplMDefined in ghc-9.10.3 · GHC.Core.Opt.Simplify.Monad
MonadUnique NullCollapseVizDefined in ghc-9.10.3 · GHC.Data.Graph.Collapse
MonadUnique RMDefined in ghc-9.10.3 · GHC.Stg.InferTags.Rewrite
MonadUnique LiftMDefined in ghc-9.10.3 · GHC.Stg.Lift.Monad
MonadUnique StgMDefined in ghc-9.10.3 · GHC.Stg.Pipeline
MonadUnique CmmParseDefined in ghc-9.10.3 · GHC.StgToCmm.ExtCode
MonadUnique FCodeDefined in ghc-9.10.3 · GHC.StgToCmm.Monad
MonadUnique TcSDefined in ghc-9.10.3 · GHC.Tc.Solver.Monad
MonadUnique UniqSMDefined in ghc-9.10.3 · GHC.Types.Unique.Supply
MonadUnique (WasmCodeGenM w)Defined in ghc-9.10.3 · GHC.CmmToAsm.Wasm.Types
MonadUnique (IOEnv (Env gbl lcl))Defined in ghc-9.10.3 · GHC.Tc.Utils.Monad · orphan

Operations on the monad

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

Run the UniqSM action, returning the final UniqSupply

valueinitUs_ :: UniqSupply -> UniqSM a -> a

Run the UniqSM action, discarding the final UniqSupply

Set supply strategy

1 declaration

valueinitUniqSupply :: Word64 -> Int -> IO ()