Minor containers API changes
johan.tibell at gmail.com
Tue Nov 29 04:09:23 CET 2011
On Mon, Nov 28, 2011 at 5:29 PM, Kazu Yamamoto <kazu at iij.ad.jp> wrote:
> This is off-topic but I'm curious.
> Why the container package does not provide a type-class to unify APIs?
> Are there any technical/historical reasons?
Mostly technical I would say. I hope we should be able to do this
right now when we have constraint kinds  i.e. we can do something
class Map m where
type C :: Constraints
insert :: C => k -> v -> Map k v -> Map k v
instance Map HashMap where
type C = Ord
insert = ...
More information about the Libraries