dry-python / dry-python/returns

Unit method like `IOResultE.from_value` must return `IOResult[_V, Exception]` type

Aberta
#407 9 comentários 0 reações 0 responsáveis Ver no GitHub
bug help wanted
Linguagem predominante
Python
Estrelas
4.4k
Forks
155
Merge médio
2h 27min
PRs com merge (30d)
22

Descrição

Currently, they do return incorrect types:

```python
reveal_type(IOResultE.from_value(int))
# => IOResult[int, Any]

# Should be:
# => IOResult[int, Exception]
```

To achieve what we want we might tweak the way we create an alias in some way:
1. We can use inheritance instead of aliasing
2. We can use some magic
3. mypy plugin?

Guia de contribuição

Abrir o guia de contribuição

Direção de pesquisa

Comece pelo ponto de entrada IOResultE.from_value e reproduza o problema com o exemplo de reveal_type mostrado. Investigue como o alias IOResultE está definido e como o mypy resolve seu tipo; o trabalho estará concluído quando o tipo revelado for IOResult[int, Exception] em vez de IOResult[int, Any].

Escrita pelo modelo de indexação a partir do texto da issue.

Avaliação

Stack de tecnologia
python
Domínio
tooling
Tipo de issue
Bug
Dificuldade
5/5
Tempo estimado
Mais de uma semana
Status de atividade
Estagnada
Clareza
Precisa de esclarecimento
Facilidade para iniciantes
25/100

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.