Bringing the IntMap API up to par with the Map API
deduktionstheorem at web.de
Fri Aug 6 10:46:53 EDT 2010
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 :: * -> *
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?
Just my 2 cents...
More information about the Libraries