How to make a "timestamp with time zone"?

[typeshige]

First Check

• I added a very descriptive title to this issue.
• I used the GitHub search to find a similar issue and didn't find it.
• I searched the SQLModel documentation, with the integrated search.
• I already searched in Google "How to X in SQLModel" and didn't find any information.
• I already read and followed all the tutorial in the docs and didn't find an answer.
• I already checked if it is not related to SQLModel but to Pydantic.
• I already checked if it is not related to SQLModel but to SQLAlchemy.

Commit to Help

• I commit to help with one of those options 👆

Example Code

import datetime

from typing import List, Optional

import sqlmodel


class AuthUser(sqlmodel.SQLModel, table=True):
  __tablename__ = 'auth_user'
  id: Optional[int] = sqlmodel.Field(default=None, primary_key=True)
  password: str = sqlmodel.Field(max_length=128)
  last_login: datetime.datetime

Description

I'm trying to make the last_login field become a "timestamp with time zone" field in Postgres.

With the above code, it is a "timestamp without time zone".

Operating System

Linux, macOS

Operating System Details

No response

SQLModel Version

0.0.3

Python Version

Python 3.8.1

Additional Context

No response

[synic]

import datetime

from typing import List, Optional

import sqalchemy as sa
import sqlmodel


class AuthUser(sqlmodel.SQLModel, table=True):
  __tablename__ = 'auth_user'
  id: Optional[int] = sqlmodel.Field(default=None, primary_key=True)
  password: str = sqlmodel.Field(max_length=128)
  last_login: datetime.datetime = Field(sa_column=sa.Column(sa.DateTime(timezone=True), nullable=False))

[typeshige]

Awesome, this was super helpful.

Since Column and DateTime are imported in sqlmodel, I modified it slightly as:

from typing import List, Optional

import sqlmodel


class AuthUser(sqlmodel.SQLModel, table=True):
  __tablename__ = 'auth_user'
  id: Optional[int] = sqlmodel.Field(default=None, primary_key=True)
  password: str = sqlmodel.Field(max_length=128)
  last_login: datetime.datetime = sqlmodel.Field(
      sa_column=sqlmodel.Column(
          sqlmodel.DateTime(timezone=True),
          nullable=False
      )
  )

[synic]

Nice. I kinda wish the pydantic fields (like EmailStr were also available in sqlmodel, so that everything is all in the same place) @tiangolo