Rebase.Data.Time.LocalTime

A simple day and time aggregate, where the day is of the specified parameter, and the time is a TimeOfDay. Conversion of this (as local civil time) to UTC depends on the time zone. Conversion of this (as local mean time) to UT1 depends on the longitude.

Scale by a factor. Note that scaleCalendarDiffTime (-1) will not perfectly invert a duration, due to variable month lengths.

addLocalTime a b = a + b

diffLocalTime a b = a - b

Get the UT1 time of a local time on a particular meridian (in degrees, positive is East).

Get the UTC time of a local time in a time zone.

Get the local time of a UT1 time on a particular meridian (in degrees, positive is East).

Get the local time of a UTC time in a time zone.

Time of day as represented in hour, minute and second (with picoseconds), typically used to express local time of day.

TimeOfDay 24 0 0 is considered invalid for the purposes of makeTimeOfDayValid, as well as reading and parsing, but valid for ISO 8601 parsing in Data.Time.Format.ISO8601.

Get the time of day given the fraction of a day since midnight.

Convert a count of days and a time of day since midnight into a period of time.

Convert a time of day in some timezone to a time of day in UTC, together with a day adjustment.

Hour twelve

Hour zero

Same as timeToTimeOfDay.

Same as timeOfDayToTime.

Get the fraction of a day since midnight given a time of day.

Get the time since midnight for a given time of day.

Convert a period of time into a count of days and a time of day since midnight. The time of day will never have a leap second.

Get the time of day given a time since midnight. Time more than 24h will be converted to leap-seconds.

Convert a time of day in UTC to a time of day in some timezone, together with a day adjustment.

A TimeZone is a whole number of minutes offset from UTC, together with a name and a "just for summer" flag.

Get the configured time-zone for the current time.

Get the configured time-zone for a given time (varying as per summertime adjustments).

On Unix systems the output of this function depends on:

1. The value of TZ environment variable (if set)

2. The system time zone (usually configured by /etc/localtime symlink)

For details see tzset(3) and localtime(3).

Example:

> let t = UTCTime (fromGregorian 2021 7 1) 0
> getTimeZone t
CEST
> setEnv "TZ" "America/New_York" >> getTimeZone t
EDT
> setEnv "TZ" "Europe/Berlin" >> getTimeZone t
CEST

On Windows systems the output of this function depends on:

1. The value of TZ environment variable (if set). See here for how Windows interprets this variable.

2. The system time zone, configured in Settings

Create a nameless non-summer timezone for this number of hours.

Create a nameless non-summer timezone for this number of minutes.

Text representing the offset of this timezone, such as "-0800" or "+0400" (like %z in formatTime).

Text representing the offset of this timezone, such as "-0800" or "+0400" (like %z in formatTime), with arbitrary padding.

The UTC time zone.

A local time together with a time zone.

There is no Eq instance for ZonedTime. If you want to compare local times, use zonedTimeToLocalTime. If you want to compare absolute times, use zonedTimeToUTC.