Hypothesis integration

Offen

#234 erstellt am 20.6.2021 2 Kommentare 1 Reaktion 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 5/5
Geschätzter Aufwand: Über eine Woche
Anfängerfreundlichkeit: 25/100

Issue-Typ: Feature
Klarheit: Größtenteils klar
Aktivitätsstatus: Veraltet
Tech-Stack: python
Bereich: testing

Rechercherichtung

Beginnen Sie mit dem Lesen der referenzierten returns/contrib/hypothesis/laws.py und vergleichen Sie sie mit den vorhandenen typeclass- und mypy-Prüfungen in diesem Projekt. Definieren Sie die vorgeschlagene check_typeclass-Strategie und ihre Optionen allow_instances, allow_protocols und allow_unknown. Überprüfen Sie anschließend, dass unterstützte Fälle gültige Rückgabetypen liefern und nicht unterstützte Fälle NotImplementedError erzeugen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

enhancement

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) -> str must produce str for all instance, protocol, and supported types and it must produce NotImplementedError for types that are not supported
Looks like check_typeclass must have allow_instances, allow_protocols, allow_unknown kw bool arguments 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?

Vorherrschende Sprache: Python
Sterne: 730
Forks: 30
PR-Merge-Kennzahlen: Keine gemergten PRs in 30 T.

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus dry-python/classes

Drop Python 3.7 through 3.9 support Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

dry-python/classes#496 · Erstellt am 13.12.2024
Outdated install-poetry.py in CI pipelines Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100

dry-python/classes#494 · Erstellt am 13.12.2024
Cannot install development environment on Python 3.12 Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 52/100

dry-python/classes#492 · 2 Kommentare · Erstellt am 12.12.2024
Error importing plugin "classes.contrib.mypy.classes_plugin" cannot import name 'union_items' from 'mypy.types' Offen

bug

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

dry-python/classes#481 · 5 Kommentare · 4 Reaktionen · Erstellt am 14.3.2023
Unable to install both returns and classes together Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100

dry-python/classes#386 · Erstellt am 10.4.2022

Alle Issues in dry-python/classes