pyleft 1.2.0

Python type annotation existence checker

PyLeft

Python type annotation existence checker

---

pyleft is a complement to Microsoft's pyright tool. While pyright does an excellent job at type checking your Python code, it doesn't check to make sure type hints exist. If you forget to add type hints to a function, pyright will usually see no problems with it. This tool checks to make sure all of your code has type hints, while leaving it to pyright to make sure they are actually correct.

Installation

PyLeft requires Python 3.7+.

pip install pyleft

Usage

PyLeft is a Python module that can be run via python -m. Just provide the directories or files to recursively check.

python -m pyleft .

The module will exit with an exit code of 0 if all type hints are present, or 1 if there are any issues.

Example

> pyleft .
- tests/files/fail_1.py
        Argument 'two' of function 'add:1' has no type annotation
- tests/files/fail_2.py
        Function 'add:1' has no return type annotation
- tests/files/fail_3.py
        Function 'drive:2' has no return type annotation
- tests/files/fail_4.py
        Argument 'one' of function 'wheels:4' has no type annotation

Options

• paths: File and directory names to recursively check.
• --exclude: (optional) List of pattern(s) of files/directories to exclude in gitignore format. Takes precedence over paths.
• --no-gitignore: (optional) Don't use the exclusions from the .gitignore file(s) in the current working directory.
• --ignore-if-has-default: (optional) Ignore a lack of annotation if a function argument has a default value.
• --quiet: (optional) Don't print any output to STDOUT.
• --verbose: (optional) Print debugging information to STDERR.

Configuration

Configuration is done through the pyproject.toml file.

[tool.pyleft]
# "paths" in the configuration file are added to the option given on the
# command line
# This can either be a list, or a space separated string
paths = ["extra/directory/"]
# This can either be a list, or a space separated string
exclude = ["*_pb2.py"]
# These are all booleans
no-gitignore = false
ignore-if-has-default = false
quiet = false
verbose = false

Design Decisions

If a .pyi file exists alongside a .py file, only the .pyi file will be checked.

The __init__ and __new__ methods of a class are not required to have return type hints. pyright automatically assumes this to be None.

The first (self) argument of any class method is not required to have a type hint.

The first (cls) argument of any class @property or @classmethod or __new__ method is not required to have a type hint.

Any variable argument list (*arg) or keyword argument dict (**kwarg) is not required to have a type hint.

Types of types, such as List or Tuple are not required. For example, a type hint of just list is allowed, although you should normally be as specific as possible with a better type hint like List[int].

Disclaimer

This project is not affiliated in any way with Microsoft.