structure Std.Time.DayPeriodSymbols : Type

DayPeriodSymbols holds the four locale strings used by the b pattern: AM, PM, noon, midnight.

• am : String

  AM string (e.g., "AM").

• pm : String

  PM string (e.g., "PM").

• noon : String

  Noon string (e.g., "noon").

• midnight : String

  Midnight string (e.g., "midnight").

def Std.Time.instReprDayPeriodSymbols.repr : DayPeriodSymbols → Nat → Std.Format

Equations

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

@[instance_reducible]

instance Std.Time.instReprDayPeriodSymbols : Repr DayPeriodSymbols

Equations

• Std.Time.instReprDayPeriodSymbols = { reprPrec := Std.Time.instReprDayPeriodSymbols.repr }

@[instance_reducible]

instance Std.Time.instInhabitedDayPeriodSymbols : Inhabited DayPeriodSymbols

Equations

• Std.Time.instInhabitedDayPeriodSymbols = { default := Std.Time.instInhabitedDayPeriodSymbols.default }

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).

• weekdayTwoLetter : Vector String 7

  Two-letter abbreviated weekday names (7 elements, index 0 = Mo). Used by EEEEEE, eeeeee, cccccc.

• 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 (used by a/aa/aaa).

• pmShort : String

  Short PM marker (used by a/aa/aaa).

• amLong : String

  Full AM marker (used by aaaa). Typically lowercase per CLDR ("ante meridiem").

• pmLong : String

  Full PM marker (used by aaaa). Typically lowercase per CLDR ("post meridiem").

• amNarrow : String

  Narrow AM marker (used by aaaaa).

• pmNarrow : String

  Narrow PM marker (used by aaaaa).

• dayPeriodShort : DayPeriodSymbols

  Short day-period strings for the b pattern (AM, PM, noon, midnight). Used by b/bb/bbb.

• dayPeriodLong : DayPeriodSymbols

  Full day-period strings for the b pattern (AM, PM, noon, midnight). Used by bbbb. Per TR35, AM/PM here are lowercase ("ante meridiem" / "post meridiem").

• dayPeriodNarrow : DayPeriodSymbols

  Narrow day-period strings for the b pattern (AM, PM, noon, midnight). Used by bbbbb.

• extendedDayPeriodShort : Vector String 6

  Short extended-day-period strings for the B pattern (CLDR flexible day periods). Order: midnight, night, morning, noon, afternoon, evening.

• extendedDayPeriodLong : Vector String 6

  Full extended-day-period strings for the B pattern. Order: midnight, night, morning, noon, afternoon, evening.

• extendedDayPeriodNarrow : Vector String 6

  Narrow extended-day-period strings for the B pattern. Order: midnight, night, morning, noon, afternoon, evening.

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).

• minimalDaysInFirstWeek : Internal.Bounded.LE 0 6

  The minimum number of days that a week must have in the new year to count as week 1. ISO 8601 uses 4 (week 1 must contain the first Thursday); US locale uses 1 (any week containing Jan 1 is week 1).

• symbols : DateFormatSymbols

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

def Std.Time.DateFormat.enUS : DateFormat

English (US) locale.

Equations

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