14 Oct
2010
14 Oct
'10
12:43 p.m.
On Thu, Oct 14, 2010 at 05:27:52PM +0200, Christian Maeder wrote:
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 [..] isSubsetOf :: Ord a => Set a -> Set a -> Bool isProperSubsetOf :: Ord a => Set a -> Set a -> Bool
I am sorry for missing this. Now I see that GHC is all right at this point. ----------------- Serge Mechveliani mechvel@botik.ru