Set inclusion

[Christian Maeder]

Am 14.10.2010 15:44, schrieb Serge D. Mechveliani:
> I have the two notes on the GHC library. 
> The docs show that 
> 1. Map has the function for the Map inclusion relation, 
>    and Set does not have such for sets.

Which function(s) do you mean?

Data.Map:
isSubmapOf :: (Ord k, Eq a) => Map k a -> Map k a -> Bool
isSubmapOfBy :: Ord k => (a -> b -> Bool) -> Map k a -> Map k b -> Bool
isProperSubmapOf :: (Ord k, Eq a) => Map k a -> Map k a -> Bool
isProperSubmapOfBy :: Ord k => (a -> b -> Bool) -> Map k a -> Map k b ->
Bool

Data.Set:
isSubsetOf :: Ord a => Set a -> Set a -> Bool
isProperSubsetOf :: Ord a => Set a -> Set a -> Bool

> 2. notMember  looks unnecessary, because one can write  
>    not . Map.member k.

That's the same for elem and notElem.

Cheers Christian

> 
> Regards,
> -----------------
> Serge Mechveliani
> mechvel at botik.ru