Dates 型 (dw::core::Dates)

​type DateFactory = { day: Number, month: Number, year: Number }

選択可能な ​day​ キー、​month​ キー、​year​ キー、および対応する ​Number​ 値が含まれる型 (​{day: 21, month: 1, year: 2021}​ など)。 項目は ​Number​ 値を受け入れます。 ​0​ が前に付加された数値 (​01​ など) は無効です。

​type DateTimeFactory = DateFactory & LocalTimeFactory & Zoned

​DateFactory​ 型、​LocalTimeFactory​ 型、​Zoned​ 型を組み合わせた型。たとえば、​{day: 21, month: 1, year: 2021, hour: 8, minutes: 31, seconds: 55, timeZone : |-03:00|} as DateTimeFactory​ は有効な ​DateTimeFactory​ 値です。

​type LocalDateTimeFactory = DateFactory & LocalTimeFactory

​DateFactory​ 型と ​LocalTimeFactory​ 型を組み合わせた型。たとえば、​{day: 21, month: 1, year: 2021, hour: 8, minutes: 31, seconds: 55, timeZone : |-03:00|} as LocalDateTimeFactory​ は有効な ​LocalDateTimeFactory​ 値です。​timeZone​ 項目は省略可能です。

​type LocalTimeFactory = { hour: Number, minutes: Number, seconds: Number }

選択可能な ​hour​ キー、​minutes​ キー、​seconds​ キー、および対応する ​Number​ 値が含まれる型 (​{hour: 8, minutes: 31, seconds: 55}​ など)。 項目は任意の ​Number​ 値を受け入れます。

​type TimeFactory = LocalTimeFactory & Zoned

​LocalTimeFactory​ 型と ​Zoned​ 型を組み合わせた型。たとえば、​{hour: 8, minutes: 31, seconds: 55, timeZone : |-03:00|} as TimeFactory​ は有効な ​TimeFactory​ 値です。

​type Zoned = { timeZone: TimeZone }

選択可能な ​timeZone​ キーと ​TimeZone​ 値が含まれる型 (​{ timezone : |-03:00|}​ など)。