[Haskell-cafe] Why isn't ArrowChoice a parent of of ArrowApply?
petr.mvd at gmail.com
Thu Jun 20 09:02:48 CEST 2013
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|?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe