A | |
add [Calendar_sig.S.Period] |
Addition of periods.
|
add [Calendar_sig.S] | |
add [Date_sig.S] | add d p returns d + p .
|
add [Time_sig.S] | app t p returns t + p .
|
add [Period.S] |
Addition of periods.
|
ascension [Date_sig.S] |
Ascension.
|
ash [Date_sig.S] |
Ash Wednesday.
|
C | |
carnaval [Date_sig.S] |
Carnaval Monday.
|
century [Date_sig.S] |
Century of a year.
|
change [Time_Zone] |
Change the current time zone by another one.
|
compare [Calendar_sig.S.Period] |
Comparison function between two periods.
|
compare [Calendar_sig.S] |
Comparison function between two calendars.
|
compare [Date_sig.S] |
Comparison function between two dates.
|
compare [Time_sig.S] |
Comparison function between two times.
|
compare [Period.S] |
Comparison function between two periods.
|
compare [Utils.Comparable] |
Comparison over
t .
|
convert [Calendar_sig.S] | |
convert [Time_sig.S] | convert t t1 t2 converts the time t expressed in the time zone t1
to the same time expressed in the time zone t2 .
|
corpus_christi [Date_sig.S] |
Feast of Corpus Christi.
|
create [Calendar_sig.S] | create d t creates a calendar from the given date and time.
|
current [Time_Zone] |
Return the current time zone.
|
D | |
date [Version] |
Date of compilation.
|
day [Calendar_sig.S.Period] | |
day [Date_sig.S.Period] | day n makes a period of n days.
|
day_name [Printer] |
String representation of a day.
|
day_of_int [Date_sig.S] |
Inverse of
int_of_day .
|
day_of_month [Calendar_sig.S] | |
day_of_month [Date_sig.S] |
Day of the month.
|
day_of_week [Calendar_sig.S] | |
day_of_week [Date_sig.S] |
Day of the week.
|
day_of_year [Calendar_sig.S] | |
day_of_year [Date_sig.S] |
Day of the year.
|
days_in_month [Calendar_sig.S] | |
days_in_month [Date_sig.S] |
Number of days in the month of a date.
|
days_in_year [Date_sig.S] |
Number of days in a year.
|
div [Time_sig.S.Period] |
Division.
|
dprint [Printer.S] |
Same as
print d where d is the default format
(see the printer implementations).
|
E | |
easter [Date_sig.S] |
Easter Sunday.
|
easter_friday [Date_sig.S] |
Easter Friday.
|
easter_monday [Date_sig.S] |
Easter Monday.
|
easter_saturday [Date_sig.S] |
Easter Saturday.
|
empty [Calendar_sig.S.Period] |
The empty period.
|
empty [Period.S] |
The empty period.
|
epact [Date_sig.S] |
Epact.
|
equal [Calendar_sig.S.Period] |
Equality function between two periods.
|
equal [Calendar_sig.S] |
Equality function between two calendars.
|
equal [Date_sig.S] |
Equality function between two dates.
|
equal [Time_sig.S] |
Equality function between two times.
|
equal [Period.S] |
Equality function between two periods.
|
equal [Utils.Comparable] |
Equality over
t .
|
F | |
fprint [Printer.S] | fprint format formatter x outputs x on formatter according to
the specified format .
|
from_business [Date_sig.S] |
Inverse of
to_business respecting ISO-8601.
|
from_date [Calendar_sig.S.Period] |
Convert a date period to a calendar period.
|
from_date [Calendar_sig.S] |
Convert a date to a calendar.
|
from_day_of_year [Date_sig.S] |
Make a date from a year and its day of the year.
|
from_float [Time_sig.Second] |
Convert a float to an equivalent number of seconds.
|
from_fstring [Printer.S] | from_fstring format s converts s to a date according to format .
|
from_gmt [Calendar_sig.S] | |
from_gmt [Time_sig.S] | 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_sig.S] |
Inverse of
to_hours .
|
from_int [Time_sig.Second] |
Convert an integer to an equivalent number of seconds.
|
from_jd [Calendar_sig.S] |
Return the Julian day.
|
from_jd [Date_sig.S] |
Make a date from its Julian day.
|
from_minutes [Time_sig.S] |
Inverse of
to_minutes .
|
from_mjd [Calendar_sig.S] |
Return the Modified Julian day.
|
from_mjd [Date_sig.S] |
Make a date from its modified Julian day (i.e.
|
from_seconds [Time_sig.S] |
Inverse of
to_seconds .
|
from_string [Printer.S] |
Same as
from_fstring d where d is the default format.
|
from_time [Calendar_sig.S.Period] |
Convert a time period to a calendar period.
|
from_unixfloat [Calendar_sig.S] |
Inverse of
to_unixfloat .
|
from_unixfloat [Date_sig.S] |
Inverse of
to_unixfloat .
|
from_unixtm [Calendar_sig.S] |
Inverse of
to_unixtm .
|
from_unixtm [Date_sig.S] |
Inverse of
to_unixtm .
|
G | |
gap [Time_Zone] |
Return the gap between two time zone.
|
golden_number [Date_sig.S] |
Golden number.
|
H | |
hash [Calendar_sig.S.Period] |
Hash function for periods.
|
hash [Calendar_sig.S] |
Hash function for calendars.
|
hash [Date_sig.S] |
Hash function for dates.
|
hash [Time_sig.S] |
Hash function for times.
|
hash [Period.S] |
Hash function for periods.
|
hash [Utils.Comparable] |
A hash function over
t .
|
hour [Calendar_sig.S.Period] | |
hour [Calendar_sig.S] | |
hour [Time_sig.S.Period] | hour n makes a period of n hours.
|
hour [Time_sig.S] |
Hour.
|
hour_of_dst [Time_Zone] | hour_of_dst () returns 1 if is_dst () and 0 otherwise.
|
I | |
indiction [Date_sig.S] |
Indiction.
|
int_of_day [Date_sig.S] |
Convert a day to an integer respecting ISO-8601.
|
int_of_month [Date_sig.S] |
Convert a month to an integer respecting ISO-8601.
|
is_am [Calendar_sig.S] | |
is_am [Time_sig.S] |
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_sig.S] | |
is_gregorian [Date_sig.S] |
Return
true if a date belongs to the Gregorian calendar;
false otherwise.
|
is_julian [Calendar_sig.S] | |
is_julian [Date_sig.S] |
Return
true iff a date belongs to the Julian calendar;
false otherwise.
|
is_leap_day [Calendar_sig.S] | |
is_leap_day [Date_sig.S] |
Return
true if a date is a leap day
(i.e.
|
is_leap_year [Date_sig.S] |
Return
true if a year is a leap year; false otherwise.
|
is_pm [Calendar_sig.S] | |
is_pm [Time_sig.S] |
Return
true is the time is before midday in the current time zone;
false otherwise.
|
is_valid_date [Date_sig.S] |
Check if a date is valid, that is the date has not been coerced to look
like a real date.
|
L | |
length [Time_sig.S.Period] |
Number of seconds of a period.
|
lmake [Calendar_sig.S.Period] |
Labelled version of
make .
|
lmake [Calendar_sig.S] |
Labelled version of
make .
|
lmake [Date_sig.S.Period] |
Labelled version of
make .
|
lmake [Date_sig.S] |
Labelled version of
make .
|
lmake [Time_sig.S.Period] |
Labelled version of
make .
|
lmake [Time_sig.S] |
Labelled version of
make .
|
M | |
make [Calendar_sig.S.Period] | make year month day hour minute second makes a period of the
specified length.
|
make [Calendar_sig.S] | make year month day hour minute second makes the calendar
"year-month-day; hour-minute-second".
|
make [Date_sig.S.Period] | make year month day makes a period of the specified length.
|
make [Date_sig.S] | make year month day makes the date year-month-day.
|
make [Time_sig.S.Period] | make hour minute second makes a period of the specified length.
|
make [Time_sig.S] | make hour minute second makes the time hour-minute-second.
|
make_year [Date_sig.S] | make_year y makes a date only represented by its year y .
|
make_year_month [Date_sig.S] | make_year_month y m makes a date only represented by its year y and
its month m .
|
mardi_gras [Date_sig.S] |
Mardi Gras.
|
midday [Time_sig.S] | midday () is midday (expressed in the current time zone).
|
midnight [Time_sig.S] | midnight () is midnight (expressed in the current time zone).
|
millenium [Date_sig.S] |
Millenium of a year.
|
minute [Calendar_sig.S.Period] | |
minute [Calendar_sig.S] | |
minute [Time_sig.S.Period] | minute n makes a period of n minutes.
|
minute [Time_sig.S] |
Minute.
|
month [Calendar_sig.S.Period] | |
month [Calendar_sig.S] | |
month [Date_sig.S.Period] | month n makes a period of n months.
|
month [Date_sig.S] |
Month.
|
month_name [Printer] |
String representation of a month.
|
month_of_int [Date_sig.S] |
Inverse of
int_of_month .
|
mul [Time_sig.S.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_sig.S.Period] |
Number of days in a period.
|
next [Calendar_sig.S] | |
next [Date_sig.S] | next d f returns the date corresponding to the next specified field.
|
next [Time_sig.S] | next t f returns the time corresponding to the next specified field.
|
normalize [Time_sig.S] | normalize t returns t such that hour t belongs to [0; 24[ .
|
now [Calendar_sig.S] | now () returns the current date and time (in the current time
zone).
|
now [Time_sig.S] |
The current time based on
Time_Zone.current () .
|
nth_weekday_of_month [Date_sig.S] | 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 | |
on [Time_Zone] | on f tz x changes the time zone to tz , then computes f x , and
finally reset the time zone to the initial one and returns the result of
the computation.
|
opp [Calendar_sig.S.Period] |
Opposite of a period.
|
opp [Period.S] |
Opposite of a period.
|
P | |
palm [Date_sig.S] |
Palm Sunday.
|
precise_sub [Calendar_sig.S] | |
precise_sub [Date_sig.S] | precise_sub d1 d2 returns the period between d1 and d2 .
|
prev [Calendar_sig.S] | |
prev [Date_sig.S] | prev d f returns the date corresponding to the previous specified
field.
|
prev [Time_sig.S] | 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_sig.S] | |
rem [Date_sig.S] | rem d p is equivalent to add d (Period.opp p) .
|
rem [Time_sig.S] | rem t p is equivalent to add t (Period.opp p) .
|
round [Utils.Float] |
Round a float to the nearest integer.
|
S | |
safe_nb_days [Date_sig.S.Period] |
Equivalent to
Date_sig.S.Period.nb_days but never raises any exception.
|
safe_to_time [Calendar_sig.S.Period] |
Equivalent to
Calendar_sig.S.Period.to_time but never raises any exception.
|
same_calendar [Date_sig.S] |
Return
true if two years have the same calendar; false
otherwise.
|
second [Calendar_sig.S.Period] | |
second [Calendar_sig.S] | |
second [Time_sig.S.Period] | second n makes a period of n seconds.
|
second [Time_sig.S] |
Second.
|
set_precision [Utils.Float] |
Set the precision of
equal and compare for float.
|
set_word_regexp [Printer] |
Set the regular expression used to recognize words in
from_fstring .
|
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_sig.S] |
Solar number.
|
sprint [Printer.S] | sprint format date converts date to a string according to
format .
|
sub [Calendar_sig.S.Period] |
Substraction of periods.
|
sub [Calendar_sig.S] | |
sub [Date_sig.S] | sub d1 d2 returns the period between d1 and d2 .
|
sub [Time_sig.S] | sub t1 t2 returns the period between t1 and t2 .
|
sub [Period.S] |
Substraction of periods.
|
T | |
to_business [Date_sig.S] |
Return the "business week" and the day in this week respecting ISO 8601.
|
to_date [Calendar_sig.S.Period] |
Convert a calendar period to a date period.
|
to_date [Calendar_sig.S] |
Convert a calendar to a date.
|
to_float [Time_sig.Second] |
Inverse of
from_float .
|
to_gmt [Calendar_sig.S] | |
to_gmt [Time_sig.S] | 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_sig.S.Period] |
Number of hours of a period.
|
to_hours [Time_sig.S] |
Number of hours of a time.
|
to_int [Time_sig.Second] |
Inverse of
from_int .
|
to_jd [Calendar_sig.S] | |
to_jd [Date_sig.S] |
Julian day.
|
to_minutes [Time_sig.S.Period] |
Number of minutes of a period.
|
to_minutes [Time_sig.S] |
Number of minutes of a time.
|
to_mjd [Calendar_sig.S] | |
to_mjd [Date_sig.S] |
Modified Julian day (i.e.
|
to_seconds [Time_sig.S.Period] |
Number of seconds of a period.
|
to_seconds [Time_sig.S] |
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_sig.S.Period] |
Convert a calendar period to a date period.
|
to_time [Calendar_sig.S] |
Convert a calendar to a time.
|
to_unixfloat [Calendar_sig.S] |
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_sig.S] |
Convert a date to a float such than
to_unixfloat (make 1970 1 1)
returns 0.0 .
|
to_unixtm [Calendar_sig.S] |
Convert a calendar into the
unix.tm type.
|
to_unixtm [Date_sig.S] |
Convert a date into the
Unix.tm type.
|
today [Date_sig.S] |
Date of the current day (based on
Time_Zone.current () ).
|
V | |
version [Version] |
Name of this version.
|
W | |
week [Calendar_sig.S.Period] | |
week [Calendar_sig.S] | |
week [Date_sig.S.Period] | week n makes a period of n weeks.
|
week [Date_sig.S] |
Week.
|
week_first_last [Date_sig.S] |
Return the first and last days of a week in a year.
|
weeks_in_year [Date_sig.S] |
Number of weeks in a year.
|
withmonday [Date_sig.S] |
Withmonday.
|
withsunday [Date_sig.S] |
Withsunday.
|
Y | |
year [Calendar_sig.S.Period] | |
year [Calendar_sig.S] | |
year [Date_sig.S.Period] | year n makes a period of n years.
|
year [Date_sig.S] |
Year.
|
ymd [Date_sig.S.Period] |
Number of years, months and days in a period.
|
ymds [Calendar_sig.S.Period] |
Number of years, months, days and seconds in a period.
|