Bump io.vavr:vavr from 0.10.6 to 1.0.0

[dependabot]

Bumps io.vavr:vavr from 0.10.6 to 1.0.0.

Release notes

Sourced from io.vavr:vavr's releases.

v1.0.0

Vavr started in 2014 as Javaslang, a small experiment in bringing functional programming to Java. Over the years, it grew into a comprehensive library trusted by thousands of projects.

This is the first* stable major release. It marks the point where the API is mature, battle-tested, and ready for long-term production use with full semantic versioning guarantees going forward. Vavr 1.0.0 is intentionally not a revolution. The goal of this release is to formalize the stability that 0.x users have relied on for years, not to reinvent the library.

The 1.0.0 label reflects what has been true in practice for a long time: Vavr is production-ready, stable, and not dead

Thank you to every contributor who filed issues, submitted pull requests, improved documentation, and helped shape the library over the past 12 years.

Philosophy of 1.0.0

1.0.0 is a drop-in replacement for 0.11.0. The API you know is the API you get. If your project compiles against 0.11.0, upgrading to 1.0.0 should be a version bump and nothing more (unless you used the experimental Task API, which was the only removal).

Larger changes - such as an aggressive minimum Java version bump, potential API redesigns, and leveraging modern JVM features - are deliberately staged for Vavr 2.x. The 1.0.0 line will remain a conservative, Java 8-compatible foundation for projects that need long-term stability above all else.

What's Changed

• Fix: Missing .mapTo / .mapToVoid override on Either by @​adamkopec (#3218)
• hundreds of tiny JavaDocs issues by @​pivovarit

Full Changelog: vavr-io/vavr@v0.11.0...v1.0.0

Preview Release 1.0.0 alpha 3

Info

Caution: This is a preview release of the upcoming major release 1.0.0. It is highly under development and the API is subject to change. Please do not use it in production.

We are still in the process of moving the changes from the original 1.0.0 branch to master.

Additionally there are stashed changes that did not make it into the minor release 0.10.0, that may make it into the upcoming 1.0.0 release. This is also work in progress.

The API Docs can be found here (🚧 currently unavailable because https://www.javadoc.io seems to be down)

Comitters

🎉 MANY THANKS TO ALL COMMITTERS! 🎉

• ⭐️ Daniel Dietrich (@​danieldietrich)
• ⭐️ baant
• ⭐️ Alexandru Stana (alexandrustana)
• ⭐️ Mark Raynsford (io7m)
• ⭐️ Theodor A. Dumitrescu (@​thadumi)
• ⭐️ Juan Antonio Breña Moral (jabrena)
• ⭐️ Bram Schuur (@​craffit)
• ⭐️ Mincong Huang (mincong-h)

Changes

... (truncated)

Commits

• 49d2566 [maven-release-plugin] prepare release v1.0.0 [ci skip]
• 20dd427 use vavr-match:1.0.0
• 0e5c7cb update license headers
• 6300c8c Fix: Missing .mapTo / .mapToVoid override on Either (#3218)
• ba175c5 Update versions to 1.0.0-SNAPSHOT
• d173ce7 Fix javadoc discrepancies between documentation and code (#3212)
• 39994c5 Remove experimental Task API (#3213)
• b424fbf Add missing javadoc for public API methods and interfaces (#3211)
• fbb48f6 Add missing JavaDocs for range-related public methods (#3175)
• a070fb9 Add missing JavaDocs to HashSet.java (#3174)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)