A clock consists of the hour, minute, second, and fractional second (between 0.0
and
1.0`).
Add two clock together.
Compare two clocks as by their total seconds.
Automatically generated. Retrieves the hours
constructor field of the clockstd/time/date/clock: V
type.
Automatically generated. Retrieves the minutes
constructor field of the clockstd/time/date/clock: V
type.
Automatically generated. Retrieves the seconds
constructor field of the clockstd/time/date/clock: V
type.
Show a clock in ISO format up to an optional maximum precision (=9
).
Clock(23,30,fixed(1.123)).show == "23:30:01.123"
Clock(23,30,fixed(1.123)).show(0) == "23:30:01"
.
Create a clock from seconds; normalizes the clock with seconds and minutes under 60.
Create a clock from a seconds as an intstd/core/types/int: V
with an optional fraction.
Normalizes the clock with seconds and minutes under 60 but
adds the fraction as is to the final seconds, so that might
be >= 60
if the fraction >= 1.0
;.
Create a clock from a seconds as an intstd/core/types/int: V
with an optional fraction.
Normalizes the clock with seconds and minutes under 60 but
adds the fraction as is to the final seconds, so that might
be >= 60
if the fraction >= 1.0
;.
The zero clock.
Is this a zero clock?
Return the fraction of the seconds as milli-seconds (10-3).
Return the fraction of seconds as nano-seconds ((10-9).
Round a clock time to a certain number of digits precision (of the fraction of seconds) (default 9
, nano seconds).
Return the total seconds of a clockstd/time/date/clock: V
assuming 60 seconds per
minute and 60 minutes per hour.
Return the whole seconds part of a clockstd/time/date/clock: V
.
A date consists of a the year, month, and day.
Automatically generated. Retrieves the day
constructor field of the datestd/time/date/date: V
type.
Automatically generated. Retrieves the month
constructor field of the datestd/time/date/date: V
type.
Automatically generated. Retrieves the year
constructor field of the datestd/time/date/date: V
type.
Add two dates field-wise together.
Compare two dates by fields.
Return the ISO calendar date of Easter in a given year (Algorithm by J.M. Oudin).
Show a date in ISO format. Datestd/time/date/Date: (year : int, month : int, day : int) -> date(2000,1,1).show == "2000-01-01"
.
Takes an optional month-prefix
(=""
) that is used by the ISO week
and month calendar to add a "W"
or "M"
prefix respectively.
Create an ISO weekdate where the “month” is the ISO week number.
An ISO day of the week, starting at Monday (=1) up to Sunday (=7).
Return the weekdaystd/time/date/weekday: V
that comes n
days after week day wd
.
Return the difference between two week days:
wd2 == wd1 + (wd2 - wd1)
.
Compare weekdays.
Show a weekdaystd/time/date/weekday: V
as an English string (Sunstd/time/date/Sun: weekday.show == "Sunday"
).
Return the weekdaystd/time/date/weekday: V
that comes n
days before week day wd
.
Convert a weekdaystd/time/date/weekday: V
to an intstd/core/types/int: V
using the ISO definition which starts at Monday as 1,
up to Sunday as 7.
Automatically generated. Tests for the Fristd/time/date/Fri: weekday
constructor of the weekdaystd/time/date/weekday: V
type.
Automatically generated. Tests for the Monstd/time/date/Mon: weekday
constructor of the weekdaystd/time/date/weekday: V
type.
Automatically generated. Tests for the Satstd/time/date/Sat: weekday
constructor of the weekdaystd/time/date/weekday: V
type.
Automatically generated. Tests for the Sunstd/time/date/Sun: weekday
constructor of the weekdaystd/time/date/weekday: V
type.
Automatically generated. Tests for the Thustd/time/date/Thu: weekday
constructor of the weekdaystd/time/date/weekday: V
type.
Automatically generated. Tests for the Tuestd/time/date/Tue: weekday
constructor of the weekdaystd/time/date/weekday: V
type.
Automatically generated. Tests for the Wedstd/time/date/Wed: weekday
constructor of the weekdaystd/time/date/weekday: V
type.
Show a weekdaystd/time/date/weekday: V
as a 3 letter English string (Sunstd/time/date/Sun: weekday.show-shortstd/time/date/show-short: (wd : weekday) -> string == "Sun"
).
Convert a weekday number to a weekdaystd/time/date/weekday: V
(starting at Monday (=1) up to Sunday (=7)).
Takes the integer i - 1
modulo 7, so 0
or 14
also become Sunday etc.
Show seconds.
Show a year in ISO format (using 5+ digits and explicit sign for years < 0 or years > 9999)).
Date, clock, and week days support.
Defines basic types for human readable time. Years, months, days etc. are always 1-based. Week dates are absent as they are treated as normal dates, using the
cal-iso-week
calendar.