structure Std.Time.TimeZone : Type

A TimeZone structure that stores the timezone offset, the name, abbreviation and if it's in daylight saving time.

• offset : Offset

  The Offset of the date time.

• name : String

  The name of the time zone.

• abbreviation : String

  The abbreviation of the time zone.

• isDST : Bool

  Day light saving flag.

instance Std.Time.instInhabitedTimeZone : Inhabited TimeZone

def Std.Time.instInhabitedTimeZone.default : TimeZone

def Std.Time.instReprTimeZone.repr : TimeZone → Nat → Std.Format

instance Std.Time.instReprTimeZone : Repr TimeZone

instance Std.Time.instDecidableEqTimeZone : DecidableEq TimeZone

def Std.Time.instDecidableEqTimeZone.decEq (x✝ x✝¹ : TimeZone) : Decidable (x✝ = x✝¹)

def Std.Time.TimeZone.UTC : TimeZone

A zeroed Timezone representing UTC (no offset).

def Std.Time.TimeZone.GMT : TimeZone

A zeroed Timezone representing GMT (no offset).

def Std.Time.TimeZone.ofHours (name abbreviation : String) (n : Hour.Offset) (isDST : Bool := false) : TimeZone

Creates a Timestamp from a given number of hour.

def Std.Time.TimeZone.ofSeconds (name abbreviation : String) (n : Second.Offset) (isDST : Bool := false) : TimeZone

Creates a Timestamp from a given number of second.

def Std.Time.TimeZone.toSeconds (tz : TimeZone) : Second.Offset

Gets the number of seconds in a timezone offset.