Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

"Rework" Cats numeric instances for Iron #271

Closed
Iltotore opened this issue Sep 20, 2024 · 0 comments · Fixed by #277
Closed

"Rework" Cats numeric instances for Iron #271

Iltotore opened this issue Sep 20, 2024 · 0 comments · Fixed by #277
Labels
enhancement New feature or request
Milestone
3.0.0

Comments

@Iltotore
Copy link
Owner

  • Depend on Algebra
  • Provide more powerful instances when possible (e.g Ring)
  • Make numeric instances generation more flexible (e.g use Greater and Less combined with implications instead of Positive and Negative)
  • Get rid of PosShift and NegShift ?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
3.0.0
Development

Successfully merging a pull request may close this issue.

feat: Polish Cats semigroups/monoids for refined types Iltotore/iron
1 participant
@Iltotore