





Synopsis 




Main data type



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



Obtain the Unique from this particular UniqSupply



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



Create a unique supply out of thin air. The character given must
be distinct from those of all calls to this function in the compiler
for the values generated to be truly unique.



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



Create an infinite list of UniqSupply from a single one


Unique supply monad and its abstraction



A monad which just gives the ability to obtain Uniques
 Instances  



A monad for generating unique identifiers
  Methods   Get a new UniqueSupply
   Get a new unique identifier
   Get an infinite list of new unique identifiers

  Instances  


Operations on the monad



Run the UniqSM action, returning the final UniqSupply



Run the UniqSM action, discarding the final UniqSupply






Deprecated operations on UniqSM












Produced by Haddock version 2.6.0 