This module provides a set of APIs that have the capabilities to generate and manipulate UTC and localized time.
In cloud computing, the most essential type of time is UTC. Coordinated Universal Time (UTC) is the primary time standard on which the world agreed.
UTC is independent of daylight saving time and provides a unique time value for the entire world.
The definition of UTC started from the epoc
1970-01-01T00:00:00Z. Initially, humans divided a day into 86400 seconds.
However, the Earth rotation does not adhere to this time duration as the Earth is slowing down and the day is getting longer.
As a result, a solar day in 2012 is longer than 86400 SI seconds.
To correct this incompatibility, additional seconds have been added to the UTC scale, which is known as leap-seconds.
The focus of this module is to give the most precise UTC with nanoseconds precision and also handle some complex use cases such as leap seconds and daylight time-saving.
time:Utc is the tuple representation of the UTC. The UTC represents the number of seconds from a
specified epoch. Here, the epoch is the UNIX epoch of 1970-01-01T00:00:00Z.
Use the following API to get the current epoch time:
time:Utc utc = time:utcNow();
The monotonic time represents the number of seconds from an unspecified epoch.
Use the following API to get the monotonic time from an unspecified topic:
decimal seconds = time:monotonicNow();
The localized time represents using the
time:Civil record. It includes the following details:
- timezone information
- daylight time-saving information
Parallel to the aforementioned time representations, this module includes a set of APIs to facilitate time conversions and manipulations using a set of high-level APIs. Those conversion APIs can be listed as follows.
The String Representations of UTC
// Converts from RFC 3339 timestamp to UTC. time:Utc utc = check time:utcFromString("2007-12-0310:15:30.00Z"); // Converts a given `time:Utc` time to a RFC 3339 timestamp. string utcString = time:utcToString(utc);
The String Representations of Civil
// Converts from RFC 3339 timestamp to a civil record. time:Civil civil2 = check time:civilFromString("2007-12-03T10:15:30.00Z"); // Converts a given `time:Civil` time to a RFC 3339 timestamp. string civilString = check time:civilToString(civil);
UTC Value Manipulation
// Returns the UTC time that occurs seconds after the given UTC. time:Utc utc = time:utcAddSeconds(time:utcNow(), 20.900); // Returns the difference in seconds between two given UTC time values. time:Utc utc1 = time:utcNow(); time:Utc utc2 = check time:utcFromString("2021-04-12T23:20:50.520Z"); time:Seconds seconds = time:utcDiffSeconds(utc1, utc2);
UTC vs Civil
// Converts a given UTC to a Civil. time:Civil civil = time:utcToCivil(utc); // Converts a given Civil to a UTC. time:Utc utc = time:utcFromCivil(civil);