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-circe] Add Encoder and Decoders for Newtype, Refined and InlinedRefined with Coercible and RefinedCtor #103

Closed
kevin-lee opened this issue Dec 11, 2023 · 0 comments · Fixed by #106
Closed

[refined4s-circe] Add Encoder and Decoders for Newtype, Refined and InlinedRefined with Coercible and RefinedCtor #103

kevin-lee opened this issue Dec 11, 2023 · 0 comments · Fixed by #106
Assignees
@kevin-lee
Labels
task
Milestone
m3

Comments

@kevin-lee
Copy link
Owner

kevin-lee commented Dec 11, 2023 •
edited
Loading

Summary

[refined4s-circe] Add Encoder and Decoders for Newtype, Refined and InlinedRefined with Coercible and RefinedCtor

Version

0.2.0

Description

No response
@kevin-lee kevin-lee added the task label Dec 11, 2023
@kevin-lee kevin-lee added this to the m3 milestone Dec 11, 2023
@kevin-lee kevin-lee self-assigned this Dec 11, 2023
@kevin-lee kevin-lee changed the title Add Encoder and Decoders for Newtype, Refined and InlinedRefined with Coercible and RefinedCtor [refined4s-circe] Add Encoder and Decoders for Newtype, Refined and InlinedRefined with Coercible and RefinedCtor Dec 11, 2023
kevin-lee added a commit that referenced this issue Dec 11, 2023
@kevin-lee
Close #103 - [refined4s-circe] Add Encoder and Decoders for Newtype, …
65e279c 
…Refined and InlinedRefined with Coercible and RefinedCtor
@kevin-lee kevin-lee mentioned this issue Dec 11, 2023
Merged
kevin-lee added a commit that referenced this issue Dec 11, 2023
@kevin-lee
Close #103 - [refined4s-circe] Add Encoder and Decoders for Newtype, …
be27544 
…Refined and InlinedRefined with Coercible and RefinedCtor
@kevin-lee kevin-lee mentioned this issue Dec 15, 2023
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
m3
1 participant
@kevin-lee