Names for general merge tactics in Data.Map

David Feuer david.feuer at
Fri Aug 19 00:26:38 UTC 2016

I realized that it would probably be helpful to put up the actual
documentation for the proposed functions. This can be found at

The almost-identical strict API (missing three fairly unimportant
contravariant mapping functions
that can't currently be made strict in an efficient manner) can be found at

David Feuer

More information about the Libraries mailing list