Unique Identifiers

This module defines an interface for generating unique identifiers. It is written in a way that supports the use of Pandoc for rendering.


> {-# OPTIONS_GHC -XTypeFamilies #-}
>
> module Data.IDSupply where

> class IDSupply is
> where
> type ID is
>
> initSupply :: IO is
> splitSupply :: is -> (is,is)
> idFromSupply :: is -> ID is