Bringing the IntMap API up to par with the Map API
johan.tibell at gmail.com
Fri Aug 6 13:08:45 EDT 2010
On Fri, Aug 6, 2010 at 4:46 PM, Stephan Friedrichs <deduktionstheorem at web.de
> On 06/08/10 15:59, Johan Tibell wrote:
> > There are a few functions on Maps that could be implemented on IntMaps
> > but aren't: [...]
> Isn't it time to seriously think about defining maps as a type family to
> avoid this sort of incompatibility once and for all and to enable GHC to
> automatically use IntMap wherever appropriate?
> class Map k where
> data Map k :: * -> *
> empty ...
> insert ...
> instance Map Int where
> data Map Int v = Data.IntMap.IntMap v
> instance (Ord k) => Map k where
> data Map k v = Data.Map.Map k v
> Or something similar?
Definitely worth researching. I think we should pursue this as a separate
track and fix what we have in the mean time.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries