[Haskell-cafe] Why isn't ArrowChoice a parent of of ArrowApply?

Thu, 20 Jun 2013 00:07:30 -0700 

In Control.Arrow we have:

   |leftApp  ::ArrowApply  a => a b c -> a (Either  b d) (Either  c d)|

   Any instance of |ArrowApply| can be made into an instance of
   |ArrowChoice| by defining |left = leftApp|.

So why isn't |ArrowChoice| a parent of |ArrowApply|?

Best regards,
Petr


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to