| |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
Main data type | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
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.1 |