将 datetime[ms] 转换为 polars 中的 datetime[ns]

cast datetime[ms] to datetime[ns] in polars

我想将类型为 datetype[ms] 的列转换为 polars 中的 datetime[ns]。有没有简单的方法可以做到这一点?我认为使用 datetime[ms] 时 group_by_dynamic 有问题,我想测试一下

s = pl.date_range(datetime(2021, 1, 1), datetime(2021, 1, 2), interval="3h", time_unit="ns")

# divide by 1 million is from ns to ms
(s.cast(int) // 1_000_000).cast(pl.Datetime).dt.and_time_unit("ms")
shape: (9,)
Series: '' [datetime[ms]]
[
    2021-01-01 00:00:00
    2021-01-01 03:00:00
    2021-01-01 06:00:00
    2021-01-01 09:00:00
    2021-01-01 12:00:00
    2021-01-01 15:00:00
    2021-01-01 18:00:00
    2021-01-01 21:00:00
    2021-01-02 00:00:00
]