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.

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

Demand doobie Put/Get as separate constraints #334

Merged
merged 1 commit into from
May 18, 2021

Conversation

isomarcte
Copy link
Contributor

From the Doobie documentation on Meta,

It's important to understand that Meta should never be demanded by user methods; instead demand both Get and Put. The reason for this is that while Meta implies Get and Put, the presence of both Get and Put does not imply Meta.

This commit separates the constraints for the FUUID Meta instance, adding a new implicit definition and deprecating the old one.

From the Doobie documentation on Meta,

>  It's important to understand that `Meta` should never be demanded by user methods; instead demand both `Get` and `Put`. The reason for this is that while `Meta` implies `Get` and `Put`, the presence of both `Get` and `Put` does *not* imply `Meta`.

This commit separates the constraints for the `FUUID` `Meta` instance, adding a new implicit definition and deprecating the old one.
@isomarcte
Copy link
Contributor Author

@ChristopherDavenport any change we could merge this, bump doobie to 0.12.1 and do a release in the near term?

It looks like Doobie 0.10.0 is binary incompatible with 0.12.1.

@isomarcte
Copy link
Contributor Author

Probably low priority though, it looks like the very small binary API we call here is backwards compatible. Sorry, I got ahead of myself there.

Base automatically changed from master to main March 19, 2021 19:07
@isomarcte
Copy link
Contributor Author

@ChristopherDavenport anything I can do to move this along?

@JesusMtnez JesusMtnez changed the title Demand The Doobie Put/Get As Separate Constraints Demand doobie Put/Get as separate constraints May 18, 2021
@JesusMtnez JesusMtnez merged commit 4179830 into davenverse:main May 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants