Names for general merge tactics in Data.Map

David Feuer david.feuer at gmail.com
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

http://treeowl-containers-general-merge.bitballoon.com/data-map-lazy-merge

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

http://treeowl-containers-general-merge.bitballoon.com/data-map-strict-merge

David Feuer


More information about the Libraries mailing list