Inkuire gives back a `Resolving error: Could not resolve type: Function1`
@KacperFKorban is already working on this.
Since Jan 9, 2023.
- Dominant language
- Scala
- Stars
- 6.3k
- Forks
- 1.2k
- Avg merge
- 1d 17h
- Merged PRs (30d)
- 126
Description
Cats recently added the -Ygenerate-inkuire flag for Scala versions 3.2.1+. However using the Inkuire functionality for certain types of function signatures gives back a could not resolve type error.
Compiler version
3.2.1
Minimized example
Visit: https://s01.oss.sonatype.org/service/local/repositories/snapshots/archive/org/typelevel/cats-docs_3/2.10-0b2494a-SNAPSHOT/cats-docs_3-2.10-0b2494a-SNAPSHOT-javadoc.jar/!/index.html
And then search using this function signature: F[A] => (A => B) => F[B]
- You can also try searching for
F[A] => (A => G[B]) => G[F[B]]which returns the same error.
Output
Resolving error: Could not resolve type: Function1

Expectation
Inkuire finding functions like map in case of F[A] => (A => B) => F[B]
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.
Assessment
This issue has not been assessed yet.