P
pyrefly-type-coverage
Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes.
Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Migrate a file to use stricter Pyrefly type checking with annotations required for all functions, classes, and attributes.
How to use
- Sprawdź, czy Twój projekt zawiera plik konfiguracyjny pyrefly.toml — jest to wymagane do pracy z tą umiejętnością.
- Otwórz plik, który chcesz ulepszyć, i usuń wszystkie komentarze typu pyre-ignore-all-errors lub @lint-ignore-every PYRELINT znajdujące się na górze pliku — te dyrektywy blokują kontrolę typów dla całego pliku.
- Dodaj wpis do pliku pyrefly.toml, aby włączyć ścisłą kontrolę typów dla Twojego pliku lub katalogu. Użyj sekcji [[sub-config]] z parametrem matches wskazującym ścieżkę do pliku (np. path/to/your/file.py) lub katalogu (np. path/to/directory/**), a następnie ustaw implicit-import = false i implicit-any = true w sekcji [sub-config.errors].
- Uruchom polecenie pyrefly check
, aby zidentyfikować wszystkie błędy typów — narzędzie wyświetli listę brakujących adnotacji zwrotnych, parametrów i atrybutów wraz z numerami linii. - Dodaj brakujące adnotacje typów do funkcji, klas i atrybutów na podstawie raportów z kroku 4 — możesz stopniowo włączać bardziej rygorystyczne opcje w pyrefly.toml, takie jak unannotated-attribute, unannotated-parameter i unannotated-return.
- Ponownie uruchom pyrefly check, aby potwierdzić, że wszystkie błędy typów zostały rozwiązane i plik osiągnął pełne pokrycie typów.