Patch 1937: WIP Functor2 - Darcs bug tracker

Created on 2019-09-23.21:51:20 by bfrk, last changed 2023-07-10.13:55:07 by bfrk.

Files
File name	Status	Uploaded	Type	Edit	Remove
patch-preview.txt		bfrk, 2019-09-23.21:51:20	text/x-darcs-patch
unnamed		bfrk, 2019-09-23.21:51:20	text/plain
wip-functor2.dpatch		bfrk, 2019-09-23.21:51:20	application/x-darcs-patch

See mailing list archives for discussion on individual patches.

Messages
msg21562 (view)	Author: bfrk	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 Attachments patch-preview.txt unnamed wip-functor2.dpatch
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 class. 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.

History
Date	User	Action	Args
2019-09-23 21:51:20	bfrk	create
2019-09-24 10:57:28	ganesh	set	messages: + msg21568
2020-01-25 09:16:01	ganesh	set	status: needs-screening -> in-discussion
2023-07-10 13:55:07	bfrk	set	status: in-discussion -> rejected