types-flask-migrate

import os from flask import Flask from flask_sqlalchemy import SQLAlchemy from flask_migrate import Migrate # Basic Flask application setup app = Flask(__name__) app.config['SQLALCHEMY_DATABASE_URI'] = os.environ.get('DATABASE_URL', 'sqlite:///app.db') app.config['SQLALCHEMY_TRACK_MODIFICATIONS'] = False db = SQLAlchemy(app) # Initialize Flask-Migrate migrate = Migrate(app, db) # Define a simple model (for demonstration) class User(db.Model): id: int = db.Column(db.Integer, primary_key=True) name: str = db.Column(db.String(128)) # Example usage (not run at runtime, for type checking only) # def create_db_and_migrate(): # with app.app_context(): # db.create_all() # # In a real app, you'd run 'flask db migrate' and 'flask db upgrade' via CLI print('Flask-Migrate types loaded. Run `mypy your_app.py` to check types.')