Documentation

Std.Time.Zoned.ZonedDateTime

Represents a date and time with timezone information.

  • The plain datetime component, evaluated lazily.

  • timestamp : Timestamp

    The corresponding timestamp for the datetime.

  • The timezone rules applied to this datetime.

  • timezone : TimeZone

    The timezone associated with this datetime.

Instances For
    @[inline]

    Creates a new ZonedDateTime out of a Timestamp and a ZoneRules.

    Equations
      Instances For
        @[inline]

        Creates a new ZonedDateTime out of a PlainDateTime and a ZoneRules.

        Equations
          Instances For
            @[inline]

            Creates a new ZonedDateTime out of a Timestamp and a TimeZone.

            Equations
              Instances For
                @[inline]

                Creates a new ZonedDateTime out of a PlainDateTime and a TimeZone.

                Equations
                  Instances For
                    @[inline]

                    Creates a new Timestamp out of a ZonedDateTime.

                    Equations
                      Instances For
                        @[inline]

                        Changes the ZoleRules to a new one.

                        Equations
                          Instances For
                            @[inline]

                            Creates a new ZonedDateTime out of a PlainDateTime. It assumes that the PlainDateTime is relative to UTC.

                            Equations
                              Instances For
                                @[inline]

                                Converts a ZonedDateTime to a PlainDateTime

                                Equations
                                  Instances For
                                    @[inline]

                                    Converts a ZonedDateTime to a PlainDateTime

                                    Equations
                                      Instances For
                                        @[inline]

                                        Getter for the PlainTime inside of a ZonedDateTime

                                        Equations
                                          Instances For
                                            @[inline]

                                            Getter for the Year inside of a ZonedDateTime

                                            Equations
                                              Instances For
                                                @[inline]

                                                Getter for the Month inside of a ZonedDateTime

                                                Equations
                                                  Instances For
                                                    @[inline]

                                                    Getter for the Day inside of a ZonedDateTime

                                                    Equations
                                                      Instances For
                                                        @[inline]

                                                        Getter for the Hour inside of a ZonedDateTime

                                                        Equations
                                                          Instances For
                                                            @[inline]

                                                            Getter for the Minute inside of a ZonedDateTime

                                                            Equations
                                                              Instances For
                                                                @[inline]

                                                                Getter for the Second inside of a ZonedDateTime

                                                                Equations
                                                                  Instances For
                                                                    @[inline]

                                                                    Getter for the Millisecond inside of a ZonedDateTime.

                                                                    Equations
                                                                      Instances For
                                                                        @[inline]

                                                                        Getter for the Nanosecond inside of a ZonedDateTime

                                                                        Equations
                                                                          Instances For
                                                                            @[inline]

                                                                            Getter for the TimeZone.Offset inside of a ZonedDateTime

                                                                            Equations
                                                                              Instances For
                                                                                @[inline]

                                                                                Returns the weekday.

                                                                                Equations
                                                                                  Instances For
                                                                                    @[inline]

                                                                                    Transforms a tuple of a ZonedDateTime into a Day.Ordinal.OfYear.

                                                                                    Equations
                                                                                      Instances For
                                                                                        @[inline]

                                                                                        Determines the week of the year for the given ZonedDateTime.

                                                                                        Equations
                                                                                          Instances For

                                                                                            Returns the unaligned week of the month for a ZonedDateTime (day divided by 7, plus 1).

                                                                                            Equations
                                                                                              Instances For
                                                                                                @[inline]

                                                                                                Determines the week of the month for the given ZonedDateTime. The week of the month is calculated based on the day of the month and the weekday. Each week starts on Monday because the entire library is based on the Gregorian Calendar.

                                                                                                Equations
                                                                                                  Instances For
                                                                                                    @[inline]

                                                                                                    Determines the quarter of the year for the given ZonedDateTime.

                                                                                                    Equations
                                                                                                      Instances For

                                                                                                        Add Day.Offset to a ZonedDateTime.

                                                                                                        Equations
                                                                                                          Instances For

                                                                                                            Subtract Day.Offset from a ZonedDateTime.

                                                                                                            Equations
                                                                                                              Instances For

                                                                                                                Add Week.Offset to a ZonedDateTime.

                                                                                                                Equations
                                                                                                                  Instances For

                                                                                                                    Subtract Week.Offset from a ZonedDateTime.

                                                                                                                    Equations
                                                                                                                      Instances For

                                                                                                                        Add Month.Offset to a ZonedDateTime, clipping to the last valid day.

                                                                                                                        Equations
                                                                                                                          Instances For

                                                                                                                            Subtract Month.Offset from a ZonedDateTime, clipping to the last valid day.

                                                                                                                            Equations
                                                                                                                              Instances For

                                                                                                                                Add Month.Offset to a ZonedDateTime, rolling over excess days.

                                                                                                                                Equations
                                                                                                                                  Instances For

                                                                                                                                    Subtract Month.Offset from a ZonedDateTime, rolling over excess days.

                                                                                                                                    Equations
                                                                                                                                      Instances For

                                                                                                                                        Add Year.Offset to a ZonedDateTime, rolling over excess days.

                                                                                                                                        Equations
                                                                                                                                          Instances For

                                                                                                                                            Add Year.Offset to a ZonedDateTime, clipping to the last valid day.

                                                                                                                                            Equations
                                                                                                                                              Instances For

                                                                                                                                                Subtract Year.Offset from a ZonedDateTime, clipping to the last valid day.

                                                                                                                                                Equations
                                                                                                                                                  Instances For

                                                                                                                                                    Subtract Year.Offset from a ZonedDateTime, rolling over excess days.

                                                                                                                                                    Equations
                                                                                                                                                      Instances For

                                                                                                                                                        Add Hour.Offset to a ZonedDateTime.

                                                                                                                                                        Equations
                                                                                                                                                          Instances For

                                                                                                                                                            Subtract Hour.Offset from a ZonedDateTime.

                                                                                                                                                            Equations
                                                                                                                                                              Instances For

                                                                                                                                                                Add Minute.Offset to a ZonedDateTime.

                                                                                                                                                                Equations
                                                                                                                                                                  Instances For

                                                                                                                                                                    Subtract Minute.Offset from a ZonedDateTime.

                                                                                                                                                                    Equations
                                                                                                                                                                      Instances For
                                                                                                                                                                        @[inline]

                                                                                                                                                                        Add Millisecond.Offset to a DateTime.

                                                                                                                                                                        Equations
                                                                                                                                                                          Instances For
                                                                                                                                                                            @[inline]

                                                                                                                                                                            Subtract Millisecond.Offset from a DateTime.

                                                                                                                                                                            Equations
                                                                                                                                                                              Instances For

                                                                                                                                                                                Add Second.Offset to a ZonedDateTime.

                                                                                                                                                                                Equations
                                                                                                                                                                                  Instances For

                                                                                                                                                                                    Subtract Second.Offset from a ZonedDateTime.

                                                                                                                                                                                    Equations
                                                                                                                                                                                      Instances For

                                                                                                                                                                                        Add Nanosecond.Offset to a ZonedDateTime.

                                                                                                                                                                                        Equations
                                                                                                                                                                                          Instances For

                                                                                                                                                                                            Subtract Nanosecond.Offset from a ZonedDateTime.

                                                                                                                                                                                            Equations
                                                                                                                                                                                              Instances For
                                                                                                                                                                                                @[inline]

                                                                                                                                                                                                Determines the era of the given ZonedDateTime based on its year.

                                                                                                                                                                                                Equations
                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                    Sets the ZonedDateTime to the specified desiredWeekday.

                                                                                                                                                                                                    Equations
                                                                                                                                                                                                      Instances For
                                                                                                                                                                                                        @[inline]

                                                                                                                                                                                                        Creates a new ZonedDateTime by adjusting the day of the month to the given days value, with any out-of-range days clipped to the nearest valid date.

                                                                                                                                                                                                        Equations
                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                            @[inline]

                                                                                                                                                                                                            Creates a new ZonedDateTime by adjusting the day of the month to the given days value, with any out-of-range days rolled over to the next month or year as needed.

                                                                                                                                                                                                            Equations
                                                                                                                                                                                                              Instances For
                                                                                                                                                                                                                @[inline]

                                                                                                                                                                                                                Creates a new ZonedDateTime by adjusting the month to the given month value. The day remains unchanged, and any invalid days for the new month will be handled according to the clip behavior.

                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                  Instances For
                                                                                                                                                                                                                    @[inline]

                                                                                                                                                                                                                    Creates a new ZonedDateTime by adjusting the month to the given month value. The day is rolled over to the next valid month if necessary.

                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                      Instances For
                                                                                                                                                                                                                        @[inline]

                                                                                                                                                                                                                        Creates a new ZonedDateTime by adjusting the year to the given year value. The month and day remain unchanged, and any invalid days for the new year will be handled according to the clip behavior.

                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                                            @[inline]

                                                                                                                                                                                                                            Creates a new ZonedDateTime by adjusting the year to the given year value. The month and day are rolled over to the next valid month and day if necessary.

                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                              Instances For
                                                                                                                                                                                                                                @[inline]

                                                                                                                                                                                                                                Creates a new ZonedDateTime by adjusting the hour component.

                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                  Instances For
                                                                                                                                                                                                                                    @[inline]

                                                                                                                                                                                                                                    Creates a new ZonedDateTime by adjusting the minute component.

                                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                                      Instances For
                                                                                                                                                                                                                                        @[inline]

                                                                                                                                                                                                                                        Creates a new ZonedDateTime by adjusting the second component.

                                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                                                            @[inline]

                                                                                                                                                                                                                                            Creates a new ZonedDateTime by adjusting the nano component with a new millis that will set in the millisecond scale.

                                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                                              Instances For
                                                                                                                                                                                                                                                @[inline]

                                                                                                                                                                                                                                                Creates a new ZonedDateTime by adjusting the nano component.

                                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                                                                    Checks if the ZonedDateTime is in a leap year.

                                                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                                                                        Converts a ZonedDateTime to the number of days since the UNIX epoch.

                                                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                                                                            @[inline]

                                                                                                                                                                                                                                                            Converts a ZonedDateTime to the number of days since the UNIX epoch.

                                                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                                                              Instances For