[Haskell-cafe] Trouble defining `instance Arrow SF'

David Barbour dmbarbour at gmail.com
Fri Oct 28 06:46:08 CEST 2011

On Thu, Oct 27, 2011 at 7:07 PM, Captain Freako <capn.freako at gmail.com>wrote:

> Thanks for the reply, David.
> I tried implementing your suggestions, such that my code now looks like
> this:
While Ross Patterson followed Hughes closely, it was recognized that
Category could be separated from Arrow. For `Category`, you must define (.)
and id. There is a definition in the Control.Category module:
  (>>>) = flip (.)
Thus, once you instance Category, you you get (>>>) for free.

For Arrow, you must define `arr` and `first`.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111027/f8e33f08/attachment.htm>

More information about the Haskell-Cafe mailing list