O que pyrefly-type-coverage faz?
Migra um arquivo para usar a verificação de tipos Pyrefly mais rigorosa, com anotações obrigatórias para todas as funções, classes e atributos.
Descrição
Esta skill automatiza a migração de arquivos de código para o modo de verificação de tipos Pyrefly mais rigoroso, exigindo anotações de tipo explícitas para todas as funções, classes e atributos. É útil para equipes que desejam adotar a verificação de tipos estática estrita com Pyrefly, melhorando a segurança de tipo e a documentação do código.
Como usar
Para usar esta skill, execute o comando apropriado no seu terminal, especificando o arquivo a ser migrado. A skill modificará o arquivo para cumprir as regras de tipo mais estritas.
pyrefly-type-coverage --file caminho/para/seu/arquivo.py
Requisitos
- Python 3.8 ou superior
- Pyrefly instalado e configurado
- O arquivo de configuração do Pyrefly (pyrefly.toml ou similar) deve estar presente no projeto
Funcionalidades
- Adiciona anotações de tipo ausentes automaticamente
- Corrige violações de tipo detectadas pelo Pyrefly
- Garante que o arquivo resultante compile sem erros de tipo
- Suporte a múltiplos arquivos em lote
Recursos adicionais
Para mais informações sobre o Pyrefly e sua configuração, consulte a documentação oficial.