Any objections to a PR renaming `Resource lt A gt allocated` kotlinlang #arrow-contributors

Any objections to a PR renaming `Resource<A>...

phldavies

10/25/2024, 2:05 PM

Any objections to a PR renaming

Resource<A>.allocated

in Arrow2 back to

Resource<A>.allocate

as the recommended implementation was named in Arrow1.x?

Alejandro Serrano.Mena

10/25/2024, 4:20 PM

@simon.vergauwen your call

phldavies

10/25/2024, 5:32 PM

I've pushed up a PR in case it helps - https://github.com/arrow-kt/arrow/pull/3516 - feel free to close it if you want to keep

allocated