Documentation

Std.Time.Zoned.TimeZone

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.

Instances For

    A zeroed Timezone representing UTC (no offset).

    Equations
      Instances For

        A zeroed Timezone representing GMT (no offset).

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

            Creates a Timestamp from a given number of hour.

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

                Creates a Timestamp from a given number of second.

                Equations
                  Instances For

                    Gets the number of seconds in a timezone offset.

                    Equations
                      Instances For