typelevel / typelevel/kind-projector
Doc confusion: no instance of the proposed Functor in "type lambda gotchas"
Open
Nobody has claimed this yet.
- Dominant language
- Scala
- Stars
- 923
- Forks
- 75
- Avg merge
- 6h 5m
- Merged PRs (30d)
- 1
Description
In Type Lambda gotchas:
In these cases you should prefer the lambda syntax, which would be written as:
Functor[Lambda[a => Future[List[a]]]]
The documentation doesn't explicitly refer to Cats' Functor, but most people are going to assume that, and Cats provides no such functor out of the box.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Open the Type Lambda gotchas section and review the quoted Functor example. Clarify which Functor is intended, or that no instance is provided out of the box, so the example does not imply that Cats supplies it; the section is done when this ambiguity is removed.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100