[Haskell-cafe] common class for Set (and Map, resp.) implementations with different constraints on the keys
david.feuer at gmail.com
Fri Sep 7 18:54:25 UTC 2018
The instances won't be orphans if they're in the same module as the class
On Fri, Sep 7, 2018, 2:12 PM waldmann <johannes.waldmann at htwk-leipzig.de>
> On 09/07/2018 05:51 PM, David Feuer wrote:
> > class e ~ Elem s => SetC e s where
> OK. At the use site, under both proposals,
> there'll be a two argument constraint.
> In my version, the second argument was curried away.
> One way or the other - why don't we?
> What could be the downsides here?
> I guess since it's meant to sit atop (some) modules
> from various packages (containers, unordered-containers, enummapset)
> it's best to release it as a separate package,
> containing the classes, and orphan instances.
> - J.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe