diff options
Diffstat (limited to 'doc/type_Fcalendar.Precise.html')
-rw-r--r-- | doc/type_Fcalendar.Precise.html | 330 |
1 files changed, 0 insertions, 330 deletions
diff --git a/doc/type_Fcalendar.Precise.html b/doc/type_Fcalendar.Precise.html deleted file mode 100644 index 5783696..0000000 --- a/doc/type_Fcalendar.Precise.html +++ /dev/null @@ -1,330 +0,0 @@ -<html><head> -<link rel="stylesheet" href="style.css" type="text/css"> -<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> -<link rel="Start" href="index.html"> -<link title="Index of types" rel=Appendix href="index_types.html"> -<link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> -<link title="Index of values" rel=Appendix href="index_values.html"> -<link title="Index of modules" rel=Appendix href="index_modules.html"> -<link title="Index of module types" rel=Appendix href="index_module_types.html"> -<link title="Utils" rel="Chapter" href="Utils.html"> -<link title="Time_Zone" rel="Chapter" href="Time_Zone.html"> -<link title="Period" rel="Chapter" href="Period.html"> -<link title="Time_sig" rel="Chapter" href="Time_sig.html"> -<link title="Time" rel="Chapter" href="Time.html"> -<link title="Ftime" rel="Chapter" href="Ftime.html"> -<link title="Date_sig" rel="Chapter" href="Date_sig.html"> -<link title="Date" rel="Chapter" href="Date.html"> -<link title="Calendar_sig" rel="Chapter" href="Calendar_sig.html"> -<link title="Calendar_builder" rel="Chapter" href="Calendar_builder.html"> -<link title="Calendar" rel="Chapter" href="Calendar.html"> -<link title="Fcalendar" rel="Chapter" href="Fcalendar.html"> -<link title="Printer" rel="Chapter" href="Printer.html"> -<link title="Version" rel="Chapter" href="Version.html"><title>Fcalendar.Precise</title> -</head> -<body> -<code class="code"><span class="keyword">sig</span><br> - <span class="keyword">module</span> <span class="constructor">Date</span> :<br> - <span class="keyword">sig</span><br> - <span class="keyword">type</span> field = <span class="constructor">Period</span>.date_field<br> - <span class="keyword">type</span> -<span class="keywordsign">'</span>a date = <span class="keywordsign">'</span>a <span class="constructor">Date</span>.date <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = [< field ]<br> - <span class="keyword">type</span> t = field date<br> - <span class="keyword">type</span> day = <span class="constructor">Date</span>.day = <span class="constructor">Sun</span> <span class="keywordsign">|</span> <span class="constructor">Mon</span> <span class="keywordsign">|</span> <span class="constructor">Tue</span> <span class="keywordsign">|</span> <span class="constructor">Wed</span> <span class="keywordsign">|</span> <span class="constructor">Thu</span> <span class="keywordsign">|</span> <span class="constructor">Fri</span> <span class="keywordsign">|</span> <span class="constructor">Sat</span><br> - <span class="keyword">type</span> month =<br> - <span class="constructor">Date</span>.month =<br> - <span class="constructor">Jan</span><br> - <span class="keywordsign">|</span> <span class="constructor">Feb</span><br> - <span class="keywordsign">|</span> <span class="constructor">Mar</span><br> - <span class="keywordsign">|</span> <span class="constructor">Apr</span><br> - <span class="keywordsign">|</span> <span class="constructor">May</span><br> - <span class="keywordsign">|</span> <span class="constructor">Jun</span><br> - <span class="keywordsign">|</span> <span class="constructor">Jul</span><br> - <span class="keywordsign">|</span> <span class="constructor">Aug</span><br> - <span class="keywordsign">|</span> <span class="constructor">Sep</span><br> - <span class="keywordsign">|</span> <span class="constructor">Oct</span><br> - <span class="keywordsign">|</span> <span class="constructor">Nov</span><br> - <span class="keywordsign">|</span> <span class="constructor">Dec</span><br> - <span class="keyword">type</span> year = int<br> - <span class="keyword">exception</span> <span class="constructor">Out_of_bounds</span><br> - <span class="keyword">exception</span> <span class="constructor">Undefined</span><br> - <span class="keyword">val</span> make : year <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> lmake : year:year <span class="keywordsign">-></span> ?month:int <span class="keywordsign">-></span> ?day:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> make_year : int <span class="keywordsign">-></span> [< <span class="keywordsign">`</span><span class="constructor">Year</span> ] date<br> - <span class="keyword">val</span> make_year_month : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> [< <span class="keywordsign">`</span><span class="constructor">Month</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Year</span> ] date<br> - <span class="keyword">val</span> today : unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_jd : int <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_mjd : int <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_day_of_year : year <span class="keywordsign">-></span> int <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> days_in_month : [< field > <span class="keywordsign">`</span><span class="constructor">Month</span> <span class="keywordsign">`</span><span class="constructor">Year</span> ] date <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> day_of_week : t <span class="keywordsign">-></span> day<br> - <span class="keyword">val</span> day_of_month : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> day_of_year : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> week : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> month : [< field > <span class="keywordsign">`</span><span class="constructor">Month</span> ] date <span class="keywordsign">-></span> month<br> - <span class="keyword">val</span> year : [< field > <span class="keywordsign">`</span><span class="constructor">Year</span> ] date <span class="keywordsign">-></span> year<br> - <span class="keyword">val</span> to_jd : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> to_mjd : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> equal : [< field ] date <span class="keywordsign">-></span> [< field ] date <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> compare : [< field ] date <span class="keywordsign">-></span> [< field ] date <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> hash : [< field ] date <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> is_valid_date : year <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> is_leap_day : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> is_gregorian : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> is_julian : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> to_unixtm : t <span class="keywordsign">-></span> <span class="constructor">Unix</span>.tm<br> - <span class="keyword">val</span> from_unixtm : <span class="constructor">Unix</span>.tm <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> to_unixfloat : t <span class="keywordsign">-></span> float<br> - <span class="keyword">val</span> from_unixfloat : float <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> to_business : t <span class="keywordsign">-></span> year * int * day<br> - <span class="keyword">val</span> from_business : year <span class="keywordsign">-></span> int <span class="keywordsign">-></span> day <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> int_of_day : day <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> day_of_int : int <span class="keywordsign">-></span> day<br> - <span class="keyword">val</span> int_of_month : month <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> month_of_int : int <span class="keywordsign">-></span> month<br> - <span class="keyword">module</span> <span class="constructor">Period</span> :<br> - <span class="keyword">sig</span><br> - <span class="keyword">type</span> +<span class="keywordsign">'</span>a p = <span class="keywordsign">'</span>a <span class="constructor">Date</span>.<span class="constructor">Period</span>.p <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = [< field ]<br> - <span class="keyword">type</span> +<span class="keywordsign">'</span>a period = <span class="keywordsign">'</span>a p <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = [< field ]<br> - <span class="keyword">type</span> t = <span class="constructor">Period</span>.date_field period<br> - <span class="keyword">val</span> empty : [< <span class="constructor">Period</span>.date_field ] period<br> - <span class="keyword">val</span> add :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> sub :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> opp : ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> equal :<br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span><br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> compare :<br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span><br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> hash : [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> make : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> lmake : ?year:int <span class="keywordsign">-></span> ?month:int <span class="keywordsign">-></span> ?day:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> year : int <span class="keywordsign">-></span> [< field > <span class="keywordsign">`</span><span class="constructor">Year</span> ] period<br> - <span class="keyword">val</span> month : int <span class="keywordsign">-></span> [< field > <span class="keywordsign">`</span><span class="constructor">Month</span> <span class="keywordsign">`</span><span class="constructor">Year</span> ] period<br> - <span class="keyword">val</span> week : int <span class="keywordsign">-></span> [< field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] period<br> - <span class="keyword">val</span> day : int <span class="keywordsign">-></span> [< field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] period<br> - <span class="keyword">exception</span> <span class="constructor">Not_computable</span><br> - <span class="keyword">val</span> nb_days : [< field ] period <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> safe_nb_days : [< <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] period <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> ymd : [< field ] period <span class="keywordsign">-></span> int * int * int<br> - <span class="keyword">end</span><br> - <span class="keyword">val</span> add : ([< field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) date <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Period</span>.period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a date<br> - <span class="keyword">val</span> sub :<br> - ([< field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) date <span class="keywordsign">-></span><br> - <span class="keywordsign">'</span>a date <span class="keywordsign">-></span> [< field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] <span class="constructor">Period</span>.period<br> - <span class="keyword">val</span> precise_sub : ([< field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) date <span class="keywordsign">-></span> <span class="keywordsign">'</span>a date <span class="keywordsign">-></span> <span class="constructor">Period</span>.t<br> - <span class="keyword">val</span> rem : ([< field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) date <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Period</span>.period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a date<br> - <span class="keyword">val</span> next : ([< field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) date <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a date<br> - <span class="keyword">val</span> prev : ([< field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) date <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a date<br> - <span class="keyword">val</span> is_leap_year : year <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> same_calendar : year <span class="keywordsign">-></span> year <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> days_in_year : ?month:month <span class="keywordsign">-></span> year <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> weeks_in_year : year <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> week_first_last : int <span class="keywordsign">-></span> year <span class="keywordsign">-></span> t * t<br> - <span class="keyword">val</span> nth_weekday_of_month : year <span class="keywordsign">-></span> month <span class="keywordsign">-></span> day <span class="keywordsign">-></span> int <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> century : year <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> millenium : year <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> solar_number : year <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> indiction : year <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> golden_number : year <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> epact : year <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> easter : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> carnaval : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> mardi_gras : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> ash : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> palm : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> easter_friday : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> easter_saturday : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> easter_monday : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> ascension : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> withsunday : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> withmonday : year <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> corpus_christi : year <span class="keywordsign">-></span> t<br> - <span class="keyword">end</span><br> - <span class="keyword">module</span> <span class="constructor">Time</span> :<br> - <span class="keyword">sig</span><br> - <span class="keyword">type</span> t = <span class="constructor">Ftime</span>.t<br> - <span class="keyword">type</span> field = [ <span class="keywordsign">`</span><span class="constructor">Hour</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Minute</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Second</span> ]<br> - <span class="keyword">type</span> second = float<br> - <span class="keyword">module</span> <span class="constructor">Second</span> :<br> - <span class="keyword">sig</span><br> - <span class="keyword">type</span> t = second<br> - <span class="keyword">val</span> from_int : int <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_float : float <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> to_int : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> to_float : t <span class="keywordsign">-></span> float<br> - <span class="keyword">end</span><br> - <span class="keyword">val</span> make : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> second <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> lmake : ?hour:int <span class="keywordsign">-></span> ?minute:int <span class="keywordsign">-></span> ?second:second <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> now : unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> midnight : unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> midday : unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> convert : t <span class="keywordsign">-></span> <span class="constructor">Time_Zone</span>.t <span class="keywordsign">-></span> <span class="constructor">Time_Zone</span>.t <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_gmt : t <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> to_gmt : t <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> normalize : t <span class="keywordsign">-></span> t * int<br> - <span class="keyword">val</span> hour : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> minute : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> second : t <span class="keywordsign">-></span> second<br> - <span class="keyword">val</span> to_seconds : t <span class="keywordsign">-></span> second<br> - <span class="keyword">val</span> to_minutes : t <span class="keywordsign">-></span> float<br> - <span class="keyword">val</span> to_hours : t <span class="keywordsign">-></span> float<br> - <span class="keyword">val</span> equal : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> compare : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> hash : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> is_pm : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> is_am : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> from_seconds : second <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_minutes : float <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_hours : float <span class="keywordsign">-></span> t<br> - <span class="keyword">module</span> <span class="constructor">Period</span> :<br> - <span class="keyword">sig</span><br> - <span class="keyword">type</span> +<span class="keywordsign">'</span>a period = <span class="keywordsign">'</span>a <span class="constructor">Ftime</span>.<span class="constructor">Period</span>.period<br> - <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = [< <span class="constructor">Period</span>.date_field ]<br> - <span class="keyword">type</span> t = <span class="constructor">Period</span>.date_field period<br> - <span class="keyword">val</span> empty : [< <span class="constructor">Period</span>.date_field ] period<br> - <span class="keyword">val</span> add :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> sub :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> opp : ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> equal :<br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span><br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> compare :<br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span><br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> hash : [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> length : [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> second<br> - <span class="keyword">val</span> mul :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> div :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> make : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> second <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] period<br> - <span class="keyword">val</span> lmake :<br> - ?hour:int <span class="keywordsign">-></span><br> - ?minute:int <span class="keywordsign">-></span><br> - ?second:second <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] period<br> - <span class="keyword">val</span> hour : int <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] period<br> - <span class="keyword">val</span> minute : int <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] period<br> - <span class="keyword">val</span> second : second <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] period<br> - <span class="keyword">val</span> to_seconds : [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> second<br> - <span class="keyword">val</span> to_minutes : [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> float<br> - <span class="keyword">val</span> to_hours : [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> float<br> - <span class="keyword">end</span><br> - <span class="keyword">val</span> add : t <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] <span class="constructor">Period</span>.period <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> sub : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] <span class="constructor">Period</span>.period<br> - <span class="keyword">val</span> rem : t <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] <span class="constructor">Period</span>.period <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> next : t <span class="keywordsign">-></span> field <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> prev : t <span class="keywordsign">-></span> field <span class="keywordsign">-></span> t<br> - <span class="keyword">end</span><br> - <span class="keyword">type</span> t<br> - <span class="keyword">type</span> day = <span class="constructor">Date</span>.day = <span class="constructor">Sun</span> <span class="keywordsign">|</span> <span class="constructor">Mon</span> <span class="keywordsign">|</span> <span class="constructor">Tue</span> <span class="keywordsign">|</span> <span class="constructor">Wed</span> <span class="keywordsign">|</span> <span class="constructor">Thu</span> <span class="keywordsign">|</span> <span class="constructor">Fri</span> <span class="keywordsign">|</span> <span class="constructor">Sat</span><br> - <span class="keyword">type</span> month =<br> - <span class="constructor">Date</span>.month =<br> - <span class="constructor">Jan</span><br> - <span class="keywordsign">|</span> <span class="constructor">Feb</span><br> - <span class="keywordsign">|</span> <span class="constructor">Mar</span><br> - <span class="keywordsign">|</span> <span class="constructor">Apr</span><br> - <span class="keywordsign">|</span> <span class="constructor">May</span><br> - <span class="keywordsign">|</span> <span class="constructor">Jun</span><br> - <span class="keywordsign">|</span> <span class="constructor">Jul</span><br> - <span class="keywordsign">|</span> <span class="constructor">Aug</span><br> - <span class="keywordsign">|</span> <span class="constructor">Sep</span><br> - <span class="keywordsign">|</span> <span class="constructor">Oct</span><br> - <span class="keywordsign">|</span> <span class="constructor">Nov</span><br> - <span class="keywordsign">|</span> <span class="constructor">Dec</span><br> - <span class="keyword">type</span> year = <span class="constructor">Date</span>.year<br> - <span class="keyword">type</span> second = <span class="constructor">Time</span>.second<br> - <span class="keyword">type</span> field = [ <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Hour</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Minute</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Month</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Second</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Week</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Year</span> ]<br> - <span class="keyword">val</span> make : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> second <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> lmake :<br> - year:int <span class="keywordsign">-></span><br> - ?month:int <span class="keywordsign">-></span><br> - ?day:int <span class="keywordsign">-></span> ?hour:int <span class="keywordsign">-></span> ?minute:int <span class="keywordsign">-></span> ?second:second <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> create : <span class="constructor">Date</span>.t <span class="keywordsign">-></span> <span class="constructor">Time</span>.t <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> now : unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_jd : float <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_mjd : float <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> convert : t <span class="keywordsign">-></span> <span class="constructor">Time_Zone</span>.t <span class="keywordsign">-></span> <span class="constructor">Time_Zone</span>.t <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> to_gmt : t <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_gmt : t <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> days_in_month : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> day_of_week : t <span class="keywordsign">-></span> day<br> - <span class="keyword">val</span> day_of_month : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> day_of_year : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> week : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> month : t <span class="keywordsign">-></span> month<br> - <span class="keyword">val</span> year : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> to_jd : t <span class="keywordsign">-></span> float<br> - <span class="keyword">val</span> to_mjd : t <span class="keywordsign">-></span> float<br> - <span class="keyword">val</span> hour : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> minute : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> second : t <span class="keywordsign">-></span> second<br> - <span class="keyword">val</span> equal : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> compare : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> hash : t <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> is_leap_day : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> is_gregorian : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> is_julian : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> is_pm : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> is_am : t <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> to_unixtm : t <span class="keywordsign">-></span> <span class="constructor">Unix</span>.tm<br> - <span class="keyword">val</span> from_unixtm : <span class="constructor">Unix</span>.tm <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> to_unixfloat : t <span class="keywordsign">-></span> float<br> - <span class="keyword">val</span> from_unixfloat : float <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> from_date : <span class="constructor">Date</span>.t <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> to_date : t <span class="keywordsign">-></span> <span class="constructor">Date</span>.t<br> - <span class="keyword">val</span> to_time : t <span class="keywordsign">-></span> <span class="constructor">Time</span>.t<br> - <span class="keyword">module</span> <span class="constructor">Period</span> :<br> - <span class="keyword">sig</span><br> - <span class="keyword">type</span> +<span class="keywordsign">'</span>a period <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = [< <span class="constructor">Period</span>.date_field ]<br> - <span class="keyword">type</span> t = <span class="constructor">Period</span>.date_field period<br> - <span class="keyword">val</span> empty : [< <span class="constructor">Period</span>.date_field ] period<br> - <span class="keyword">val</span> add :<br> - ([< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span><br> - <span class="keywordsign">'</span>a period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> sub :<br> - ([< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span><br> - <span class="keywordsign">'</span>a period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> opp :<br> - ([< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> equal :<br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span><br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> bool<br> - <span class="keyword">val</span> compare :<br> - [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> hash : [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> int<br> - <span class="keyword">val</span> make : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> second <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> lmake :<br> - ?year:int <span class="keywordsign">-></span><br> - ?month:int <span class="keywordsign">-></span><br> - ?day:int <span class="keywordsign">-></span> ?hour:int <span class="keywordsign">-></span> ?minute:int <span class="keywordsign">-></span> ?second:second <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> year : int <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Year</span> ] period<br> - <span class="keyword">val</span> month : int <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Month</span> <span class="keywordsign">`</span><span class="constructor">Year</span> ] period<br> - <span class="keyword">val</span> week : int <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] period<br> - <span class="keyword">val</span> day : int <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] period<br> - <span class="keyword">val</span> hour : int <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] period<br> - <span class="keyword">val</span> minute : int <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] period<br> - <span class="keyword">val</span> second : second <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] period<br> - <span class="keyword">val</span> from_date :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Date</span>.<span class="constructor">Period</span>.period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> from_time :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Time</span>.<span class="constructor">Period</span>.period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a period<br> - <span class="keyword">val</span> to_date : ([< <span class="constructor">Date</span>.field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Date</span>.<span class="constructor">Period</span>.period<br> - <span class="keyword">exception</span> <span class="constructor">Not_computable</span><br> - <span class="keyword">val</span> to_time :<br> - ([< <span class="constructor">Period</span>.date_field ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Time</span>.<span class="constructor">Period</span>.period<br> - <span class="keyword">val</span> safe_to_time :<br> - ([< <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) period <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Time</span>.<span class="constructor">Period</span>.period<br> - <span class="keyword">val</span> ymds : [< <span class="constructor">Period</span>.date_field ] period <span class="keywordsign">-></span> int * int * int * second<br> - <span class="keyword">end</span><br> - <span class="keyword">val</span> add : t <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] <span class="constructor">Period</span>.period <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> sub : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field > <span class="keywordsign">`</span><span class="constructor">Day</span> <span class="keywordsign">`</span><span class="constructor">Week</span> ] <span class="constructor">Period</span>.period<br> - <span class="keyword">val</span> precise_sub : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> <span class="constructor">Period</span>.t<br> - <span class="keyword">val</span> rem : t <span class="keywordsign">-></span> [< <span class="constructor">Period</span>.date_field ] <span class="constructor">Period</span>.period <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> next : t <span class="keywordsign">-></span> field <span class="keywordsign">-></span> t<br> - <span class="keyword">val</span> prev : t <span class="keywordsign">-></span> field <span class="keywordsign">-></span> t<br> -<span class="keyword">end</span></code></body></html>
\ No newline at end of file |