typelevel / typelevel/cats-effect
Tighten up some of the laws
Open
Nobody has claimed this yet.
- Dominant language
- Scala
- Stars
- 2.2k
- Forks
- 576
- Avg merge
- 2d 11h
- Merged PRs (30d)
- 18
Description
There are a few more laws that we could reasonably add:
- Constrain backpressure on finalizers. This is probably a couple laws, covering the singular
canceland the multi-cancelcase - Find a way to write a law which shows that
asyncfinalizers are real finalizers
Probably some more stuff. This is just what's in my head right now.
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
The issue names no files, tests, or entry points, and only suggests additional laws around finalizers, cancellation, backpressure, and async finalizers. Start by locating the existing law tests for these behaviors; completion would require agreed-upon laws and passing tests, but the issue does not define the expected assertions.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- testing-qa
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 22/100