-
- UniqSupply, -- Abstractly
-
- uniqFromSupply, uniqsFromSupply, -- basic ops
-
- UniqSM, -- type: unique supply monad
- initUs, initUs_,
- lazyThenUs, lazyMapUs,
- module MonadUtils, mapAndUnzipM,
- MonadUnique(..),
-
- mkSplitUniqSupply,
- splitUniqSupply, listSplitUniqSupply
+ -- * Main data type
+ UniqSupply, -- Abstractly
+
+ -- ** Operations on supplies
+ uniqFromSupply, uniqsFromSupply, -- basic ops
+
+ mkSplitUniqSupply,
+ splitUniqSupply, listSplitUniqSupply,
+
+ -- * Unique supply monad and its abstraction
+ UniqSM, MonadUnique(..),
+
+ -- ** Operations on the monad
+ initUs, initUs_,
+ lazyThenUs, lazyMapUs,
+
+ -- ** Deprecated operations on 'UniqSM'
+ getUniqueUs, getUs, returnUs, thenUs, mapUs