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

Instances For

• Std.Time.Awareness.instCoeTimeZone
• Std.Time.instBEqTimeZone
• Std.Time.instInhabitedTimeZone
• Std.Time.instReprTimeZone

instance Std.Time.instInhabitedTimeZone : Inhabited Std.Time.TimeZone

Equations

• Std.Time.instInhabitedTimeZone = { default := { offset := default, name := default, abbreviation := default, isDST := default } }

instance Std.Time.instReprTimeZone : Repr Std.Time.TimeZone

Equations

• Std.Time.instReprTimeZone = { reprPrec := Std.Time.reprTimeZone✝ }

instance Std.Time.instBEqTimeZone : BEq Std.Time.TimeZone

Equations

• Std.Time.instBEqTimeZone = { beq := Std.Time.beqTimeZone✝ }

def Std.Time.TimeZone.UTC : Std.Time.TimeZone

A zeroed Timezone representing UTC (no offset).

Equations

• Std.Time.TimeZone.UTC = { offset := Std.Time.TimeZone.Offset.zero, name := "UTC", abbreviation := "UTC", isDST := false }

def Std.Time.TimeZone.GMT : Std.Time.TimeZone

A zeroed Timezone representing GMT (no offset).

Equations

• Std.Time.TimeZone.GMT = { offset := Std.Time.TimeZone.Offset.zero, name := "Greenwich Mean Time", abbreviation := "GMT", isDST := false }

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

Creates a Timestamp from a given number of hour.

Equations

• Std.Time.TimeZone.ofHours name abbreviation n isDST = { offset := Std.Time.TimeZone.Offset.ofHours n, name := name, abbreviation := abbreviation, isDST := isDST }

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

Creates a Timestamp from a given number of second.

Equations

• Std.Time.TimeZone.ofSeconds name abbreviation n isDST = { offset := { second := n }, name := name, abbreviation := abbreviation, isDST := isDST }

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

Gets the number of seconds in a timezone offset.

Equations

• tz.toSeconds = tz.offset.second