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