structure Std.Time.TimeZone.TZif.Header : Type

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.

instance Std.Time.TimeZone.TZif.instReprHeader : Repr Std.Time.TimeZone.TZif.Header

instance Std.Time.TimeZone.TZif.instInhabitedHeader : Inhabited Std.Time.TimeZone.TZif.Header

structure Std.Time.TimeZone.TZif.LocalTimeType : Type

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

• gmtOffset : Std.Time.TimeZone.TZif.Int32✝

  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.

instance Std.Time.TimeZone.TZif.instReprLocalTimeType : Repr Std.Time.TimeZone.TZif.LocalTimeType

instance Std.Time.TimeZone.TZif.instInhabitedLocalTimeType : Inhabited Std.Time.TimeZone.TZif.LocalTimeType

structure Std.Time.TimeZone.TZif.LeapSecond : Type

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

• transitionTime : Std.Time.TimeZone.TZif.Int64✝

  The transition time of the leap second event.

• correction : Std.Time.TimeZone.TZif.Int64✝

  The correction applied during the leap second event in seconds.

instance Std.Time.TimeZone.TZif.instReprLeapSecond : Repr Std.Time.TimeZone.TZif.LeapSecond

Equations

• Std.Time.TimeZone.TZif.instReprLeapSecond = { reprPrec := Std.Time.TimeZone.TZif.reprLeapSecond✝ }

instance Std.Time.TimeZone.TZif.instInhabitedLeapSecond : Inhabited Std.Time.TimeZone.TZif.LeapSecond

Equations

• Std.Time.TimeZone.TZif.instInhabitedLeapSecond = { default := { transitionTime := default, correction := default } }

structure Std.Time.TimeZone.TZif.TZifV1 : Type

Represents version 1 of the TZif format.

• header : Std.Time.TimeZone.TZif.Header

  The header information of the TZif file.

• transitionTimes : Array Std.Time.TimeZone.TZif.Int32✝

  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 Std.Time.TimeZone.TZif.LocalTimeType

  The array of local time type structures.

• abbreviations : Array String

  The array of abbreviation strings used by local time types.

• leapSeconds : Array Std.Time.TimeZone.TZif.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.

instance Std.Time.TimeZone.TZif.instReprTZifV1 : Repr Std.Time.TimeZone.TZif.TZifV1

instance Std.Time.TimeZone.TZif.instInhabitedTZifV1 : Inhabited Std.Time.TimeZone.TZif.TZifV1

structure Std.Time.TimeZone.TZif.TZifV2extends Std.Time.TimeZone.TZif.TZifV1 : Type

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

• header : Std.Time.TimeZone.TZif.Header
• transitionTimes : Array Std.Time.TimeZone.TZif.Int32✝
• transitionIndices : Array UInt8
• localTimeTypes : Array Std.Time.TimeZone.TZif.LocalTimeType
• abbreviations : Array String
• leapSeconds : Array Std.Time.TimeZone.TZif.LeapSecond
• stdWallIndicators : Array Bool
• utLocalIndicators : Array Bool
• footer : Option String

  An optional footer for additional metadata in version 2.

instance Std.Time.TimeZone.TZif.instReprTZifV2 : Repr Std.Time.TimeZone.TZif.TZifV2

Equations

• Std.Time.TimeZone.TZif.instReprTZifV2 = { reprPrec := Std.Time.TimeZone.TZif.reprTZifV2✝ }

instance Std.Time.TimeZone.TZif.instInhabitedTZifV2 : Inhabited Std.Time.TimeZone.TZif.TZifV2

structure Std.Time.TimeZone.TZif.TZif : Type

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

• v1 : Std.Time.TimeZone.TZif.TZifV1

  The data for version 1 of the TZif file.

• v2 : Option Std.Time.TimeZone.TZif.TZifV2

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

instance Std.Time.TimeZone.TZif.instReprTZif : Repr Std.Time.TimeZone.TZif.TZif

Equations

• Std.Time.TimeZone.TZif.instReprTZif = { reprPrec := Std.Time.TimeZone.TZif.reprTZif✝ }

instance Std.Time.TimeZone.TZif.instInhabitedTZif : Inhabited Std.Time.TimeZone.TZif.TZif

def Std.Time.TimeZone.TZif.parse : Std.Internal.Parsec.ByteArray.Parser Std.Time.TimeZone.TZif.TZif

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