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 > [email protected] _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
