adjunctions icon indicating copy to clipboard operation
adjunctions copied to clipboard

Published 20 hours ago • verified publisher icon ekmett

Place and name of higher Functor

Open phadej opened this issue 5 years ago • 0 comments

So we don't forget to settle on https://github.com/ekmett/adjunctions/pull/49#issuecomment-382416923

Based on todays comments by Edward, Functor1 is not a good name!

https://github.com/ekmett/codex/blob/d4eeebf55a8c2bc9b858cdc0ddccb2679e03091f/lib/hkd/src/Data/HKD.hs#L61

21:48  edwardk Functor1, etc. doesn't work because I want FFunctor, FFoldable, FTraversable..
21:49  edwardk and the latter become Foldable1 and Traversable1 under that convention!

phadej avatar May 30 '19 18:05 phadej