Why isn't ArrowChoice a parent of of ArrowApply?
2013-06-20 07:02:48 GMT
In Control.Arrow we have:
leftApp :: ArrowApplyan> 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?
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe <at> haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe