structure Std.Time.DateFormatSymbols : Type

DateFormatSymbols contains locale-specific strings needed for date/time formatting and parsing.

• monthLong : Vector String 12

  Full month names (12 elements, index 0 = January).

• monthShort : Vector String 12

  Abbreviated month names (12 elements, index 0 = Jan).

• monthNarrow : Vector String 12

  Narrow month names (12 elements, index 0 = J).

• weekdayLong : Vector String 7

  Full weekday names (7 elements, index 0 = Monday).

• weekdayShort : Vector String 7

  Abbreviated weekday names (7 elements, index 0 = Mon).

• weekdayNarrow : Vector String 7

  Narrow weekday names (7 elements, index 0 = M).

• eraShort : Vector String 2

  Short era names (2 elements: index 0 = BCE, index 1 = CE).

• eraLong : Vector String 2

  Full era names (2 elements: index 0 = Before Common Era, index 1 = Common Era).

• eraNarrow : Vector String 2

  Narrow era names (2 elements: index 0 = B, index 1 = C).

• quarterShort : Vector String 4

  Short quarter names (4 elements, index 0 = Q1).

• quarterLong : Vector String 4

  Full quarter names (4 elements, index 0 = 1st quarter).

• quarterNarrow : Vector String 4

  Narrow quarter names (4 elements, index 0 = 1).

• amShort : String

  Short AM marker.

• pmShort : String

  Short PM marker.

• amLong : String

  Full AM marker.

• pmLong : String

  Full PM marker.

• amNarrow : String

  Narrow AM marker.

• pmNarrow : String

  Narrow PM marker.

def Std.Time.DateFormatSymbols.enUS : DateFormatSymbols

English (US) locale symbols.

Equations

• One or more equations did not get rendered due to their size.

structure Std.Time.DateFormat : Type

DateFormat contains locale-specific configuration for date/time formatting and parsing, combining calendar conventions (e.g. first day of week) with locale symbols.

• firstDayOfWeek : Weekday

  The first day of the week for this locale (e.g., Weekday.sunday for US, Weekday.monday for ISO 8601).

• symbols : DateFormatSymbols

  Locale-specific symbols used for formatting and parsing text fields.

def Std.Time.DateFormat.enUS : DateFormat

English (US) locale.

Equations

• Std.Time.DateFormat.enUS = { firstDayOfWeek := Std.Time.Weekday.sunday, symbols := Std.Time.DateFormatSymbols.enUS }