fix(typing): #983 return type of StringMethods.match

[cmp0xff]

• [ ] Closes #983
• [ ] Tests added: Please use assert_type() to assert the type of any return value

[cmp0xff]

Hi @Dr-Irv thank you for the comment. In https://github.com/pandas-dev/pandas-stubs/issues/983#issuecomment-2301853575 you mentioned:

The declaration of match() in core/strings.pyi is incorrect.

I partially fixed it.

• Now the typing is correct and more accurate for Series.str.match.
• However, the return type actually depends on where str.match is called.
  • If it is from a Series, the return type is Series[bool], as is fixed
  • If it is from an Index, the return type is npt.NDArray[np.bool_], as in #983

How can I capture this expectation?

But to fix it, the StringMethods class will need an additional argument to pass in the expected result of match(), similar to what is done with str.split().

I do not get this suggestion. Could you elaborate?

PR with tests welcome

990

[Dr-Irv]

How can I capture this expectation?

But to fix it, the StringMethods class will need an additional argument to pass in the expected result of match(), similar to what is done with str.split().

I do not get this suggestion. Could you elaborate?

In core/strings.pyi, we have this:

# The _TS type is what is used for the result of str.split with expand=True
_TS = TypeVar("_TS", DataFrame, MultiIndex)

class StringMethods(NoNewAttributesMixin, Generic[T, _TS]):

You need to create an additional TypeVar, let's call it _MR (for match result). Then the Generic part of StringMethods adds _MR to the parameters of Generic.

Then the match() method would return _MR.

Then you change the references to StringMethods in core/series.pyi and core/indexes/base.pyi to pass in the correct type of result you want match to return as the 3rd argument.

See the pattern used with split() - that's how we control the return type of that particular method.

I'll let you address that change before firing off the CI.

[cmp0xff]

Hi @Dr-Irv , thanks for the explanations. I have made the changes.