Hypothesis integration
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
Direzione di ricerca
Inizia leggendo il file referenziato returns/contrib/hypothesis/laws.py e confrontalo con i controlli typeclass e mypy esistenti in questo progetto. Definisci la strategia check_typeclass proposta e le relative opzioni allow_instances, allow_protocols e allow_unknown, quindi verifica che i casi supportati producano tipi di ritorno validi e che quelli non supportati producano NotImplementedError.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Right now we don't test classes with hypothesis at all.
But, I have a great idea (at least it seems to me like so) of adding a hypothesis plugin, similar to one we have in returns: https://github.com/dry-python/returns/blob/master/returns/contrib/hypothesis/laws.py
What should it do?
check_typeclass(typeclass_instance)will check that for all existing types and protocols some valid return type is produced. For example,@typeclass def some(instance) -> strmust producestrfor allinstance,protocol, and supported types and it must produceNotImplementedErrorfor types that are not supported- Looks like
check_typeclassmust haveallow_instances,allow_protocols,allow_unknownkwboolarguments to configure what types we actually need in a resulting strategy
It would be a nice companion to our mypy check.
@Zac-HD do you like it? Maybe you have any other ideas?
- Lingua principale
- Python
- Stelle
- 730
- Fork
- 30
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di dry-python/classes
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
dry-python/classes#496 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
dry-python/classes#494 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 52/100
dry-python/classes#492 · 2 commenti ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
dry-python/classes#481 · 5 commenti · 4 reazioni ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
dry-python/classes#386 ·
Tutte le issue di dry-python/classes
Issue simili
-
Add: hunch Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
AbdelStark/awesome-typesafe#104 ·
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
DiamondLightSource/dodal#2211 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
openml/openml-python#1749 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
sipyourdrink-ltd/bernstein#6191 ·