Data.Set whishes

Simon Marlow simonmar at
Mon Feb 16 10:49:54 EST 2004

> could the following be added to Data.Set?
>     * instance Ord element => Monoid (Set element)

Due to dependency issues, this would have to be defined in the Monoid
module, or later.

>     * subsetOf :: Ord element => Set element -> Set element -> Bool

This could be added (I agree with Ketil that isSubsetOf follows existing
conventions better).

Do you have a patch?


More information about the Libraries mailing list