Data.Thyme.LocalTime

Hour time-of-day.

Minute time-of-day.

Add some minutes to a TimeOfDay; the result includes a day adjustment.

> addMinutes 10 (TimeOfDay 23 55 0)
(1,00:05:00)

Conversion between TimeOfDay and the fraction of a day.

> TimeOfDay 6 0 0 ^. dayFraction
1 % 4
> TimeOfDay 8 0 0 ^. dayFraction
1 % 3

> dayFraction # (1 / 4)
06:00:00
> dayFraction # (1 / 3)
08:00:00

Convert a fraction of a day since midnight to a TimeOfDay.

dayFractionToTimeOfDay = review dayFraction

Get the current local time zone.

getCurrentTimeZone = getCurrentTime >>= getTimeZone

> getCurrentTimeZone
JST

Get the local time zone at the given time, varying as per summer time adjustments.

Performed by localtime_r or a similar call.

Get the current local date, time, and time zone.

> getZonedTime
2016-04-23 11:57:22.516064 JST

See also: getCurrentTime, getPOSIXTime.

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

Convert a LocalTime at the given meridian in degrees East to a UniversalTime.

localTimeToUT1 = review . ut1LocalTime

Convert a LocalTime in the given TimeZone to a UTCTime.

localTimeToUTC = review . utcLocalTime

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

localToUTCTimeOfDay = addMinutes . negate . timeZoneMinutes

Construct a TimeOfDay from the hour, minute, and second.

Returns Nothing if these constraints are not satisfied:

• 0 ≤ hour ≤ 23

• 0 ≤ minute ≤ 59

• 0 ≤ second < minuteLength hour minute

Hour twelve, noon.

midday = TimeOfDay 12 0 zeroV

Hour zero, midnight.

midnight = TimeOfDay 0 0 zeroV

The maximum possible length of a minute. Always 60s, except at 23:59 due to leap seconds.

minuteLength 23 59 = fromSeconds' 61
minuteLength _  _  = fromSeconds' 60

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

Conversion between DiffTime and TimeOfDay.

> fromSeconds' 100 ^. timeOfDay
00:01:40

> timeOfDay # TimeOfDay 0 1 40
100s

Convert a TimeOfDay to a fraction of a day since midnight.

timeOfDayToDayFraction = view dayFraction

Convert a TimeOfDay to a DiffTime of the duration since midnight. TimeOfDay greater than 24 hours will be treated as leap-seconds.

timeOfDayToTime = review timeOfDay
timeOfDayToTime tod ≡ timeOfDay # tod

Convert a DiffTime of the duration since midnight to a TimeOfDay. Durations exceeding 24 hours will be treated as leap-seconds.

timeToTimeOfDay = view timeOfDay
timeToTimeOfDay d ≡ d ^. timeOfDay

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

Text representing the offset of this timezone in ISO 8601 style, e.g. "-08:00" or "+04:00" (like %N in formatTime)

Conversion between UniversalTime and LocalTime.

Convert a UniversalTime to a LocalTime at the given medidian in degrees East.

ut1ToLocalTime = view . ut1LocalTime

The UTC (Zulu) time zone.

utc = TimeZone 0 False "UTC"

Conversion between UTCTime and LocalTime.

> tz <- getCurrentTimeZone

> timeZoneName tz
"JST"

> timeZoneOffsetString tz
"+0900"

> now <- getCurrentTime
> now
2016-04-23 02:00:00.000000 UTC

> let local = now ^. utcLocalTime tz
> local
2016-04-23 11:00:00.000000

> utcLocalTime tz # local
2016-04-23 02:00:00.000000 UTC

See also: zonedTime.

Convert a UTCTime to a LocalTime in the given TimeZone.

utcToLocalTime = view . utcLocalTime

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

utcToLocalTimeOfDay = addMinutes . timeZoneMinutes

Convert a UTCTime to a ZonedTime according to the local time zone returned by getTimeZone.

See also: zonedTime.

Convert a UTCTime and the given TimeZone into a ZonedTime.

utcToZonedTime z t = view zonedTime (z, t)

Conversion between (TimeZone, UTCTime) and ZonedTime.

> now <- getZonedTime
> now
2016-04-04 16:00:00.000000 JST

> zonedTime # now
(JST,2016-04-04 07:00:00.000000 UTC)

> (zonedTime # now) ^. zonedTime
2016-04-04 16:00:00.000000 JST

See also: utcLocalTime.

Converts a ZonedTime to a UTCTime.

zonedTimeToUTC = snd . review zonedTime

Hours duration.

Local calendar date and time-of-day.

This type is appropriate for inputting from and outputting to the outside world.

To actually perform logic and arithmetic on local date-times, a LocalTime should first be converted to a UTCTime by the utcLocalTime Iso.

See also: ZonedTime.

Minutes duration.

Time of day in hour, minute, second.

Description of one time zone.

A TimeZone is a whole number of minutes offset from UTC, together with a name and a ‘summer time’ flag.

A LocalTime and its TimeZone.

This type is appropriate for inputting from and outputting to the outside world.

To actually perform logic and arithmetic on local date-times, a ZonedTime should first be converted to a UTCTime by the zonedTime Iso.