Retrieve date from datetime column in polars

Currently when I try to retrieve date from a polars datetime column, I have to write sth. similar to:

df = pl.DataFrame({
    'time': [dt.datetime.now()]
})


df = df.select([
    pl.col("*"),
    pl.col("time").apply(lambda x: x.date()).alias("date")
])

Is there a different way, something closer to:

pl.col("time").dt.date().alias("date")

>Solution :

You can cast a Datetime column to a Date column:

import datetime
import polars as pl

df = pl.DataFrame({
    'time': [datetime.datetime.now()]
})

df.with_column(
    pl.col("time").cast(pl.Date)
)

shape: (1, 1)
┌────────────┐
│ time       │
│ ---        │
│ date       │
╞════════════╡
│ 2022-08-02 │
└────────────┘