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