ekmett / ekmett/adjunctions

Place and name of higher Functor

Open
#56 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
45
Forks
26
PR merge metrics
No merged PRs in 30d

Description

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!
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.