UniqSupply

Main data type

data UniqSupply

Operations on supplies

uniqFromSupply

uniqsFromSupply

takeUniqFromSupply

mkSplitUniqSupply

splitUniqSupply

listSplitUniqSupply

Unique supply monad and its abstraction

data UniqSM result

class MonadUnique m

Operations on the monad

initUs

initUs_

lazyThenUs

lazyMapUs