| |||||
| |||||
| Description | |||||
| Mengen von Indizes Mit Hilfe der ST-Monade definiert King [K96, ch. 6.5] eine Menge Set und die Funktionen mkEmpty, contains und include, die $O(1)$ Zeit bentigen. See http://www.macs.hw.ac.uk/~gnik/publications/singlesided-thesis.ps.gz. | |||||
| Documentation | |||||
| |||||
| |||||
| |||||
| |||||
| |||||
| Produced by Haddock version 2.4.2 |