FIX #2722: update RULES for the Category/Arrow split
authorRoss Paterson <ross@soi.city.ac.uk>
Tue, 4 Nov 2008 14:45:15 +0000 (14:45 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Tue, 4 Nov 2008 14:45:15 +0000 (14:45 +0000)
commit8ed8e78f08c7fb045fd988f5859831dd75654490
tree604033d4231476d330963969ed4d189f9aed1301
parentc55fb560777b5fbd966589c47a00bab4756b05fe
FIX #2722: update RULES for the Category/Arrow split

The rule

arr id = id

interacts unpleasantly with the advice to define

id = arr id

in instances of Category that are also instances of Arrow (#2722).

Also changed a couple of >>>'s to .'s in later rules.
Control/Arrow.hs