* Henning Thielemann [2011-12-10 12:33:28+0100]

I have (x :: Set key) and (m :: Map key a) and want to remove all keys and corresponding values from m that are in x. I could solve it efficiently with a

differenceSet :: Map key a -> Set key -> Map key a

or with a

Map.fromKeySet :: a -> Set key -> Map key a

or a

Map.fromKeySet :: (key -> a) -> Set key -> Map key a

but I did not find one of these functions in containers-0.4.2.

You can implement e.g. fromKeySet as fromKeySet a = Map.fromAscList . map (, a) . Set.toAscList In practice, when conversion between Sets and Maps is needed often, I found it convenient (and efficient) to emulate "Set a" by "Map a ()". -- Roman I. Cheplyaka :: http://ro-che.info/

On Sat, Dec 10, 2011 at 12:33, Henning Thielemann wrote:

I have (x :: Set key) and (m :: Map key a) and want to remove all keys and corresponding values from m that are in x. I could solve it efficiently with a

differenceSet :: Map key a -> Set key -> Map key a

I have implemented this in the past, though it was certainly inefficient. It would be nice to have something similar and efficient. Regards, Sean