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

Add ReleasableResource.pure #542

Closed
kevin-lee opened this issue May 13, 2023 · 0 comments · Fixed by #543
Closed

Add ReleasableResource.pure #542

kevin-lee opened this issue May 13, 2023 · 0 comments · Fixed by #543
Assignees
@kevin-lee
Labels
task Task v2 Effectie v2
Milestone
v2-m1

Comments

@kevin-lee
Copy link
Owner

Summary

Add ReleasableResource.pure

Version

2.0.0-beta9

Description

ReleasableResource.pure(resource: A): ReleasableResource[F, A]

So A doesn't have to be AutoCloseable as it's just a pure value.
@kevin-lee kevin-lee added task Task v2 Effectie v2 labels May 13, 2023
@kevin-lee kevin-lee self-assigned this May 13, 2023
@kevin-lee kevin-lee added this to the v2-m1 milestone May 13, 2023
kevin-lee added a commit that referenced this issue May 13, 2023
@kevin-lee
Close #542 - Add ReleasableResource.pure
c6d0754
kevin-lee added a commit that referenced this issue May 13, 2023
@kevin-lee
Close #542 - Add ReleasableResource.pure
f1e0fde
kevin-lee added a commit that referenced this issue May 13, 2023
@kevin-lee
Close #542 - Add ReleasableResource.pure
bd51b04
@kevin-lee kevin-lee mentioned this issue May 13, 2023
Merged
kevin-lee added a commit that referenced this issue May 13, 2023
@kevin-lee
Merge pull request #543 from Kevin-Lee/task/542/add-ReleasableResourc…
48d0487 
…e.pure

Close #542 - Add `ReleasableResource.pure`
@kevin-lee kevin-lee mentioned this issue Jul 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 Task v2 Effectie v2
Projects
None yet
Milestone
v2-m1
Development

Successfully merging a pull request may close this issue.

Close #542 - Add ReleasableResource.pure kevin-lee/effectie
1 participant
@kevin-lee