purescript-free icon indicating copy to clipboard operation
purescript-free copied to clipboard

Published 20 hours ago • verified publisher icon purescript

update Coyoneda -> use same argument names as in datatype

Open srghma opened this issue 5 years ago • 4 comments

srghma avatar Apr 02 '20 16:04 srghma

The typo fixes are good; but I see no reason to change these type names. More often than not, people write out the type of fmap as ... => (a -> b) -> f a -> f b (specifically with a,b,f); and it can be nice for these to line up, as they do at the moment.

LiamGoodacre avatar May 31 '20 12:05 LiamGoodacre

(well, the unCoyoneda one doesn't quite line up)

LiamGoodacre avatar May 31 '20 12:05 LiamGoodacre

Ok

srghma avatar May 31 '20 14:05 srghma

@LiamGoodacre, do I need to do anything to get this merged?

srghma avatar Jun 02 '20 05:06 srghma