Re: rebinding arrow notation

2008-09-04 Thread Peter Gavin
Simon Peyton-Jones wrote: | Section 8.3.5 of the documentation says: | |Arrow notation (see Section 8.9, “Arrow notation ”) uses whatever arr, (>>>), |first, app, (|||) and loop functions are in scope. But unlike the other |constructs, the types of these functions must match the Prel

RE: rebinding arrow notation

2008-09-03 Thread Simon Peyton-Jones
| Section 8.3.5 of the documentation says: | |Arrow notation (see Section 8.9, “Arrow notation ”) uses whatever arr, (>>>), |first, app, (|||) and loop functions are in scope. But unlike the other |constructs, the types of these functions must match the Prelude types very |closely.