Refine to Either[T Refined Not[P], T Refined P]
Open
experiment
- Dominant language
- Scala
- Stars
- 1.7k
- Forks
- 152
- Avg merge
- 1h 20m
- Merged PRs (30d)
- 6
Description
At the Typelevel Summit in Oslo @non and @dwijnand asked/talked about refining values into a coproduct of a refined type and its "negation", e.g. something like `Either[T Refined Not[P], T Refined P]`. I like this idea and want to explore how this can be implemented and added to refined.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.