Data.Map questions

Wed Mar 30 05:57:06 EST 2005

On Tue, 29 Mar 2005 13:20:12 +0200, Johannes Waldmann
<waldmann at imn.htwk-leipzig.de> wrote:
> What does Ord guarantee?
> 
> I hope it is a total ordering compatible with  (==)
> (so that Maps could be elements of Sets etc.)
> If so, perhaps there should be a comment in the documentation.
>  From reading the source ghc-6.4/libraries/base/Data/Map.hs
> it is not clear why Eq uses toAscList but Ord uses toList -
> so perhaps there is some hidden magic?

The magic is rather simple since toList is simly aliased to
"toAscList". This is probably better changed to use toAscList.

Cheers,
JP.