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

[refined4s-cats] Add explicit Eq and Show for pre-defined types #171

Closed
Tracked by #163
kevin-lee opened this issue Dec 25, 2023 · 0 comments · Fixed by #174
Closed
Tracked by #163

[refined4s-cats] Add explicit Eq and Show for pre-defined types #171

kevin-lee opened this issue Dec 25, 2023 · 0 comments · Fixed by #174
Assignees
@kevin-lee
Labels
task
Milestone
m6

Comments

@kevin-lee
Copy link
Owner

kevin-lee commented Dec 25, 2023 •
edited

Summary

[refined4s-cats] Add explicit Eq and Show for pre-defined types
It is to solve #163.

Version

0.5.0

Description

After #174,

  • Now it has refined4s.modules.cats.derivation.types.all for the all pre-defined types (e.g. NegInt, PosInt, NonEmptyString, etc.)
  • refined4s.modules.cats.derivation.instances => refined4s.modules.cats.derivation.generic.auto
  • refined4s.modules.cats.derivation.instances.contraCoercible is moved to refined4s.modules.cats.syntax
@kevin-lee kevin-lee added the task label Dec 25, 2023
@kevin-lee kevin-lee added this to the m6 milestone Dec 25, 2023
@kevin-lee kevin-lee self-assigned this Dec 25, 2023
kevin-lee added a commit that referenced this issue Dec 26, 2023
@kevin-lee
Close #171 - [refined4s-cats] Add explicit Eq and Show for pre-define…
03714e9 
…d types

- Now it has refined4s.modules.cats.derivation.types.all for the all pre-defined types (e.g. NegInt, PosInt, NonEmptyString, etc.)
- refined4s.modules.cats.derivation.instances => refined4s.modules.cats.derivation.generic.auto
- refined4s.modules.cats.derivation.instances.contraCoercible is moved to refined4s.modules.cats.syntax
kevin-lee added a commit that referenced this issue Dec 26, 2023
@kevin-lee
Close #171 - [refined4s-cats] Add explicit Eq and Show for pre-define…
79c8fac 
…d types

- Now it has refined4s.modules.cats.derivation.types.all for the all pre-defined types (e.g. NegInt, PosInt, NonEmptyString, etc.)
- refined4s.modules.cats.derivation.instances => refined4s.modules.cats.derivation.generic.auto
- refined4s.modules.cats.derivation.instances.contraCoercible is moved to refined4s.modules.cats.syntax
kevin-lee added a commit that referenced this issue Dec 26, 2023
@kevin-lee
Close #171 - [refined4s-cats] Add explicit Eq and Show for pre-define…
5b3c8cd 
…d types

- Now it has refined4s.modules.cats.derivation.types.all for the all pre-defined types (e.g. NegInt, PosInt, NonEmptyString, etc.)
- refined4s.modules.cats.derivation.instances => refined4s.modules.cats.derivation.generic.auto
- refined4s.modules.cats.derivation.instances.contraCoercible is moved to refined4s.modules.cats.syntax
@kevin-lee kevin-lee mentioned this issue Dec 26, 2023
Merged
kevin-lee added a commit that referenced this issue Dec 26, 2023
@kevin-lee
Close #171 - [refined4s-cats] Add explicit Eq and Show for pre-define…
f82d4b6 
…d types

- Now it has refined4s.modules.cats.derivation.types.all for the all pre-defined types (e.g. NegInt, PosInt, NonEmptyString, etc.)
- refined4s.modules.cats.derivation.instances => refined4s.modules.cats.derivation.generic.auto
- refined4s.modules.cats.derivation.instances.contraCoercible is moved to refined4s.modules.cats.syntax
This was referenced Dec 27, 2023
Closed
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kevin-lee kevin-lee

Labels
task
Projects
None yet
Milestone
m6
Development

Successfully merging a pull request may close this issue.

Close #171 - [refined4s-cats] Add explicit Eq and Show for pre-defined types kevin-lee/refined4s
1 participant
@kevin-lee