Skip to main content

Progressive type annotation without regression! 🚀

Project description


Latest Commit
Package version

You've decided to add type annotation on the code source. What's your plan? 😅

This package is a small tool set to help you to achieve your dreamed fully type annotation project. 🚀

Using mypy, you'd probably add a files entry on your configuration file, and each time someone on the team wants to include type annotation on that file, you'd add on the files list. There are a some problems with this approach:

  1. Each new file doesn't need to be added on the files list.
  2. If a file gets fully type annotated, and you didn't even notice, it will not be added to the files list.

The 1. is more important, as we don't want to have regressions on our goal to have our code source fully type annotated. But you don't want to worry about 2. as well...

What this package does:

  • dump: Generates a list of files that are currently not type annotated.
  • check: Given an input of files:
    • If a file is in the list, and is fully type annotated, it will be removed from the list.
    • If a file is in the list, and is not fully annotated, it will be ignored.
    • If a file is not in the list, and is fully annotated, it will be ignored.
    • If a file is not in the list, and is not fully annotated, it will raise errors.


As usual.

pip install promypy


There are two commands available: dump and check.


promypy --help



This project is licensed under the terms of the MIT license.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

promypy-0.0.0-py3-none-any.whl (7.1 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page