Data.Time.LocalTime · time-1.12.2

datadata TimeZone

#

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

Constructors

TimeZone
- timeZoneMinutes :: Int
  The number of minutes offset from UTC. Positive means local time will be later in the day than UTC.
- timeZoneSummerOnly :: Bool
  Is this time zone just persisting for the summer?
- timeZoneName :: String
  The name of the zone, typically a three- or four-letter acronym.

Instances9Eq, Data, Ord, Read, Show, NFData, …

Eq TimeZoneDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeZone
Data TimeZoneDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeZone
Ord TimeZoneDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeZone
Read TimeZoneDefined in time-1.12.2 · Data.Time.Format.Parse · orphan
This only works for ±HHMM format, single-letter military time-zones, and these time-zones: "UTC", "UT", "GMT", "EST", "EDT", "CST", "CDT", "MST", "MDT", "PST", "PDT", per RFC 822 section 5.
Show TimeZoneDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeZone
This only shows the time zone name, or offset if the name is empty.
NFData TimeZoneDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeZone
FormatTime TimeZoneDefined in time-1.12.2 · Data.Time.Format.Format.Instances · orphan
ParseTime TimeZoneDefined in time-1.12.2 · Data.Time.Format.Parse.Instances · orphan
ISO8601 TimeZoneDefined in time-1.12.2 · Data.Time.Format.ISO8601
±hh:mm (ISO 8601:2004(E) sec. 4.2.5.1 extended format)

valuetimeZoneOffsetString :: TimeZone -> String

#

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

valuetimeZoneOffsetString' :: Maybe Char -> TimeZone -> String

#

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

valueminutesToTimeZone :: Int -> TimeZone

#

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

valuehoursToTimeZone :: Int -> TimeZone

#

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

valueutc :: TimeZone

#

The UTC time zone.

valuegetTimeZone :: UTCTime -> IO TimeZone

#

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

On Unix systems the output of this function depends on:

The value of TZ environment variable (if set)
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:

The value of TZ environment variable (if set). See here for how Windows interprets this variable.
The system time zone, configured in Settings

valuegetCurrentTimeZone :: IO TimeZone

#

Get the configured time-zone for the current time.

datadata TimeOfDay

#

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.

Constructors

TimeOfDay
- todHour :: Int
  range 0 - 23
- todMin :: Int
  range 0 - 59
- todSec :: Pico
  Note that 0 <= todSec < 61, accomodating leap seconds. Any local minute may have a leap second, since leap seconds happen in all zones simultaneously

Instances9Eq, Data, Ord, Read, Show, NFData, …

Eq TimeOfDayDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeOfDay
Data TimeOfDayDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeOfDay
Ord TimeOfDayDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeOfDay
Read TimeOfDayDefined in time-1.12.2 · Data.Time.Format.Parse · orphan
Show TimeOfDayDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeOfDay
NFData TimeOfDayDefined in time-1.12.2 · Data.Time.LocalTime.Internal.TimeOfDay
FormatTime TimeOfDayDefined in time-1.12.2 · Data.Time.Format.Format.Instances · orphan
ParseTime TimeOfDayDefined in time-1.12.2 · Data.Time.Format.Parse.Instances · orphan
ISO8601 TimeOfDayDefined in time-1.12.2 · Data.Time.Format.ISO8601
hh:mm:ss[.sss] (ISO 8601:2004(E) sec. 4.2.2.2, 4.2.2.4(a) extended format)

valuedayFractionToTimeOfDay :: Rational -> TimeOfDay

#

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

valuelocalToUTCTimeOfDay :: TimeZone -> TimeOfDay -> (Integer, TimeOfDay)

#

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

valuetimeOfDayToDayFraction :: TimeOfDay -> Rational

#

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

valuetimeOfDayToTime :: TimeOfDay -> DiffTime

#

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

valuetimeToTimeOfDay :: DiffTime -> TimeOfDay

#

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

valueutcToLocalTimeOfDay :: TimeZone -> TimeOfDay -> (Integer, TimeOfDay)

#

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

valuedaysAndTimeOfDayToTime :: Integer -> TimeOfDay -> NominalDiffTime

#

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

valuemakeTimeOfDayValid :: Int -> Int -> Pico -> Maybe TimeOfDay

#

valuemidday :: TimeOfDay

#

Hour twelve

valuemidnight :: TimeOfDay

#

Hour zero

valuepastMidnight :: DiffTime -> TimeOfDay

#

Same as timeToTimeOfDay.

valuesinceMidnight :: TimeOfDay -> DiffTime

#

Same as timeOfDayToTime.

valuetimeToDaysAndTimeOfDay :: NominalDiffTime -> (Integer, TimeOfDay)

#

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.

datadata CalendarDiffTime

#

Constructors

CalendarDiffTime
- ctMonths :: Integer
- ctTime :: NominalDiffTime

Instances9Eq, Data, Show, Semigroup, Monoid, NFData, …

Eq CalendarDiffTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.CalendarDiffTime
Data CalendarDiffTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.CalendarDiffTime
Show CalendarDiffTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.CalendarDiffTime
Semigroup CalendarDiffTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.CalendarDiffTime
Additive
Monoid CalendarDiffTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.CalendarDiffTime
Additive
NFData CalendarDiffTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.CalendarDiffTime
FormatTime CalendarDiffTimeDefined in time-1.12.2 · Data.Time.Format.Format.Instances · orphan
ParseTime CalendarDiffTimeDefined in time-1.12.2 · Data.Time.Format.Parse.Instances · orphan
ISO8601 CalendarDiffTimeDefined in time-1.12.2 · Data.Time.Format.ISO8601
PyYmMdDThHmMs[.sss]S (ISO 8601:2004(E) sec. 4.4.3.2)

valuecalendarTimeDays :: CalendarDiffDays -> CalendarDiffTime

#

valuecalendarTimeTime :: NominalDiffTime -> CalendarDiffTime

#

valuescaleCalendarDiffTime :: Integer -> CalendarDiffTime -> CalendarDiffTime

#

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

datadata 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.

Constructors

LocalTime
- localDay :: Day
- localTimeOfDay :: TimeOfDay

Instances9Eq, Data, Ord, Read, Show, NFData, …

Eq LocalTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.LocalTime
Data LocalTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.LocalTime
Ord LocalTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.LocalTime
Read LocalTimeDefined in time-1.12.2 · Data.Time.Format.Parse · orphan
Show LocalTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.LocalTime
NFData LocalTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.LocalTime
FormatTime LocalTimeDefined in time-1.12.2 · Data.Time.Format.Format.Instances · orphan
ParseTime LocalTimeDefined in time-1.12.2 · Data.Time.Format.Parse.Instances · orphan
ISO8601 LocalTimeDefined in time-1.12.2 · Data.Time.Format.ISO8601
yyyy-mm-ddThh:mm:ss[.sss] (ISO 8601:2004(E) sec. 4.3.2 extended format)

valueaddLocalTime :: NominalDiffTime -> LocalTime -> LocalTime

#

addLocalTime a b = a + b

valuediffLocalTime :: LocalTime -> LocalTime -> NominalDiffTime

#

diffLocalTime a b = a - b

valuelocalTimeToUT1 :: Rational -> LocalTime -> UniversalTime

#

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

valuelocalTimeToUTC :: TimeZone -> LocalTime -> UTCTime

#

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

valueut1ToLocalTime :: Rational -> UniversalTime -> LocalTime

#

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

valueutcToLocalTime :: TimeZone -> UTCTime -> LocalTime

#

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

datadata ZonedTime

#

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.

Constructors

ZonedTime
- zonedTimeToLocalTime :: LocalTime
- zonedTimeZone :: TimeZone

Instances7Data, Read, Show, NFData, FormatTime, ParseTime, …

Data ZonedTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.ZonedTime
Read ZonedTimeDefined in time-1.12.2 · Data.Time.Format.Parse · orphan
This only works for a zonedTimeZone in ±HHMM format, single-letter military time-zones, and these time-zones: "UTC", "UT", "GMT", "EST", "EDT", "CST", "CDT", "MST", "MDT", "PST", "PDT", per RFC 822 section 5.
Show ZonedTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.ZonedTime
For the time zone, this only shows the name, or offset if the name is empty.
NFData ZonedTimeDefined in time-1.12.2 · Data.Time.LocalTime.Internal.ZonedTime
FormatTime ZonedTimeDefined in time-1.12.2 · Data.Time.Format.Format.Instances · orphan
ParseTime ZonedTimeDefined in time-1.12.2 · Data.Time.Format.Parse.Instances · orphan
ISO8601 ZonedTimeDefined in time-1.12.2 · Data.Time.Format.ISO8601
yyyy-mm-ddThh:mm:ss[.sss]±hh:mm (ISO 8601:2004(E) sec. 4.3.2 extended format)