structure Time.TimeLocale : Type

• wDays : List (String × String)

  full and abbreviated week days, starting with Sunday

• months : List (String × String)

  full and abbreviated months

• amPm : String × String

  AM/PM symbols

• dateTimeFmt : String

  date and time format format string

• dateFmt : String

  date format format format string

• timeFmt : String

  time format format format string

• time12Fmt : String

  time format when using 12h clock format

• knownTimeZones : List TimeZone

  time zones known by name

instance Time.instReprTimeLocale : Repr TimeLocale

Equations

• Time.instReprTimeLocale = { reprPrec := Time.reprTimeLocale✝ }

instance Time.instBEqTimeLocale : BEq TimeLocale

Equations

• Time.instBEqTimeLocale = { beq := Time.beqTimeLocale✝ }

instance Time.instToStringTimeLocale : ToString TimeLocale

Equations

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

def Time.TimeLocale.defaultTimeZones : List TimeZone

Equations

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

def Time.TimeLocale.enUSTimeLocale : TimeLocale

Locale representing American usage.

Equations

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

def Time.TimeLocale.deDETimeLocale : TimeLocale

Locale representing German usage.

Equations

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

def Time.TimeLocale.defaultTimeLocale : TimeLocale

Equations

• Time.TimeLocale.defaultTimeLocale = Time.TimeLocale.deDETimeLocale

def Time.TimeLocale.getLocaleData : IO (List String)

get locale-specific information with locale command

Equations

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

def Time.TimeLocale.currentLocale : IO TimeLocale

get current locale with getLocaleData

Equations

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