14.7.5 Date Formats and Utilities

14.7.5 Date Formats and Utilities🔗ℹ

enumeration

enum date.Format:

A format supported by date.Date.to_string, date.DateTime.to_string, and date.ZonedDateTime.to_string:

#'rfc2822: follows RFC 2822.
#'rfc3339: follows RFC 3339, specifically using a space character between a date and time, and showing a time zone offset (if requested) as Z, +HH:MM or +HH:MM.
#'iso8601: follows ISO 8601, showing a time zone offset (if requested) as Z, +HH:MM, or +HH:MM.
#'american: shows a date in an English, human-readable form that spells out a month and day of the week, putting the month before the day.
#'european: shows a date in an English, human-readable form that spells out a month and day of the week, putting the date before the month.
#'julian: shows the date in Julian form.

enumeration

enum date.TimeFormat:

A time format that selects the smallest time granularity to be shown, sometimes used as maybe(date.TimeZoneFormat) so that #false means that a time is not shown.

#'minutes: Produces HH:MM
#'seconds: Produces HH:MM:SS
#'milliseconds: Produces HH:MM:SS.SSS
#'microseconds: Produces HH:MM:SS.SSSSSS
#'nanoseconds: Produces HH:MM:SS.SSSSSSSSS
#'auto_subminutes: The same as #'minutes if seconds and nanoseconds are zero, the same as #'auto_subseconds otherwise.
#'auto_subseconds: The same as #'seconds if nanoseconds are zero, and otherwise the same as #'milliseconds, #'microseconds, or #'nanoseconds depending on the number of trailing zeros available to be omitted.

enumeration

enum date.TimeZoneFormat:

offset

A time-zone format. Although only one format is currently supported, this annotation is used as maybe(date.TimeZoneFormat) so that #false means that a time zone is not shown.

function

fun date.is_leap_year(year :: Int) :: Boolean

function

fun date.days_in_year(year :: Int) :~ Int.in(365 ..= 366)

Reports whether a year is a leap year or whether it has 365 or 366 days.

function

fun date.days_in_month(year :: Int,

month :: Int.in(1 ..= 12)) :: Int.in(28 ..= 31)

Returns the number of days in a given month during a specific year.

function

fun date.year_day(

year :: Int,

month :: Int.in(1 ..= 12),

day :: Int.in(1 ..= date.days_in_month(year, month))

) :: Int.in(0 ..= 365)

Reports the index of a given day for a specific month within a specific year.

function

fun date.week_day(

year :: Int,

month :: Int.in(1 ..= 12),

day :: Int.in(1 ..= date.days_in_month(year, month))

) :: Int.in(0 ..= 6)

Reports the index of a day of the week for a given day of a specific month within a specific year.

1	Notation and Conventions
2	Implicits and Context
3	Names and Definitions
4	Functions and Operators
5	Comparison and Branching
6	Objects and Annotations
7	Basic Data
8	Collections and Iteration
9	Object Protocols
10	Higher-Order Control
11	Code as Data
12	String Formatting and Matching
13	Input and Output
14	Operating System
15	Threads and Concurrency
16	Reflection and Security
17	Runtime System

14.1	Paths
14.2	Cross-Platform Paths
14.3	Filesystem
14.4	Subprocesses
14.5	Networking
14.6	System Information and Control
14.7	Date and Time
14.8	Command Line Parsing

14.7.1	Time
14.7.2	Date
14.7.3	Date and Time Combined
14.7.4	Date and Time in a Time Zone
14.7.5	Date Formats and Utilities