A | |
add [Calendar] | |
add [Date] | add d p returns d + p .
|
add [Time] | app t p returns t + p .
|
add [Period.S] |
Addition of periods.
|
ascension [Date] |
Ascension.
|
ash [Date] |
Ash Wednesday.
|
C | |
carnaval [Date] |
Carnaval Monday.
|
century [Date] |
Century of a year.
|
change [Time_Zone] |
Change the current time zone by another one.
|
compare [Calendar] | |
compare [Date] |
Comparison function between two dates.
|
compare [Time] |
Comparison function between two times.
|
compare [Period.S] |
Comparison function between two periods.
|
convert [Calendar] | |
convert [Time] | convert t t1 t2 converts the time t expressed in the time zone t1
to the same time expressed in the time zone t2 .\\
E.g.
|
corpus_christi [Date] |
Feast of Corpus Christi.
|
create [Calendar] | create d t creates a calendar from the given date and time.
|
current [Time_Zone] |
Return the current time zone.
|
D | |
day [Calendar.Period] | |
day [Date.Period] | day n makes a period of n days.
|
day_name [Printer] |
String representation of a day.
|
day_of_int [Date] |
Inverse of
int_of_day .
|
day_of_month [Calendar] | |
day_of_month [Date] |
Day of the month.
|
day_of_week [Calendar] | |
day_of_week [Date] |
Day of the week.
|
day_of_year [Calendar] | |
day_of_year [Date] |
Day of the year.
|
days_in_month [Calendar] | |
days_in_month [Date] |
Number of days in the month of a date.
|
days_in_year [Date] |
Number of days in a year.
|
div [Time.Period] |
Division.
|
dprint [Printer.S] |
Same as
print d where d is the default format
(see the printer implementations).
|
E | |
easter [Date] |
Easter Sunday.
|
easter_friday [Date] |
Easter Friday.
|
easter_monday [Date] |
Easter Monday.
|
easter_saturday [Date] |
Easter Saturday.
|
empty [Period.S] |
The empty period.
|
epact [Date] |
Epact.
|
equal [Calendar] |
Equality function between two calendars.
|
equal [Date] |
Equality function between two dates.
|
equal [Time] |
Equality function between two times.
|
equal [Period.S] |
Equality function between two periods.
|
F | |
fprint [Printer.S] | fprint format formatter x outputs x on formatter according to
the specified format .
|
from_business [Date] |
Inverse of
to_business respecting ISO-8601.
|
from_date [Calendar.Period] |
Convert a date period to a calendar period.
|
from_date [Calendar] |
Convert a date to a calendar.
|
from_fstring [Printer.S] | from_fstring format s converts s to a date according to format .
|
from_gmt [Calendar] | |
from_gmt [Time] | from_gmt t is equivalent to
convert t Time_Zone.GMT (Time_Zone.current ()) .
|
from_gmt [Time_Zone] | from_gmt () is equivalent to gap UTC (current ()) .
|
from_hours [Time] |
Inverse of
to_hours .
|
from_jd [Calendar] |
Return the Julian day.
|
from_jd [Date] |
Make a date from its Julian day.
|
from_minutes [Time] |
Inverse of
to_minutes .
|
from_mjd [Calendar] |
Return the Modified Julian day.
|
from_mjd [Date] |
Make a date from its modified Julian day (i.e.
|
from_seconds [Time] |
Inverse of
to_seconds .
|
from_string [Printer.S] |
Same as
from_fstring d where d is the default format.
|
from_time [Calendar.Period] |
Convert a time period to a calendar period.
|
from_unixfloat [Calendar] |
Inverse of
to_unixfloat .
|
from_unixfloat [Date] |
Inverse of
to_unixfloat .
|
from_unixtm [Calendar] |
Inverse of
to_unixtm .
|
from_unixtm [Date] |
Inverse of
to_unixtm .
|
G | |
gap [Time_Zone] |
Return the gap between two time zone.
|
golden_number [Date] |
Golden number.
|
H | |
hour [Calendar.Period] | |
hour [Calendar] | |
hour [Time.Period] | hour n makes a period of n hours.
|
hour [Time] |
Hour.
|
hour_of_dst [Time_Zone] | hour_of_dst () returns 1 if is_dst () and 0 otherwise.
|
I | |
indiction [Date] |
Indiction.
|
int_of_day [Date] |
Convert a day to an integer respecting ISO-8601.
|
int_of_month [Date] |
Convert a month to an integer respecting ISO-8601.
|
is_am [Calendar] | |
is_am [Time] |
Return
true is the time is after midday in the current time zone;
false otherwise.
|
is_dst [Time_Zone] | is_dst () checks if daylight saving time is in effect.
|
is_gregorian [Calendar] | |
is_gregorian [Date] |
Return
true if a date belongs to the Gregorian calendar;
false otherwise.
|
is_julian [Calendar] | |
is_julian [Date] |
Return
true iff a date belongs to the Julian calendar;
false otherwise.
|
is_leap_day [Calendar] | |
is_leap_day [Date] |
Return
true if a date is a leap day
(i.e.
|
is_leap_year [Date] |
Return
true if a year is a leap year; false otherwise.
|
is_pm [Calendar] | |
is_pm [Time] |
Return
true is the time is before midday in the current time zone;
false otherwise.
|
L | |
length [Time.Period] |
Number of seconds of a period.
|
lmake [Calendar.Period] |
Labelled version of
make .
|
lmake [Calendar] |
Labelled version of
make .
|
lmake [Date.Period] |
Labelled version of
make .
|
lmake [Date] |
Labelled version of
make .
|
lmake [Time.Period] |
Labelled version of
make .
|
lmake [Time] |
Labelled version of
make .
|
M | |
make [Calendar.Period] | make year month day hour minute second makes a period of the
specified length.
|
make [Calendar] | make year month day hour minute second makes the calendar
"year-month-day; hour-minute-second".
|
make [Date.Period] | make year month day makes a period of the specified length.
|
make [Date] | make year month day makes the date year-month-day.
|
make [Time.Period] | make hour minute second makes a period of the specified length.
|
make [Time] | make hour minute second makes the time hour-minute-second.
|
mardi_gras [Date] |
Mardi Gras.
|
midday [Time] | midday () is midday (expressed in the current time zone).
|
midnight [Time] | midnight () is midnight (expressed in the current time zone).
|
millenium [Date] |
Millenium of a year.
|
minute [Calendar.Period] | |
minute [Calendar] | |
minute [Time.Period] | minute n makes a period of n minutes.
|
minute [Time] |
Minute.
|
month [Calendar.Period] | |
month [Calendar] | |
month [Date.Period] | month n makes a period of n months.
|
month [Date] |
Month.
|
month_name [Printer] |
String representation of a month.
|
month_of_int [Date] |
Inverse of
int_of_month .
|
mul [Time.Period] |
Multiplication.
|
N | |
name_of_day [Printer] | name_of_day d is equivalent to !day_name d .
|
name_of_month [Printer] | name_of_month m is equivalent to !day_month m .
|
nb_days [Date.Period] |
Number of days in a period.
|
next [Calendar] | |
next [Date] | next d f returns the date corresponding to the next specified field.\\
E.g next (make 2003 12 31) `Month returns the date 2004-1-31
(i.e.
|
next [Time] | next t f returns the time corresponding to the next specified field.
|
normalize [Time] | normalize t returns t such that hour t $\in 0; 23 $.
|
now [Calendar] | now () returns the current date and time (in the current time zone).
|
now [Time] |
The current time based on
Time_Zone.current () .
|
nth_weekday_of_month [Date] | nth_weekday_of_month y m d n returns the n -th day d in the month
m of the year y (for instance the 3rd Thursday of the month).
|
O | |
opp [Period.S] |
Opposite of a period.
|
P | |
palm [Date] |
Palm Sunday.
|
prev [Calendar] | |
prev [Date] | prev d f returns the date corresponding to the previous specified
field.
|
prev [Time] | prev t f returns the time corresponding to the previous specified
field.
|
print [Printer.S] | print format is equivalent to fprint format Format.std_formatter
|
R | |
rem [Calendar] | |
rem [Date] | rem d p is equivalent to add d (Period.opp p) .
|
rem [Time] | rem t p is equivalent to add t (Period.opp p) .
|
S | |
same_calendar [Date] |
Return
true if two years have the same calendar; false otherwise.
|
second [Calendar.Period] | |
second [Calendar] | |
second [Time.Period] | second n makes a period of n seconds.
|
second [Time] |
Second.
|
short_name_of_day [Printer] | short_name_of_day d returns the 3 first characters of name_of_day d .
|
short_name_of_month [Printer] | short_name_of_month d returns the 3 first characters of
name_of_month d .
|
solar_number [Date] |
Solar number.
|
sprint [Printer.S] | sprint format date converts date to a string according to format .
|
sub [Calendar] | |
sub [Date] | sub d1 d2 returns the period between d1 and d2 .
|
sub [Time] | sub t1 t2 returns the period between t1 and t2 .
|
sub [Period.S] |
Substraction of periods.
|
T | |
to_business [Date] |
Return the "business week" and the day in this week respecting ISO 8601.
|
to_date [Calendar.Period] |
Convert a calendar period to a date period.
|
to_date [Calendar] |
Convert a calendar to a date.
|
to_gmt [Calendar] | |
to_gmt [Time] | to_gmt t is equivalent to
convert t (Time_Zone.current ()) Time_Zone.GMT .
|
to_gmt [Time_Zone] | to_gmt () is equivalent to gap (current ()) UTC .
|
to_hours [Time.Period] |
Number of hours of a period.
|
to_hours [Time] |
Number of hours of a time.
|
to_jd [Calendar] | |
to_jd [Date] |
Julian day.
|
to_minutes [Time.Period] |
Number of minutes of a period.
|
to_minutes [Time] |
Number of minutes of a time.
|
to_mjd [Calendar] | |
to_mjd [Date] |
Modified Julian day (i.e.
|
to_seconds [Time.Period] |
Number of seconds of a period.
|
to_seconds [Time] |
Number of seconds of a time.
|
to_string [Printer.S] |
Same as
sprint d where d is the default format
(see the printer implementations).
|
to_time [Calendar.Period] |
Convert a calendar period to a date period.
|
to_time [Calendar] |
Convert a calendar to a time.
|
to_unixfloat [Calendar] |
Convert a calendar to a float such than
to_unixfloat (make 1970 1 1 0 0 0) returns 0.0 at UTC.
|
to_unixfloat [Date] |
Convert a date to a float such than
to_unixfloat (make 1970 1 1)
returns 0.0 .
|
to_unixtm [Calendar] |
Convert a calendar into the
unix.tm type.
|
to_unixtm [Date] |
Convert a date into the
Unix.tm type.
|
today [Date] |
Date of the current day (based on
Time_Zone.current () ).
|
W | |
week [Calendar.Period] | |
week [Calendar] | |
week [Date.Period] | week n makes a period of n weeks.
|
week [Date] |
Week.
|
week_first_last [Date] |
Return the first and last days of a week in a year.
|
weeks_in_year [Date] |
Number of weeks in a year.
|
withmonday [Date] |
Withmonday.
|
withsunday [Date] |
Withsunday.
|
Y | |
year [Calendar.Period] | |
year [Calendar] | |
year [Date.Period] | year n makes a period of n years.
|
year [Date] |
Year.
|
ymd [Date.Period] |
Number of years, months and days in a period.
|
ymds [Calendar.Period] |
Number of years, months, days and seconds in a period.
|