Documentation

Std.Time.Zoned.Database.TzIf

Represents the header of a TZif file, containing metadata about the file's structure.

  • version : UInt8

    The version of the TZif file format.

  • isutcnt : UInt32

    The count of UT local indicators in the file.

  • isstdcnt : UInt32

    The count of standard/wall indicators in the file.

  • leapcnt : UInt32

    The number of leap second records.

  • timecnt : UInt32

    The number of transition times in the file.

  • typecnt : UInt32

    The number of local time types in the file.

  • charcnt : UInt32

    The total number of characters used in abbreviations.

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

        Represents the local time type information, including offset and daylight saving details.

        • gmtOffset : Int

          The GMT offset in seconds for this local time type.

        • isDst : Bool

          Indicates if this local time type observes daylight saving time.

        • abbreviationIndex : UInt8

          The index into the abbreviation string table for this time type.

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

            Represents a leap second record, including the transition time and the correction applied.

            • transitionTime : Int

              The transition time of the leap second event.

            • correction : Int

              The correction applied during the leap second event in seconds.

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

                Represents version 1 of the TZif format.

                • header : Header

                  The header information of the TZif file.

                • transitionTimes : Array Int

                  The array of transition times in seconds since the epoch.

                • transitionIndices : Array UInt8

                  The array of local time type indices corresponding to each transition time.

                • localTimeTypes : Array LocalTimeType

                  The array of local time type structures.

                • abbreviations : Array String

                  The array of abbreviation strings used by local time types.

                • leapSeconds : Array LeapSecond

                  The array of leap second records.

                • stdWallIndicators : Array Bool

                  The array indicating whether each transition time uses wall clock time or standard time.

                • utLocalIndicators : Array Bool

                  The array indicating whether each transition time uses universal time or local time.

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

                      Represents version 2 of the TZif format, extending TZifV1 with an optional footer.

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

                          Represents a TZif file, which can be either version 1 or version 2.

                          • v1 : TZifV1

                            The data for version 1 of the TZif file.

                          • Optionally, the data for version 2 of the TZif file.

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

                              Parses a TZif file, which may be in either version 1 or version 2 format.

                              Equations
                              Instances For