Tippen von Sqlalchemy wo Klauseln ⇐ Python

[Anonymous]

Folgen Sie diesem Dokument:
https://docs.sqlalchemy.org/en/20/orm/e ... /mypy.html
Ich habe versucht, meine test.py Datei:
from sqlalchemy import Column, Integer, String, select
from sqlalchemy.orm import declarative_base
from sqlalchemy.dialects import postgresql
Base = declarative_base()
class Usr(Base):
__tablename__ = "usr"
id = Column(Integer, primary_key=True)
name = Column(String)
stmt = select(
Usr.name
).where(
Usr.id == "test" # comparing an int and an str
)
< /code>
Verwenden Sie den folgenden Befehl: < /p>

Code: Select all

mypy --strict --config-file mypy.ini test.py

wobei mypy.ini enthält:

Code: Select all

[mypy]
plugins = sqlalchemy.ext.mypy.plugin
< /code>
MyPy erhöht keinen Fehler in der WHERE -Klausel (Usr.id == "blabla"

).>