Proposal: Allow arr ∧ (first ∨ (***)) as minimal definition of Arrow instance

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Proposal: Allow arr ∧ (first ∨ (***)) as minimal definition of Arrow instance

M Farkas-Dyck-2
Add default definitions of first, second in terms of (***) to let one define an Arrow instance in terms of (***) rather than first, which is sometimes more elegant or convenient.

To my knowledge this can not break any code.

GHC ticket: 10216
_______________________________________________
Libraries mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries