Heures et fuseaux

Champ date, heure et fuseau pour Slint

KitZonedDateTimeField · Slint Kit 0.3.1

Date et heure locales résolues dans un fuseau IANA.

Lancer l’aperçu

Essayer le composant

Télécharger le projet complet, le décompresser et lancer cargo run --locked dans son dossier. Rust 1.92+ ; Slint Kit 0.3.0 depuis crates.io. Vous pouvez aussi copier les quatre fichiers ci-dessous.

Saisissez AAAA-MM-JJ, HH:MM sur 24 heures et un fuseau IANA, puis résolvez le fuseau. Une heure locale répétée exige le choix explicite de la première ou de la seconde occurrence.

ui/app.slint

export { KitFormValidation, HtmlInputKind, NumberInputFormat, KitInputConstraints, KitValidationResult, KitValidityState } from "@kit/kit.slint";
import {KitZonedDateTimeField,KitButton,KitThemes,CivilDateView,LocalTimeView,LocalDateTimeView,LocalDateTimeDraft,ZonedDateTimeDraft,ZonedTimePresentation,AmbiguousTimeChoice} from "@kit/kit.slint";
export {CivilDateView,LocalTimeView,LocalDateTimeView,LocalDateTimeDraft,ZonedDateTimeDraft,ZonedTimePresentation,AmbiguousTimeChoice}
export component App inherits Window {
 title:"zoned-date-time-field";preferred-width:560px;preferred-height:660px;max-width:100000px;max-height:100000px;background:KitThemes.light.canvas;
 in-out property <string> date-text:"2026-10-17";in-out property <string> time-text:"09:30";in-out property <string> zone-text:"America/Toronto";
 in property <LocalDateTimeView> accepted-local;in property <string> error;in property <string> accepted;
 in property <ZonedTimePresentation> resolution;callback commit(ZonedDateTimeDraft);callback edit();callback choose(AmbiguousTimeChoice);callback cancel();
 VerticalLayout {padding:24px;spacing:16px;alignment:start;
 control:=KitZonedDateTimeField{label:"Appointment";date-text<=>root.date-text;time-text<=>root.time-text;date-error:root.error;
 zone-text<=>root.zone-text;accepted-local:root.accepted-local;resolution:root.resolution;resolution-message:root.error;resolve-requested(draft)=>{root.commit(draft);}ambiguity-chosen(choice)=>{root.choose(choice);}
 edited(draft)=>{root.edit();}cancelled=>{root.cancel();}
 }
 KitButton{text:"Resolve time zone";activated=>{root.commit({date:root.date-text,time:root.time-text,zone:root.zone-text});}}
 Text{text:"Accepted: "+root.accepted;color:KitThemes.light.text-primary;wrap:word-wrap;}
 }
}

src/main.rs

use slint::ComponentHandle;
use slint_kit::{
    CivilDate, DraftValue, Instant, LocalDateTime, LocalTime, TimePrecision, TimeZoneId,
    ZonedResolution,
};
use std::{cell::RefCell, rc::Rc};
mod ui {
    slint::include_modules!();
}
fn local(date: &str, time: &str) -> Option<LocalDateTime> {
    match (
        CivilDate::parse_iso(date),
        LocalTime::parse(time, TimePrecision::Minute),
    ) {
        (DraftValue::Parsed(date), DraftValue::Parsed(time)) => {
            Some(LocalDateTime::new(date, time))
        }
        _ => None,
    }
}
fn view(value: LocalDateTime) -> ui::LocalDateTimeView {
    ui::LocalDateTimeView {
        date: ui::CivilDateView {
            year: value.date.year(),
            month: value.date.month() as i32,
            day: value.date.day() as i32,
        },
        time: ui::LocalTimeView {
            hour: value.time.hour() as i32,
            minute: value.time.minute() as i32,
            second: value.time.second() as i32,
        },
    }
}
fn main() -> Result<(), slint::PlatformError> {
    let app = ui::App::new()?;
    slint_kit::init_form_validation!(ui, app);
    let initial = local("2026-10-17", "09:30").unwrap();
    app.set_accepted_local(view(initial));
    app.set_accepted("Not resolved yet".into());
    let state = Rc::new(RefCell::new((
        initial,
        None::<Instant>,
        None::<(ui::ZonedDateTimeDraft, Instant, Instant)>,
        TimeZoneId::new("America/Toronto").unwrap(),
    )));
    let weak = app.as_weak();
    let shared = state.clone();
    app.on_commit(move |draft| {
        if let Some(app) = weak.upgrade() {
            let Some(value) = local(&draft.date, &draft.time) else {
                app.set_error("Use a valid YYYY-MM-DD date and HH:mm time".into());
                return;
            };
            shared.borrow_mut().2 = None;
            let Ok(zone) = TimeZoneId::new(&draft.zone) else {
                app.set_resolution(ui::ZonedTimePresentation::InvalidZone);
                app.set_error("Use an IANA zone such as America/Toronto".into());
                return;
            };
            match zone.resolve(value) {
                ZonedResolution::Unique(instant) => {
                    let mut state = shared.borrow_mut();
                    state.0 = value;
                    state.1 = Some(instant);
                    state.3 = zone;
                    app.set_accepted_local(view(value));
                    app.set_resolution(ui::ZonedTimePresentation::Unique);
                    app.set_error("".into());
                    app.set_accepted(
                        format!("{} seconds since Unix epoch", instant.unix_seconds()).into(),
                    );
                }
                ZonedResolution::Nonexistent => {
                    app.set_resolution(ui::ZonedTimePresentation::Nonexistent);
                    app.set_error("This local time does not exist; choose another time".into());
                }
                ZonedResolution::Ambiguous { earlier, later } => {
                    shared.borrow_mut().2 = Some((draft, earlier, later));
                    app.set_resolution(ui::ZonedTimePresentation::Ambiguous);
                    app.set_error("Choose the earlier or later occurrence explicitly".into());
                }
            }
        }
    });
    let weak = app.as_weak();
    let shared = state.clone();
    app.on_edit(move || {
        if let Some(app) = weak.upgrade() {
            app.set_error("".into());
            shared.borrow_mut().2 = None;
            app.set_resolution(ui::ZonedTimePresentation::Unresolved);
        }
    });
    let weak = app.as_weak();
    let shared = state.clone();
    app.on_cancel(move || {
        if let Some(app) = weak.upgrade() {
            let mut state = shared.borrow_mut();
            state.2 = None;
            app.set_zone_text(state.3.name().into());
            app.set_date_text(state.0.date.iso_string().into());
            app.set_time_text(
                state
                    .0
                    .time
                    .format(
                        TimePrecision::Minute,
                        slint_kit::ClockFormat::TwentyFourHour,
                    )
                    .into(),
            );
            app.set_resolution(ui::ZonedTimePresentation::Unresolved);
            app.set_error("".into());
        }
    });
    let weak = app.as_weak();
    let shared = state.clone();
    app.on_choose(move |choice| {
        if let Some(app) = weak.upgrade() {
            let mut state = shared.borrow_mut();
            let Some((draft, earlier, later)) = state.2.take() else {
                return;
            };
            if draft.date != app.get_date_text()
                || draft.time != app.get_time_text()
                || draft.zone != app.get_zone_text()
            {
                return;
            }
            let instant = if choice == ui::AmbiguousTimeChoice::Earlier {
                earlier
            } else {
                later
            };
            state.1 = Some(instant);
            state.3 = TimeZoneId::new(&draft.zone).unwrap();
            state.0 = local(&draft.date, &draft.time).unwrap();
            app.set_accepted_local(view(state.0));
            app.set_resolution(ui::ZonedTimePresentation::Unique);
            app.set_error("".into());
            app.set_accepted(format!("{} seconds since Unix epoch", instant.unix_seconds()).into());
        }
    });
    app.run()
}

[package]
name = "slint-kit-zoned-date-time-field-example"
version = "0.1.0"
edition = "2024"
rust-version = "1.92"
license = "GPL-3.0-or-later"
publish = false

[dependencies]
slint-kit = "=0.3.0"
slint = { version = "=1.18.1", default-features = false, features = ["std", "compat-1-18", "backend-winit", "renderer-skia", "accessibility"] }

[build-dependencies]
slint-kit-build = "=0.3.0"

[workspace]

fn main() {
    slint_kit_build::compile("ui/app.slint").expect("compile component example");
}

Fichiers : Cargo.toml · build.rs · ui/app.slint · src/main.rs

Analysez AAAA-MM-JJ et HH:MM sur 24 heures, validez TimeZoneId puis utilisez l’adaptateur de résolution typé.

Une heure inexistante est refusée. Une heure répétée exige un choix explicite entre les deux occurrences ; une modification invalide ce choix en attente.

Voir le code source ↗

Choisir entre une option intégrée et une composition personnalisée

Options partagées

• label — propriété intégrée ; exemple de composition personnalisé

Composition visuelle

Le fichier ci-dessous produit la capture. Pour les composants pilotés par un contrôleur, il montre l’état affiché sans fournir le branchement Rust. Créer un projet.

Afficher le fichier de la capture

// Public label overrides localize this fixture; toolkit/host defaults keep their language.
// SPDX-License-Identifier: GPL-3.0-or-later
// Display projections are fixtures. Validate accepted domain values in Rust.
import { KitTheme, KitThemes, KitZonedDateTimeField, ZonedTimePresentation } from "@kit/kit.slint";

export component Example inherits Window {
    title: "KitZonedDateTimeField — exemple";
    preferred-width: 480px;
    preferred-height: 390px;
    max-width: 100000px;
    max-height: 100000px;
    background: root.theme.canvas;
    in-out property <KitTheme> theme: KitThemes.light;
    in-out property <string> status;
    VerticalLayout {
        padding: 24px; spacing: 16px; alignment: start;
        Text { text: "Champ de date et heure avec fuseau"; color: root.theme.text-primary; font-size: 20px * root.theme.text-scale; font-weight: 600; }
        KitZonedDateTimeField { date-label: "Date de la réunion"; time-label: "Heure de la réunion"; date-placeholder: "AAAA-MM-JJ"; date-description: "Date civile, sans fuseau horaire"; time-description: "Heure locale sur 24 heures"; zone-label: "Fuseau horaire"; zone-description: "Identifiant de fuseau IANA"; earlier-label: "Utiliser la première occurrence"; later-label: "Utiliser la seconde occurrence"; theme: root.theme; label: "Réunion"; date-text: "2026-10-17"; time-text: "09:30"; zone-text: "America/Toronto"; resolution: ZonedTimePresentation.unique; resolution-message: "UTC−04:00"; }
        if root.status != "": Text { text: root.status; color: root.theme.text-secondary; font-size: 12px * root.theme.text-scale; wrap: word-wrap; }
    }
}

Télécharger cet exemple

API publique

Hérite de Rectangle.

Propriétés

Types et variantes

Signaux

• invalid()
• edited(ZonedDateTimeDraft)
• resolve-requested(ZonedDateTimeDraft)
• ambiguity-chosen(AmbiguousTimeChoice)
• ambiguity-started()
• focus-observed(bool)
• cancelled()

Fonctions

• check-validity() → bool
• report-validity() → bool
• set-custom-validity(message: string)
• reset-validation()
• take-focus()

Voir aussi

• Champ date et heure
• Sélecteur d’heure