Represent time types that can be created from other time types.

Every conversion happens throught ElapsedP or Elapsed types.

Timeable represent every type that can be made to look like time types.

• can be converted to ElapsedP and Elapsed
• optionally have a timezone associated
• have nanoseconds accessor (which can return 0 when the type is not more precise than seconds)

A number of seconds elapsed since the unix epoch.

A number of seconds and nanoseconds elapsed since the unix epoch.

Convert one time representation into another one

The return type need to be infer by the context.

If the context cannot be infer through this, some specialized functions are available for built-in types:

• timeGetDate
• timeGetDateTimeOfDay
• timeGetElapsed, timeGetElapsedP

Get the calendar Date (year-month-day) from a time representation

specialization of timeConvert

Get the date and time of day from a time representation

specialization of timeConvert

Get the day time (hours:minutes:seconds) from a time representation

specialization of timeConvert

An amount of time in terms of constant value like hours (3600 seconds), minutes (60 seconds), seconds and nanoseconds.

An amount of conceptual calendar time in terms of years, months and days.

This allow calendar manipulation, representing things like days and months irrespective on how long those are related to timezone and daylight changes.

See Duration for the time-based equivalent to this class.

Represent any time interval that has an equivalent value to a number of seconds.

add some time interval to a time representation and returns this new time representation

example:

t1 `timeAdd` mempty { durationHours = 12 }

Get the difference in seconds between two time representation

effectively:

t2 `timeDiff` t1 = t2 - t1

Get the difference in seconds and nanoseconds between two time representation

effectively:

@t2 `timeDiffP` t1 = t2 - t1

All the various formatter that can be part of a time format string

A generic format function composed of a parser and a printer.

A time format string, composed of list of TimeFormatElem

A generic class for anything that can be considered a Time Format string.

ISO8601 Date format string.

e.g. 2014-04-05

ISO8601 Date and Time format string.

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

Pretty print time to a string

The actual output is determined by the format used

Just like localTimeParse but the time is automatically converted to global time.

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

Pretty print local time to a string.

The actual output is determined by the format used.

Try parsing a string as time using the format explicitely specified

Unparsed characters are ignored and the error handling is simplified

for more elaborate need use localTimeParseE.

Try parsing a string as time using the format explicitely specified

On failure, the parsing function returns the reason of the failure. If parsing is successful, return the date parsed with the remaining unparsed string

Local time representation

this is a time representation augmented by a timezone to get back to a global time, the timezoneOffset needed to be added to the local time.

Create a local time type from a timezone and a time type.

The time value is assumed to be local to the timezone offset set, so no transformation is done.

unwrap the LocalTime value. the time value is local.

Get back a global time value

create a local time value from a global one

get the timezone associated with LocalTime

Change the timezone, and adjust the local value to represent the new local value.

convert the local time representation to another time representation determined by context.

standard representation for timezone

Universal Time Coordinated. The generic computer "timezone".

Simple timezone containing the number of minutes difference with UTC.

Valid values should be between -12*60 to +14*60

Return if this year is a leap year (366 days) or not (365 days in a year)

Return the day of the week a specific date fall in

return the day of the year where Jan 1 is 0

between 0 and 364. 365 for leap years