Documentation

Std.Time.Zoned.ZoneRules

Represents the type of local time in relation to UTC.

  • ut : UTLocal

    Universal Time (UT), often referred to as UTC.

  • local : UTLocal

    Local time that is not necessarily UTC.

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

      Represents types of wall clocks or standard times.

      • wall : StdWall

        Time based on a wall clock, which can include daylight saving adjustments.

      • standard : StdWall

        Standard time without adjustments for daylight saving.

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

          Represents a type of local time, including offset and daylight saving information.

          • gmtOffset : Offset

            The offset from GMT for this local time.

          • isDst : Bool

            Indicates if daylight saving time is observed.

          • abbreviation : String

            The abbreviation for this local time type (e.g., "EST", "PDT").

          • wall : StdWall

            Indicates if the time is wall clock or standard time.

          • utLocal : UTLocal

            Distinguishes between universal time and local time.

          • identifier : String

            ID of the timezone

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

                Gets the TimeZone offset from a LocalTimeType.

                Equations
                Instances For

                  Represents a time zone transition, mapping a time to a local time type.

                  • The specific time of the transition event.

                  • localTimeType : LocalTimeType

                    The local time type associated with this transition.

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

                      Represents the rules for a time zone.

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

                          Create a TimeZone from a Transition.

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

                            Applies the transition to a Timestamp.

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

                              Finds the transition corresponding to a given timestamp in Array Transition. If the timestamp falls between two transitions, it returns the most recent transition before the timestamp.

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

                                Finds the transition corresponding to a given timestamp in Array Transition. If the timestamp falls between two transitions, it returns the most recent transition before the timestamp.

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

                                  Find the current TimeZone out of a Transition in a Array Transition

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

                                    Creates ZoneRules with a fixed GMT offset.

                                    Equations
                                    • One or more equations did not get rendered due to their size.
                                    Instances For
                                      @[inline]

                                      Creates ZoneRules with a fixed offset of UTC (GMT+0).

                                      Equations
                                      Instances For
                                        @[inline]

                                        Finds the LocalTimeType corresponding to a given Timestamp in ZoneRules. If the timestamp falls between two transitions, it returns the most recent transition before the timestamp. If no transition is found, it falls back to initialLocalTimeType.

                                        Equations
                                        • One or more equations did not get rendered due to their size.
                                        Instances For
                                          @[inline]

                                          Creates ZoneRules for the given TimeZone.

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