Control.Concurrent.STMSupply

Documentation

data STMSupply

newtype wrapper around a TVar Supply.

newSTMSupplyIO :: IO STMSupply

Construct a new STMSupply in the IO Monad.

freshId :: STMSupply -> STM Int

Using an STMSupply, atomically get a fresh ID.

splitSupply :: STMSupply -> STM STMSupply

Using an STMSupply, atomically split the underlying Supply into two. Stores one of the new supplies in the STMSupply that was the first argument, and returns the second Supply.