Reinstate EitherT, OptionT MonadCombine/MonadFilter after #694 completes
Open
Nobody has claimed this yet.
Blocked
- Dominant language
- Scala
- Stars
- 5.5k
- Forks
- 1.2k
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 5
Description
#694 suggests an approach of adding weak and strong variants of the laws for MonadCombine/MonadFilter.
Once this has been completed, it should be possible to reinstate the commented out implementations of MonadCombine/MonadFilter, or supply equivalent implementations that meet the newly factored laws.
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 issue #694 and its proposed weak and strong law variants for MonadCombine and MonadFilter. Then locate the commented-out EitherT and OptionT instances in the repository and determine whether the new laws support reinstating them. Done means equivalent implementations compile and satisfy the newly factored laws.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100