promypy
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:
- Each new file is not added to the
fileslist. - If a file gets fully type annotated, you don't notice, and it will not be added to the
fileslist.
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.
Installation
As usual.
pip install promypyUsage
There are two commands available: dump and check.
Dump
The idea of this command is to store the list of files that are not fully type annotated into a file.
Usage: promypy dump [OPTIONS] FILES...
Generate a list of files that are not fully type annotated.
Arguments:
FILES... [required]
Options:
--mypy-args TEXT
--output TEXT
--help Show this message and exit.Check
Usage: promypy check [OPTIONS] FILES...
Check the given files with mypy, applying a set of custom rules.
Arguments:
FILES... [required]
Options:
-f, --ignore-file PATH [required]
--mypy-args TEXT
--help Show this message and exit.Pre-commit
Add the following to your .pre-commit-config.yaml file:
- repo: https://github.com/Kludex/promypy
rev: 0.2.0
hooks:
- id: promypy
args:
- --ignore-file=<dump_filename>License
This project is licensed under the terms of the MIT license.

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
