dependent-map icon indicating copy to clipboard operation
dependent-map copied to clipboard

Published 20 hours ago • verified publisher icon obsidiansystems

Monoid subclasses

Open endgame opened this issue 1 year ago • 1 comments

Stacked on top of #55, so you can merge that first in case you want to ship that before a release with new features.

https://github.com/reflex-frp/patch/issues/44 is the grand plan to get patch-ish things off DecideablyEmpty and use MonoidNull from monoid-subclasses. Since this PR adds the dep anyway, I filled out all the lawful instances that I could.

Note that there's no instance for LeftGCDMonoid (DMap k f); unlike containers, dependent-map does not provide a mergeWithKey function. I can add one, if you'd like, and add the instance in this PR.

endgame avatar Sep 29 '24 08:09 endgame

Has anyone had a chance to look at this?

endgame avatar May 13 '25 05:05 endgame