Module date_picker 

DatePicker widget — month-grid calendar picker.

Renders a header (prev-month chevron, “Month YYYY” label, next-month chevron) above a 7-column day grid. The first column is Monday — this is the locale assumption pinned by date_picker_first_day_of_week_is_monday so a future locale change must touch both the test and first_visible_col.

The visible month remains presentation state. The selected date can stay widget-local, bind directly to typed process-local state with DatePicker::from_state, or be observed with on_change for an app-owned durable mutation.

Structs

DateFeed

The app’s side of a DatePicker that stands outside the app’s own surface (a calendar’s month navigator in the shell’s sidebar): the app shows its day with Self::show and takes the days the person chose with Self::take_chosen. The app’s day stays the one truth; the picker reads the feed at every sync and update (DatePicker::fed_by).

DatePicker

DatePickerProps

A month’s calendar: the day chosen is ringed, today marked, and the arrows go between months. Days that hold something carry a dot.

DateShown

What the app shows in a DatePicker it feeds: the chosen day, the day it calls today and the days that hold something.

Enums

ExternalDatePickerHit

A host-side hit from an externally laid-out DatePicker.