support InverseFunctions

[aplavin]

Useful in, for example:

using Accessors

x = (a=1, b=1.23m)
y = @set x.b |> ustrip(m, _) = 2.34
# y == (a=1, b=2.34m)


using FlexiMaps

lr = maprange(@optic(log(ustrip(m, _))), 10cm, 10m, length=5)
# lr ≈ [0.1, √0.1, 1, √10, 10]m

Only works on 1.9+, no changes on earlier julias.

[codecov-commenter]

Codecov Report

Merging #622 (c15b8cd) into master (bd09747) will not change coverage.
The diff coverage is n/a.

❗ Current head c15b8cd differs from pull request most recent head b79917b. Consider uploading reports for the commit b79917b to get more accurate results

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@           Coverage Diff           @@
##           master     #622   +/-   ##
=======================================
  Coverage   89.06%   89.06%           
=======================================
  Files          16       16           
  Lines        1491     1491           
=======================================
  Hits         1328     1328           
  Misses        163      163           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[sostock]

I would wait for the Julia 1.9.0 release before merging this, just in case something about the "package extension interface" is still changed before the release.

[aplavin]

Well, then I won't insist, but note there are many very different packages that use extensions already: https://juliahub.com/ui/Search?q=extensions&type=code&f=Project.toml.

[aplavin]

As expected, package extensions didn't change in the actual 1.9 release, and this PR code does not change either.
Can it be merged now?

[aplavin]

Test failure seems to be an Aqua.jl bug: actually running ]resolve doesn't change Project.toml content.

[sostock]

Test failure seems to be an Aqua.jl bug: actually running ]resolve doesn't change Project.toml content.

This is JuliaTesting/Aqua.jl#105. It looks like Aqua wants the sections ordered alphabeticallydifferently and the entries within the sections ordered alphabetically as well, which is not the order that Pkg uses.

Edit: We could just change the order to the one Aqua prefers, Pkg.resolve doesn’t seem to change it back.

[aplavin]

@sostock could you please register the version as well?

[sostock]

Done: JuliaRegistries/General#83370

[oschulz]

Regarding the limitation to v1.9 - why not making InverseFunctions a required depencency on <=v1.8? InverseFunctions is extremely lightweight - even on v1.9, using an extension probably won't save even half a millisecond of load time.

[aplavin]

I just went for the 1.9-only approach because it's easiest (implement + convince to accept), that's the only reason.

[oschulz]

Ok if I do a PR to extend it to <v1.9?

[oschulz]

See #652