refactor: share logic for Criterion comparisons

[waketzheng]

Description

• Introduce a new _compare function to reduce duplicated code within comparisons(__and__/__or__/__xor__)
• Add a new dev dependency typing-extensions to imports the Self for python<3.11
• Improve type hints for Criterion functions:
  • For __and__, __or__, __xor__, if the other parameter is instance of EmptyCriterion, return value is Self, not ComplexCriterion.
  • For the any function, if terms is empty, return value is instance of EmptyCriterion, and if there is only one element of terms, return value is this element, at that time, the return type is Term, otherwise return type is ComplexCriterion.
  • For the all function, as type of terms is any, it will return any if only one element in terms.

Checklist:

• I have read the CONTRIBUTING document.
• My code follows the code style of this project.
• All new and existing tests passed.

[coveralls]

coverage: 98.246% (-0.06%) from 98.307%
when pulling 1454437 on waketzheng:refactor-share-comparision-logic
into f400e39 on kayak:master.

[AzisK]

Thank you for your work. Could you pull the master code since there was a similar change related to typing-extensions merged?

[waketzheng]

Could you pull the master code since there was a similar change related to typing-extensions merged?

done.

[waketzheng]

BTW: you can add from __future__ import annotations at the beginning of python files, and run ruff check --extend-select=I,UP --fix --unsafe-fixes pypika/ to improve type hints. For example: #853

[AzisK]

Looks good to me. Thank you for the work