date part of x
date part of x
Returns number of full days between two datetime values.
Returns number of full days between two datetime values. Result can be negative if until
< x
Returns number of full hours between two datetime values.
Returns number of full hours between two datetime values. Result can be negative if until
< x
Returns number of milliseconds between two datetime values.
Returns number of milliseconds between two datetime values. Result can be negative if until
< x
Returns number of full minutes between two datetime values.
Returns number of full minutes between two datetime values. Result can be negative if until
< x
Returns number of full months between two datetime values.
Returns number of full months between two datetime values. Result can be negative if until
< x
Get current system time for supplied timezone
Java time based constructor for values of type A
Java time based constructor for values of type A
local date part of A
local time part of A
time zone for produced value
add (possibly negative) duration to this datetime
add (possibly negative) duration to this datetime
Add (possibly negative) number of months to this datetime.
Add (possibly negative) number of months to this datetime.
Add (possibly negative) number of years to this datetime.
Add (possibly negative) number of years to this datetime.
Returns number of full seconds between two datetime values.
Returns number of full seconds between two datetime values. Result can be negative if until
< x
time part of x
time part of x
Create a copy of x
with day of month altered.
Create a copy of x
with day of month altered.
Create a copy of x
with hour of day altered.
Create a copy of x
with hour of day altered.
Create a copy of x
with millisecond of second altered.
Create a copy of x
with millisecond of second altered.
Create a copy of x
with minute if hour altered.
Create a copy of x
with minute if hour altered.
Create a copy of x
with month altered.
Create a copy of x
with month altered. Month value has to be in [1,12] range
Create a copy of x
with second of minute altered.
Create a copy of x
with second of minute altered.
Create a copy of x
with year altered.
Create a copy of x
with year altered.
Returns a new zoned date time value with timezone altered in a way,
that preserves exact moment time, described by x
Returns a new zoned date time value with timezone altered in a way,
that preserves exact moment time, described by x
original zoned datetime
time zone to create new value in
Returns a new zoned date time value with timezone altered.
Returns a new zoned date time value with timezone altered. Local date and time stay the same.
This means that if supplied zone has different offset, new value will have different instant.
original zoned datetime
time zone to create new value in
Returns number of full years between two datetime values.
Returns number of full years between two datetime values. Result can be negative if until
< x
Get the timezone of x
A typeclass for zoned datetime values. These values are zone aware and follow DST transformation rules.
Semantics are similar to
java.time.ZonedDateTime