Data.Hourglass

Given a precise amount of seconds yield a corresponding pair of Seconds and NanoSeconds values.

If the precise amount of seconds is negative the number of nanoseconds will not be positive. This can be contrasted with a normalised ElapsedP value.

Type representing numbers of non-leap seconds elapsed since the Unix epoch (1970-01-01 00:00:00 UTC).

Points in time before the Unix epoch are represented by a negative number of seconds.

Type representing numbers of non-leap seconds and nanoseconds elapsed since the Unix epoch (1970-01-01 00:00:00 UTC).

A constructor of an ElapsedP value.

The ElapsedP value will be normalised. That is, the nanoseconds field will be non-negative and fewer than 1,000,000,000 nanoseconds (being 1 second).

Given a precise amount of non-leap seconds elapsed since the Unix epoch, yield the corresponding ElapsedP value.

The ElapsedP value will be normalised. That is, the nanoseconds field will be non-negative and fewer than 1,000,000,000 nanoseconds (being 1 second).

Type representing dates in the proleptic Gregorian calendar (the common calendar).

Type representing times as hour, minutes, seconds and nanoseconds.

Type representing date and time.

Type representing local times.

A type class promising timezone-related functionality.

Type representing offsets in minutes against UTC to obtain local time from UTC. A positive number represents a location east of where UTC is local time and a negative number represents a location west of where UTC is local time.

LocalTime t (-300) -- t represents a time at UTC-5

LocalTime t (+480) -- t represents a time at UTC+8

Should be between (-12 * 60) and (+14 * 60).

For example, in timezone AEDT (Australian Eastern Daylight Time) (UTC+11), local time is 15:47. Consequently, UTC time is 04:47 and the timezone offset is TimezoneOffset 660 (in minutes).

For the given timezone offset, yield the corresponding number of seconds.

Type representing Universal Time Coordinated (UTC).

The UTC timezone.

timezoneOffsetToMinutes timezone_UTC == 0 -- True

Simple timezone containing the number of minutes difference with UTC.

Valid values should be between -12 * 60 and +14 * 60.

For the given timezone offset and time value (assumed to be the local time), yield the corresponding local time.

For the given time value, yield the corresponding LocalTime value assuming that there is no timezone offset.

For the given timezone offset and local time, yield the corresponding local time.

The local time.

The timezone offset.

For the given year in the Gregorian calendar, is it a leap year (366 days long)?

For the given date in the proleptic Gregorian calendar, yield the day of the week it falls on.

For the given date in the proleptic Gregorian calendar, yield the number of days before the date in the same year. For example, there are 0 days before 1st January.

For the given year and month in the proleptic Gregorian calendar, yield the number of days in the month.

A type class promising the ability to convert values to a TimeFormatString.

String is an instance of TimeFormat. Sequences of characters are interpreted as follows (case-sensitive). The longest valid sequence is parsed first:

YY

Format_Year2

. 2-digit years (

70

is 1970,

69

is 2069).

YYYY

Format_Year4

. 4-digit years.

M

Format_Month

. Months (

1

to

12

).

MM

Format_Month2

. Months padded to 2 characters (

01

to

12

).

Mon

Format_MonthName_Short

. Short name of the month (

Jan

,

Feb

, ..).

JJJ

Format_DayYear3

. Day of the year padded to 3 characters (

001

to

365

,

366

for leap years).

DD

Format_Day2

. Day of the month padded to 2 characters (

01

to

31

).

H

Format_Hour

. Hours padded to 2 characters (

00

to

23

).

MI

Format_Minute

. Minutes padded to 2 characters (

00

to

59

).

S

Format_Second

. Seconds padded to 2 characters (

00

to

59

,

60

for leap seconds).

EPOCH

Format_UnixSecond

. Number of non-leap seconds since the Unix epoch (1970-01-01 00:00:00 UTC).

ms

Format_MilliSecond

. The millisecond component only, padded to 3 characters (

000

to

999

). See

us

/

μ

and

ns

for other named sub-second components.

us

Format_MicroSecond

. The microseconds component only, padded to 3 characters (

000

to

999

). See

ms

and

ns

for other named sub-second components.

μ

Format_MicroSecond

. As above.

ns

Format_NanoSecond

. The nanoseconds component only, padded to 3 characters (

000

to

999

). See

ms

and

us

/

μ

for other named sub-second components.

p<n>

Format_Precision

<n>

. Sub-second display with a precision of

<n>

digit(s), where

<n>

is

1

to

9

.

TZH:M

Format_TzHM_Colon

. Timezone offset with colon (for example,

02:00

,

+02:00

or

-02:00

).

TZHM

Format_TzHM

. Timezone offset without colon (for example,

0200

,

+0200

or

-0200

).

TZOFS

Format_Tz_Offset

. Timezone offset in minutes (for example,

120

,

+120

or

-120

).

<space>

Format_Spaces

. One or more space-like characters.

\<character>

Format_Text

<character>

. A verbatim character.

<character>

Format_Text

<character>

. A verbatim character.

For example:

>>> let mDateTime = timeParse ("ms \\ms us \\us ns \\ns") "123 ms 456 us 789 ns">>> timeGetNanoSeconds <$> mDateTimeJust 123456789ns

>>> timePrint "ms \\ms us \\us ns \\ns" <$> mDateTimeJust "123 ms 456 us 789 ns"

Type representing time format strings, composed of list of TimeFormatElem.

Type representing formatters that can be part of a time format string.

Type representing format functions.

A type representing a ISO8601 date format string.

e.g. 2014-04-05

A type representing a ISO8601 date and time format string.

e.g. 2014-04-05T17:25:04+00:00 or 2014-04-05T17:25:04Z.

Given the specified format, pretty print the given local time.

A Format_TimezoneName will print using the ±HH:MM format, where 0 offset is printed as -00:00.

A Format_TzHM will print using the ±HHMM format, where 0 offset is printed as +0000.

A Format_TzHM_Colon will print using the ±HH:MM format, where 0 offset is printed as +00:00.

A Format_TzHM_Colon_Z will print using the ±HH:MM format, but where 0 offset is printed as Z.

A Format_Tz_Offset will print non-negative offsets without using an initial +.

A Format_Spaces will print a single space character.

Like localTimePrint but the time zone of the time to print will be taken to be UTC.

Given the specified format, try to parse the given string as a LocalTime DateTime value.

On failure, yields a Left value with a pair of the current TimeFormatElem value and the reason for the failure.

If successful, yields a Right value with a pair of the parsed value and the remaining unparsed string.

The default parsed LocalTime DateTime value is 'all zeros'. For example:

>>> let zeroDate = Date 0 January 0>>> let zeroTime = TimeOfDay 0 0 0 0>>> let zeroLocalTime = localTime timezone_UTC (DateTime zeroDate zeroTime)>>> localTimeParseE "" "" == Right (zeroLocalTime, "")True

Later TimeFormatElem values can modify the result of earlier TimeFormatElem values. For example:

>>> let toYear = dateYear . dtDate . localTimeUnwrap . fst>>> toYear <$> (localTimeParseE "YYYY YYYY" "2025 2024")Right 2024

A Format_DayYear or Format_DayYear3 value interprets the day of year based on the previously parsed year or, by default, a leap year. For example:

>>> let toMonth = dateMonth . dtDate . localTimeUnwrap . fst>>> let format1 = [Format_Year4, Format_Spaces, Format_DayYear]>>> let format2 = [Format_DayYear, Format_Spaces, Format_Year4]>>> toMonth <$> (localTimeParseE format1 "2025 60")Right March>>> toMonth <$> (localTimeParseE format2 "60 2025")Right February

A Format_TimezoneName will parse one or more non-white space characters but will not modify the previously parsed, or default, date and time.

A Format_Month, Format_DayYear, Format_DayYear3, Format_Day and Format_Tz_Offset will check that the parsed number is within bounds. However, localTimeParseE does not check that any resulting date or time is a valid one.

Like localTimeParseE, but with simpler handing of failure. Does not yield the remaining unparsed string on success.

On failure, returns Nothing. If successful, yields Just the parsed value.

Like localTimeParseE but the time value is automatically converted to global time.

Like localTimeParse but the time value is automatically converted to global time.