instance Applicative Data.Map

Henning Thielemann lemming at henning-thielemann.de
Wed Nov 14 20:46:29 CET 2012


An ZipList-like Applicative instance for Data.Map would be nice. I have an 
application where I like to write
    liftA3 f amap bmap cmap
  meaning
    Map.intersectionWith ($) (Map.intersectionWith f amap bmap) cmap

But I cannot complete the instance implementation because there is no 
sensible definition for 'pure' for Data.Map. :-(



More information about the Libraries mailing list