Proposal: Allow arr ∧ (first ∨ (***)) as minimal definition of Arrow instance
3 Aug
2015
3 Aug
'15
2:47 a.m.
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
3579
Age (days ago)
3579
Last active (days ago)
0 comments
1 participants
participants (1)
-
M Farkas-Dyck