[darcs-devel] [patch1911] WIP: use Prim patches in rebase toedit

[Ben Franksen]

Ben Franksen <ben.franksen at online.de> added the comment:

Just one side remark for now:

mapMB_MB :: (p wX wY -> q wX wY) -> Maybe2 p wX wY -> Maybe2 q wX wY
mapMB_MB _ Nothing2 = Nothing2
mapMB_MB f (Just2 v) = Just2 (f v)

I guess it's time to finally introduce

class Functor2 f where
  fmap2 :: p wX wY -> q wX wY -> f p wX wY -> f p wX wY

Off the top of my head I can think of instances for at least Maybe2, FL,
RL, Named, PatchInfoAndG; there are probably more.

I may give this one a try.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1911>
__________________________________