Data.Map, Data.IntMap documentation

Benjamin Franksen benjamin.franksen at bessy.de
Thu Aug 16 19:39:56 EDT 2007


Adrian Hey wrote:
> apfelmus wrote:
>> The Ord-constraint is too limiting for tries. 
> 
> Well it isn't going to disappear while I'm in charge of GT class :-)
> Why do you object to it? Ultimately we must be able to test keys
> for equality at least. Is there a type that is an instance of Eq,
> but not Ord (or could not reasonably be made an instance of Ord)?

Data.Typeable.TypeRep

Cheers
Ben



More information about the Libraries mailing list