Documentation

Std.Time.Zoned.Offset

Represents a timezone offset with an hour and second component.

  • ofSeconds :: (
  • )
Instances For
    theorem Std.Time.TimeZone.Offset.ext {x y : Offset} (second : x.second = y.second) :
    x = y

    Converts an Offset to a string in ISO 8601 format. The colon parameter determines if the hour and minute components are separated by a colon (e.g., "+01:00" or "+0100").

    Equations
      Instances For

        A zero Offset representing UTC (no offset).

        Equations
          Instances For

            Creates an Offset from a given number of hour.

            Equations
              Instances For

                Creates an Offset from a given number of hours and minutes.

                Equations
                  Instances For