Patch 1937 WIP Functor2

Title WIP Functor2
Superseder Nosy List bf
Related Issues
Status needs-screening Assigned To

Created on 2019-09-23.21:51:20 by bf, last changed 2019-09-24.10:57:28 by ganesh.

File name Status Uploaded Type Edit Remove
patch-preview.txt bf, 2019-09-23.21:51:20 text/x-darcs-patch
unnamed bf, 2019-09-23.21:51:20 text/plain
wip-functor2.dpatch bf, 2019-09-23.21:51:20 application/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg21562 (view) Author: bf Date: 2019-09-23.21:51:20
Following up on discussion starting at msg21528 so we have something more
concrete to talk about.

1 patch for repository http://darcs.net/screened:

patch 2f4fd76dd832c3e1857abcbe0c3fb7b31e1b5388
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Sep 22 12:25:32 CEST 2019
  * WIP Functor2
msg21568 (view) Author: ganesh Date: 2019-09-24.10:57:27
I have some misgivings because for some types (any that don't
embed an existential) the type of 'fmap2' is more constrained than
it needs to be. So we could find ourselves adding back specialised
versions at some point in the future, or needing a second type 

I think it'd be more compelling if we had some examples where we
would actually want to overload on Functor2. Now that it exists,
perhaps those will emerge over time - it wasn't even possible to
write them before.

Overall I'm happy to go with it.
Date User Action Args
2019-09-23 21:51:20bfcreate
2019-09-24 10:57:28ganeshsetmessages: + msg21568