Documentation

Std.Time.Format

The ISO8601 format, which is always 24 or 27 characters long, used for representing date and time in a standardized format. The format follows the pattern uuuu-MM-dd'T'HH:mm:ssZ.

Equations
    Instances For

      The americanDate format, which follows the pattern MM-dd-uuuu.

      Equations
        Instances For

          The europeanDate format, which follows the pattern dd-MM-uuuu.

          Equations
            Instances For

              The time12Hour format, which follows the pattern hh:mm:ss aa for representing time in a 12-hour clock format with an upper case AM/PM marker.

              Equations
                Instances For

                  The Time24Hour format, which follows the pattern HH:mm:ss for representing time in a 24-hour clock format.

                  Equations
                    Instances For

                      The DateTimeZone24Hour format, which follows the pattern uuuu-MM-dd:HH:mm:ss.SSSSSSSSS for representing date, time, and time zone.

                      Equations
                        Instances For

                          The DateTimeWithZone format, which follows the pattern uuuu-MM-dd'T'HH:mm:ss.SSSSSSSSSZZZ for representing date, time, and time zone.

                          Equations
                            Instances For

                              The leanTime24Hour format, which follows the pattern HH:mm:ss.SSSSSSSSS for representing time in a 24-hour clock format. It uses the default value that can be parsed with the notation of dates.

                              Equations
                                Instances For

                                  The leanTime24HourNoNanos format, which follows the pattern HH:mm:ss for representing time in a 24-hour clock format. It uses the default value that can be parsed with the notation of dates.

                                  Equations
                                    Instances For

                                      The leanDateTime24Hour format, which follows the pattern uuuu-MM-dd'T'HH:mm:ss.SSSSSSSSS for representing date, time, and time zone. It uses the default value that can be parsed with the notation of dates.

                                      Equations
                                        Instances For

                                          The leanDateTime24HourNoNanos format, which follows the pattern uuuu-MM-dd'T'HH:mm:ss for representing date, time, and time zone. It uses the default value that can be parsed with the notation of dates.

                                          Equations
                                            Instances For

                                              The leanDateTimeWithZone format, which follows the pattern uuuu-MM-dd'T'HH:mm:ss.SSSSSSSSSZZZZZ for representing date, time, and time zone. It uses the default value that can be parsed with the notation of dates.

                                              Equations
                                                Instances For

                                                  The leanDateTimeWithZoneNoNanos format, which follows the pattern uuuu-MM-dd'T'HH:mm:ssZZZZZ for representing date, time, and time zone. It uses the default value that can be parsed with the notation of dates.

                                                  Equations
                                                    Instances For

                                                      The leanDateTimeWithIdentifier format, which follows the pattern uuuu-MM-dd'T'HH:mm:ss[z] for representing date, time, and time zone. It uses the default value that can be parsed with the notation of dates.

                                                      Equations
                                                        Instances For

                                                          The leanDateTimeWithIdentifierAndNanos format, which follows the pattern uuuu-MM-dd'T'HH:mm:ss.SSSSSSSSS'[z]' for representing date, time, and time zone. It uses the default value that can be parsed with the notation of dates.

                                                          Equations
                                                            Instances For

                                                              The Lean Date format, which follows the pattern uuuu-MM-dd. It uses the default value that can be parsed with the notation of dates.

                                                              Equations
                                                                Instances For

                                                                  The SQLDate format, which follows the pattern uuuu-MM-dd and is commonly used in SQL databases to represent dates.

                                                                  Equations
                                                                    Instances For

                                                                      The LongDateFormat, which follows the pattern EEEE, MMMM D, uuuu HH:mm:ss for representing a full date and time with the day of the week and month name.

                                                                      Equations
                                                                        Instances For

                                                                          The AscTime format, which follows the pattern EEE MMM d HH:mm:ss uuuu. This format is often used in older systems for logging and time-stamping events.

                                                                          Equations
                                                                            Instances For

                                                                              The RFC822 format, which follows the pattern eee, dd MMM uuuu HH:mm:ss ZZZ. This format is used in email headers and HTTP headers.

                                                                              Equations
                                                                                Instances For

                                                                                  The RFC850 format, which follows the pattern eee, dd-MMM-YY HH:mm:ss ZZZ. This format is an older standard for representing date and time in headers.

                                                                                  Equations
                                                                                    Instances For

                                                                                      Parses a string into a TimeZone object. The input string must be in the format "VV ZZZZZ".

                                                                                      Equations
                                                                                        Instances For

                                                                                          Parses a string representing an offset into an Offset object. The input string must follow the "xxx" format.

                                                                                          Equations
                                                                                            Instances For

                                                                                              Formats a PlainDate using a specific format.

                                                                                              Equations
                                                                                                Instances For

                                                                                                  Parses a date string in the American format (MM-dd-uuuu) and returns a PlainDate.

                                                                                                  Equations
                                                                                                    Instances For

                                                                                                      Converts a date in the American format (MM-dd-uuuu) into a String.

                                                                                                      Equations
                                                                                                        Instances For

                                                                                                          Parses a date string in the SQL format (uuuu-MM-dd) and returns a PlainDate.

                                                                                                          Equations
                                                                                                            Instances For

                                                                                                              Converts a date in the SQL format (uuuu-MM-dd) into a String.

                                                                                                              Equations
                                                                                                                Instances For

                                                                                                                  Parses a date string in the Lean format (uuuu-MM-dd) and returns a PlainDate.

                                                                                                                  Equations
                                                                                                                    Instances For

                                                                                                                      Converts a date in the Lean format (uuuu-MM-dd) into a String.

                                                                                                                      Equations
                                                                                                                        Instances For

                                                                                                                          Parses a String in the AmericanDate or SQLDate format and returns a PlainDate.

                                                                                                                          Equations
                                                                                                                            Instances For

                                                                                                                              Formats a PlainTime using a specific format.

                                                                                                                              Equations
                                                                                                                                Instances For

                                                                                                                                  Parses a time string in the 24-hour format (HH:mm:ss) and returns a PlainTime.

                                                                                                                                  Equations
                                                                                                                                    Instances For

                                                                                                                                      Formats a PlainTime value into a 24-hour format string (HH:mm:ss).

                                                                                                                                      Equations
                                                                                                                                        Instances For

                                                                                                                                          Parses a time string in the lean 24-hour format (HH:mm:ss.SSSSSSSSS or HH:mm:ss) and returns a PlainTime.

                                                                                                                                          Equations
                                                                                                                                            Instances For

                                                                                                                                              Formats a PlainTime value into a 24-hour format string (HH:mm:ss.SSSSSSSSS).

                                                                                                                                              Equations
                                                                                                                                                Instances For

                                                                                                                                                  Parses a time string in the 12-hour format (hh:mm:ss aa) and returns a PlainTime.

                                                                                                                                                  Equations
                                                                                                                                                    Instances For

                                                                                                                                                      Formats a PlainTime value into a 12-hour format string (hh:mm:ss aa).

                                                                                                                                                      Equations
                                                                                                                                                        Instances For

                                                                                                                                                          Parses a String in the Time12Hour or Time24Hour format and returns a PlainTime.

                                                                                                                                                          Equations
                                                                                                                                                            Instances For

                                                                                                                                                              Formats a ZonedDateTime using a specific format.

                                                                                                                                                              Equations
                                                                                                                                                                Instances For

                                                                                                                                                                  Parses a String in the ISO8601 format and returns a ZonedDateTime.

                                                                                                                                                                  Equations
                                                                                                                                                                    Instances For

                                                                                                                                                                      Formats a ZonedDateTime value into an ISO8601 string.

                                                                                                                                                                      Equations
                                                                                                                                                                        Instances For

                                                                                                                                                                          Parses a String in the rfc822 format and returns a ZonedDateTime.

                                                                                                                                                                          Equations
                                                                                                                                                                            Instances For

                                                                                                                                                                              Formats a ZonedDateTime value into an RFC822 format string.

                                                                                                                                                                              Equations
                                                                                                                                                                                Instances For

                                                                                                                                                                                  Parses a String in the rfc850 format and returns a ZonedDateTime.

                                                                                                                                                                                  Equations
                                                                                                                                                                                    Instances For

                                                                                                                                                                                      Formats a ZonedDateTime value into an RFC850 format string.

                                                                                                                                                                                      Equations
                                                                                                                                                                                        Instances For

                                                                                                                                                                                          Parses a String in the dateTimeWithZone format and returns a ZonedDateTime object in the GMT time zone.

                                                                                                                                                                                          Equations
                                                                                                                                                                                            Instances For

                                                                                                                                                                                              Formats a ZonedDateTime value into a simple date time with timezone string.

                                                                                                                                                                                              Equations
                                                                                                                                                                                                Instances For

                                                                                                                                                                                                  Parses a String in the lean date time format with timezone format and returns a ZonedDateTime object.

                                                                                                                                                                                                  Equations
                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                      Parses a String in the lean date time format with identifier and returns a ZonedDateTime object.

                                                                                                                                                                                                      Equations
                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                          Formats a DateTime value into a simple date time with timezone string that can be parsed by the date% notation.

                                                                                                                                                                                                          Equations
                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                              Formats a DateTime value into a simple date time with timezone string that can be parsed by the date% notation with the timezone identifier.

                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                  Parses a String in the ISO8601, RFC822 or RFC850 format and returns a ZonedDateTime.

                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                      Formats a PlainDateTime using a specific format.

                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                          Parses a String in the AscTime format and returns a PlainDateTime object in the GMT time zone.

                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                              Formats a PlainDateTime value into an AscTime format string.

                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                  Parses a String in the LongDateFormat and returns a PlainDateTime object in the GMT time zone.

                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                                      Formats a PlainDateTime value into a LongDateFormat string.

                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                                          Parses a String in the DateTime format and returns a PlainDateTime.

                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                                              Formats a PlainDateTime value into a DateTime format string.

                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                                  Parses a String in the DateTime format and returns a PlainDateTime.

                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                                                      Formats a PlainDateTime value into a DateTime format string.

                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                                                          Parses a String in the AscTime or LongDate format and returns a PlainDateTime.

                                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                                            Instances For
                                                                                                                                                                                                                                                              def Std.Time.DateTime.format {tz : TimeZone} (data : DateTime tz) (format : String) :

                                                                                                                                                                                                                                                              Formats a DateTime using a specific format.

                                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                                                  Parses a String in the AscTime format and returns a DateTime object in the GMT time zone.

                                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                                                                      Formats a DateTime value into an AscTime format string.

                                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                                                                          Parses a String in the LongDateFormat and returns a DateTime object in the GMT time zone.

                                                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                                                                              Formats a DateTime value into a LongDateFormat string.

                                                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                                                                  Formats a DateTime value into an ISO8601 string.

                                                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                                                                                      Formats a DateTime value into an RFC822 format string.

                                                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                                                                                          Formats a DateTime value into an RFC850 format string.

                                                                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                                                                                              Formats a DateTime value into a DateTimeWithZone format string.

                                                                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                                                                                  Formats a DateTime value into a DateTimeWithZone format string that can be parsed by date%.

                                                                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                                                                                                      Parses a String in the AscTime or LongDate format and returns a DateTime.

                                                                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                                                                        Instances For