A monad which just gives the ability to obtain Uniques deterministically. There's no splitting.

Initialize a deterministic unique supply with the given Tag and initial unique.

Set the tag of uniques generated from this deterministic unique supply

Get the tag uniques generated from this deterministic unique supply would have

Transformer version of UniqDSM to use when threading a deterministic uniq supply over a Monad. Specifically, it is used in the Stream of Cmm decls.

Like runUniqueDSM but for UniqDSMT

Lift an IO action that depends on, and threads through, a unique supply into UniqDSMT IO.

Change the monad underyling an applied UniqDSMT, i.e. transform a UniqDSMT m into a UniqDSMT n given m ~> n.

Lift a monadic action m a into an UniqDSMT m a

Set the tag of the running UniqDSMT supply to the given tag and run an action with it. All uniques produced in the given action will use this tag, until the tag is changed again.

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.