Index of values


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]
Comparaison 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.

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_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 lenght.
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.