Vavr User Guide refers to the following piece of code while discussing its named parameters
feature:
Named Parameters
Vavr leverages lambdas to provide named parameters for matched values.
Number plusOne = Match(obj).of(
Case($(instanceOf(Integer.class)), i -> i + 1),
Case($(instanceOf(Double.class)), d -> d + 1),
Case($(), o -> { throw new NumberFormatException(); }) );
Could someone please elaborate on where the named parameters are in play here and how they are used? Thank you in advance.