import datetime
from dataclasses import dataclass

@dataclass
class User:
    id: int
    name: str
    signup_ts: datetime | None
    user_ids: list[int]

user_right = User(
    id=123,
    name='Samuel',
    signup_ts=datetime(2022, 11, 30),
    user_ids=[1, 2, 3]
)
user_wrong = User(
    id='this is not an integer',
    name='Samuel',
    signup_ts=datetime(2022, 11, 30),
    user_ids=[1, 2, 3, 'wrong']
)

from pydantic_db import DatabaseModel, EmailStr
import datetime

class User(DatabaseModel):
    id: int
    name: str
    email: EmailStr
    signup_ts: datetime | None
    user_ids: list[int]

user = User(**untrusted_data)
# save the user
user.save()
# filter by users using Gmail
users = User.db_filter(email_endswith='@gmail.com')

from pydantic import BaseModel, EmailStr
import datetime

class User(BaseModel):
    id: int
    name: str
    email: EmailStr
    signup_ts: datetime | None
    user_ids: list[int]

user = User(**untrusted_data)

from pydantic import BaseModel

class RaiseMoney(BaseModel):
    amount: int
    currency: str
    investor: str

seed_round = RaiseMoney(
    amount=4_000_000,
    currency='usd',
    investor='???',
)