hunt-time library 1.0.0 beta1 released

zoujiaqing zoujiaqing at gmail.com
Thu Apr 4 10:49:46 UTC 2019


Hunt time released the first beta version.

hunt-time is a time library and similar to Joda-time and 
Java.time api.

The library features:

  * LocalDate - date without time
  * LocalTime - time without date
  * Instant - an instantaneous point on the time-line
  * DateTime - full date and time with time-zone
  * DateTimeZone - a better time-zone
  * Duration and Period - amounts of time
  * Interval - the time between two instants
  * A comprehensive and flexible formatter-parser

Sample codes:

LocalDate/LocalTime/LocalDateTime

LocalDate, a date API that represents a date without time; 
LocalTime, a time representation without a date; and 
LocalDateTime, which is a combination of the previous two. All of 
these types represent the local date and/or time for a region, 
but,they contain zero information about the zone in which it is 
represented, only a representation of the date and time in your 
current timezone.

First of all, these APIs support an easy instantiation:

LocalDate date = LocalDate.of(2018,2,13);
// Uses DateTimeformatter.ISO_LOCAL_DATE for which the format is: 
yyyy-MM-dd
LocalDate date = LocalDate.parse("2018-02-13");
LocalTime time = LocalTime.of(6,30);
// Uses DateTimeFormatter.ISO_LOCAL_TIME for which the format is: 
HH:mm[:ss[.SSSSSSSSS]]
// this means that both seconds and nanoseconds may optionally be 
present.
LocalTime time = LocalTime.parse("06:30");
LocalDateTime dateTime = LocalDateTime.of(2018,2,13,6,30);
// Uses DateTimeFormatter.ISO_LOCAL_DATE_TIME for which the 
format is the
// combination of the ISO date and time format, joined by 'T': 
yyyy-MM-dd'T'HH:mm[:ss[.SSSSSSSSS]]
LocalDateTime dateTime = LocalDateTime.parse("2018-02-13T06:30");

It’s easy to convert between them:

// LocalDate to LocalDateTime
LocalDateTime dateTime = 
LocalDate.parse("2018-02-13").atTime(LocalTime.parse("06:30"));
// LocalTime to LocalDateTime
LocalDateTime dateTime = 
LocalTime.parse("06:30").atDate(LocalDate.parse("2018-02-13"));
// LocalDateTime to LocalDate/LocalTime
LocalDate date = 
LocalDateTime.parse("2018-02-13T06:30").toLocalDate();
LocalTime time = 
LocalDateTime.parse("2018-02-13T06:30").toLocalTime();

Aside from that, it’s incredibly easy to perform operations on 
our date and time representations, using the plus and minus 
methods as well as some utility functions:

LocalDate date = LocalDate.parse("2018-02-13").plusDays(5);
LocalDate date = LocalDate.parse("2018-02-13").plus(3, 
ChronoUnit.MONTHS);
LocalTime time = LocalTime.parse("06:30").minusMinutes(30);
LocalTime time = LocalTime.parse("06:30").minus(500, 
ChronoUnit.MILLIS);
LocalDateTime dateTime = 
LocalDateTime.parse("2018-02-13T06:30").plus(Duration.ofHours(2));
// using TemporalAdjusters, which implements a few useful cases:
LocalDate date = 
LocalDate.parse("2018-02-13").with(TemporalAdjusters.lastDayOfMonth());

Difference in Time: Duration and Period

As you’ve noticed, in one of the above examples we’ve used a 
Duration object. Duration and Period are two representations of 
time between two dates, the former representing the difference of 
time in seconds and nanoseconds, the latter in days, months and 
years.

When should you use these? Period when you need to know the 
difference in time between two LocalDaterepresentations:

Period period = Period.between(LocalDate.parse("2018-01-18"), 
LocalDate.parse("2018-02-14"));

Duration when you’re looking for a difference between a 
representation that holds time information:

Duration duration = 
Duration.between(LocalDateTime.parse("2018-01-18T06:30"), 
LocalDateTime.parse("2018-02-14T22:58"));

When outputting Period or Duration using toString(), a special 
format will be used based on ISO-8601 standard. The pattern used 
for a Period is PnYnMnD, where n defines the number of years, 
months or days present within the period. This means that P1Y2M3D 
defines a period of 1 year, 2 months, and 3 days. The ‘P’ in the 
pattern is the period designator, which tells us that the 
following format represents a period. Using the pattern, we can 
also create a period based on a string using the parse() method.

// represents a period of 27 days
Period period = Period.parse("P27D");

When using Durations, we move away slightly from the ISO-8601 
standard. The pattern defined by ISO-8601 is PnYnMnDTnHnMn.nS. 
This is basically the Period pattern, extended with a time 
representation. In the pattern, T is the time designator, so the 
part that follows defines a duration specified in hours, minutes 
and seconds.

Last but not least, we can also retrieve the various parts of a 
period or duration, by using the corresponding method on a type. 
However, it’s important to know that the various datetime types 
also support this through the use of ChronoUnit enumeration type. 
Let’s take a look at some examples:

// represents PT664H28M
Duration duration = 
Duration.between(LocalDateTime.parse("2018-01-18T06:30"), 
LocalDateTime.parse("2018-02-14T22:58"));
// returns 664
long hours = duration.toHours();
// returns 664
long hours = 
LocalDateTime.parse("2018-01-18T06:30").until(LocalDateTime.parse("2018-02-14T22:58"), ChronoUnit.HOURS);

Working With Zones and Offsets: ZondedDateTime and OffsetDateTime

Thus far, we’ve shown how the new date APIs have made a few 
things a little easier. What really makes a difference, however, 
is the ability to easily use date and time in a timezone context. 
Hunt.time provides us with ZonedDateTime and OffsetDateTime, the 
first one being a LocalDateTime with information for a specific 
Zone (e.g. Europe/Paris), the second one being a LocalDateTime 
with an offset. What’s the difference? OffsetDateTime uses a 
fixed time difference between UTC/Greenwich and the date that is 
specified, whilst ZonedDateTime specifies the zone in which the 
time is represented, and will take daylight saving time into 
account.

Converting to either of these types is very easy:

OffsetDateTime offsetDateTime = 
LocalDateTime.parse("2018-02-14T06:30").atOffset(ZoneOffset.ofHours(2));
// Uses DateTimeFormatter.ISO_OFFSET_DATE_TIME for which the 
default format is
// ISO_LOCAL_DATE_TIME followed by the offset ("+HH:mm:ss").
OffsetDateTime offsetDateTime = 
OffsetDateTime.parse("2018-02-14T06:30+06:00");
ZonedDateTime zonedDateTime = 
LocalDateTime.parse("2018-02-14T06:30").atZone(ZoneId.of("Europe/Paris"));
// Uses DateTimeFormatter.ISO_ZONED_DATE_TIME for which the 
default format is
// ISO_OFFSET_DATE_TIME followed by the the ZoneId in square 
brackets.
ZonedDateTime zonedDateTime = 
ZonedDateTime.parse("2018-02-14T06:30+08:00[Asia/Macau]");
// note that the offset does not matter in this case.
// The following example will also return an offset of +08:00
ZonedDateTime zonedDateTime = 
ZonedDateTime.parse("2018-02-14T06:30+06:00[Asia/Macau]");

When switching between them, you have to keep in mind that 
converting from a ZonedDateTime to OffsetDateTimewill take 
daylight saving time into account, while converting in the other 
direction, from OffsetDateTime to ZonedDateTime, means you will 
not have information about the region of the zone, nor will there 
be any rules applied for daylight saving time. That is because an 
offset does not define any time zone rules, nor is it bound to a 
specific region.

ZonedDateTime winter = 
LocalDateTime.parse("2018-01-14T06:30").atZone(ZoneId.of("Europe/Paris"));
ZonedDateTime summer = 
LocalDateTime.parse("2018-08-14T06:30").atZone(ZoneId.of("Europe/Paris"));
// offset will be +01:00
OffsetDateTime offsetDateTime = winter.toOffsetDateTime();
// offset will be +02:00
OffsetDateTime offsetDateTime = summer.toOffsetDateTime();
OffsetDateTime offsetDateTime = zonedDateTime.toOffsetDateTime();
OffsetDateTime offsetDateTime = 
LocalDateTime.parse("2018-02-14T06:30").atOffset(ZoneOffset.ofHours(5));
ZonedDateTime zonedDateTime = offsetDateTime.toZonedDateTime();

Github repo:
https://github.com/huntlabs/hunt-time


More information about the Digitalmars-d-announce mailing list