typelevel / typelevel/cats-effect
Add `FiberLocal.Make`
Nobody has claimed this yet.
- Dominant language
- Scala
- Stars
- 2.2k
- Forks
- 576
- Avg merge
- 2d 11h
- Merged PRs (30d)
- 18
Description
Follow-up to #1393.
I think users will likely want to create fiber locals for an abstract effect. We can surely create them in IO and other effects that have this functionality, it is probably possible for monad transformers too (I might be missing something).
It would be great to have an abstraction for this that people can depend on instead of sticking to IO:
object FiberLocal {
trait Make[F[_]] {
def make(a: A): F[FiberLocal[F, A]]
}
object Make {
implicit val makeForIO: Make[IO] = ...
implicit def makeForOptionT[F[_]: Make]: Make[OptionT[F, *]] = ...
}
}
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
Start by reading the linked follow-up issue #1393 and the existing FiberLocal functionality in IO. Determine how a FiberLocal.Make abstraction should support IO and transformer cases such as OptionT, then confirm that the proposed abstraction and instances work for the effects described in the issue.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100