Support `Literal` types

Offen

#274 erstellt am 13.7.2021 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 4/5
Geschätzter Aufwand: 3-5 Tage
Anfängerfreundlichkeit: 38/100

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

Rechercherichtung

Beginne damit nachzuverfolgen, wie typeclass, AssociatedType, Supports und @some.instance delegierte Typen behandeln, und vergleiche diesen Pfad anschließend mit dem Beispiel Literal[1]. Als abgeschlossen gilt die Aufgabe, wenn das Beispiel die Typprüfung besteht und some(1) über die Literal-Registrierung korrekt aufgelöst wird, wobei das bestehende Delegate-Verhalten erhalten bleibt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

enhancement

After we have delegate in-place we can use Literal types.

But, now they are not supported.
Ideally, something like this should work:

from classes import typeclass, AssociatedType, Supports
from typing_extensions import Literal

class SomeDelegate(object):
    ...  # TODO: write proper `__instancecheck__`

class A(AssociatedType):
    ...

@typeclass(A)
def some(instance) -> int:
    ...

@some.instance(Literal[1], delegate=SomeDelegate)
def _some_tuple(instance: Literal[1]) -> int:
    return instance

def test(i: Supports[A]):
    return some(i)

some(1)

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