diff options
Diffstat (limited to 'doc/Calendar_sig.S.html')
| -rw-r--r-- | doc/Calendar_sig.S.html | 63 |
1 files changed, 32 insertions, 31 deletions
diff --git a/doc/Calendar_sig.S.html b/doc/Calendar_sig.S.html index 2c99dc1..b13f721 100644 --- a/doc/Calendar_sig.S.html +++ b/doc/Calendar_sig.S.html @@ -34,15 +34,16 @@ <title>Calendar_sig.S</title> </head> <body> -<div class="navbar"> <a href="Calendar_sig.html">Up</a> +<div class="navbar"> <a class="up" href="Calendar_sig.html" title="Calendar_sig">Up</a> </div> -<center><h1>Module type <a href="type_Calendar_sig.S.html">Calendar_sig.S</a></h1></center> -<br> -<pre><span class="keyword">module type</span> S = <code class="code"><span class="keyword">sig</span></code> <a href="Calendar_sig.S.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>Common operations for all calendar representations.<br> +<h1>Module type <a href="type_Calendar_sig.S.html">Calendar_sig.S</a></h1> +<pre><span class="keyword">module type</span> S = <code class="code"><span class="keyword">sig</span></code> <a href="Calendar_sig.S.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info"> +Common operations for all calendar representations.<br> <b>Since</b> 2.0 (this signature was before inlined in interface of Calendar).<br> +</div> <hr width="100%"> <br> -<span id="2_Datatypes"><h2>Datatypes</h2></span><br> +<h2 id="2_Datatypes">Datatypes</h2><br> <pre><span class="keyword">module</span> <a href="Calendar_sig.S.Date.html">Date</a>: <code class="type"><a href="Date_sig.S.html">Date_sig.S</a></code><code class="type"> </code></pre><div class="info"> Date implementation used by this calendar. </div> @@ -56,49 +57,49 @@ Time implementation used by this calendar. <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Sun</span></code></td> +<code><span id="TYPEELTday.Sun"><span class="constructor">Sun</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Mon</span></code></td> +<code><span id="TYPEELTday.Mon"><span class="constructor">Mon</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Tue</span></code></td> +<code><span id="TYPEELTday.Tue"><span class="constructor">Tue</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Wed</span></code></td> +<code><span id="TYPEELTday.Wed"><span class="constructor">Wed</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Thu</span></code></td> +<code><span id="TYPEELTday.Thu"><span class="constructor">Thu</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Fri</span></code></td> +<code><span id="TYPEELTday.Fri"><span class="constructor">Fri</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Sat</span></code></td> +<code><span id="TYPEELTday.Sat"><span class="constructor">Sat</span></span></code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Days of the week.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr></table> @@ -108,84 +109,84 @@ Time implementation used by this calendar. <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Jan</span></code></td> +<code><span id="TYPEELTmonth.Jan"><span class="constructor">Jan</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Feb</span></code></td> +<code><span id="TYPEELTmonth.Feb"><span class="constructor">Feb</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Mar</span></code></td> +<code><span id="TYPEELTmonth.Mar"><span class="constructor">Mar</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Apr</span></code></td> +<code><span id="TYPEELTmonth.Apr"><span class="constructor">Apr</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">May</span></code></td> +<code><span id="TYPEELTmonth.May"><span class="constructor">May</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Jun</span></code></td> +<code><span id="TYPEELTmonth.Jun"><span class="constructor">Jun</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Jul</span></code></td> +<code><span id="TYPEELTmonth.Jul"><span class="constructor">Jul</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Aug</span></code></td> +<code><span id="TYPEELTmonth.Aug"><span class="constructor">Aug</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Sep</span></code></td> +<code><span id="TYPEELTmonth.Sep"><span class="constructor">Sep</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Oct</span></code></td> +<code><span id="TYPEELTmonth.Oct"><span class="constructor">Oct</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Nov</span></code></td> +<code><span id="TYPEELTmonth.Nov"><span class="constructor">Nov</span></span></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > -<code><span class="constructor">Dec</span></code></td> +<code><span id="TYPEELTmonth.Dec"><span class="constructor">Dec</span></span></code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Months of the year.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr></table> @@ -203,7 +204,7 @@ The different fields of a calendar.<br> </div> <br> -<span id="2_Constructors"><h2>Constructors</h2></span><br> +<h2 id="2_Constructors">Constructors</h2><br> <pre><span id="VALmake"><span class="keyword">val</span> make</span> : <code class="type">int -> int -> int -> int -> int -> <a href="Calendar_sig.S.html#TYPEsecond">second</a> -> <a href="Calendar_sig.S.html#TYPEt">t</a></code></pre><div class="info"> <code class="code">make year month day hour minute second</code> makes the calendar "year-month-day; hour-minute-second".<br> @@ -239,7 +240,7 @@ Return the Modified Julian day. It is <code class="code"><span class="constructor">Julian</span> day - 2 400 000.5</code> (more precise than <code class="code"><span class="constructor">Date</span>.from_mjd</code>).<br> </div> <br> -<span id="2_Conversions"><h2>Conversions</h2></span><br> +<h2 id="2_Conversions">Conversions</h2><br> <br> Those functions have the same behaviour as those defined in <a href="Time_sig.S.html"><code class="code"><span class="constructor">Time_sig</span>.<span class="constructor">S</span></code></a>.<br> @@ -253,7 +254,7 @@ Those functions have the same behaviour as those defined in <b>See also</b> <a href="Time_sig.S.html#VALfrom_gmt">Time_sig.S.from_gmt</a><br> </div> <br> -<span id="2_Getters"><h2>Getters</h2></span><br> +<h2 id="2_Getters">Getters</h2><br> <br> Those functions have the same behavious as those defined in <a href="Date_sig.S.html"><code class="code"><span class="constructor">Date_sig</span>.<span class="constructor">S</span></code></a>.<br> @@ -294,7 +295,7 @@ Those functions have the same behavious as those defined in <b>See also</b> <a href="Time_sig.S.html#VALsecond">Time_sig.S.second</a><br> </div> <br> -<span id="2_Calendarsarecomparable"><h2>Calendars are comparable</h2></span><br> +<h2 id="2_Calendarsarecomparable">Calendars are comparable</h2><br> <pre><span id="VALequal"><span class="keyword">val</span> equal</span> : <code class="type"><a href="Calendar_sig.S.html#TYPEt">t</a> -> <a href="Calendar_sig.S.html#TYPEt">t</a> -> bool</code></pre><div class="info"> Equality function between two calendars.<br> <b>See also</b> <a href="Utils.Comparable.html#VALequal">Utils.Comparable.equal.</a><br> @@ -330,7 +331,7 @@ Those functions have the same behavious as those defined in <b>See also</b> <a href="Time_sig.S.html#VALis_am">Time_sig.S.is_am</a><br> </div> <br> -<span id="2_Coercions"><h2>Coercions</h2></span><br> +<h2 id="2_Coercions">Coercions</h2><br> <pre><span id="VALto_unixtm"><span class="keyword">val</span> to_unixtm</span> : <code class="type"><a href="Calendar_sig.S.html#TYPEt">t</a> -> Unix.tm</code></pre><div class="info"> Convert a calendar into the <code class="code">unix.tm</code> type. The field <code class="code">isdst</code> is always <code class="code"><span class="keyword">false</span></code>. More precise than @@ -368,12 +369,12 @@ Convert a calendar to a time. Date part of the calendar is ignored.<br> <b>Since</b> 1.03<br> </div> <br> -<span id="2_Period"><h2>Period</h2></span><br> +<h2 id="2_Period">Period</h2><br> <pre><span class="keyword">module</span> <a href="Calendar_sig.S.Period.html">Period</a>: <code class="code"><span class="keyword">sig</span></code> <a href="Calendar_sig.S.Period.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info"> A period is the number of seconds between two calendars. </div> <br> -<span id="2_Arithmeticoperationsoncalendarsandperiods"><h2>Arithmetic operations on calendars and periods</h2></span><br> +<h2 id="2_Arithmeticoperationsoncalendarsandperiods">Arithmetic operations on calendars and periods</h2><br> <br> Those functions have the same behavious as those defined in <a href="Date_sig.S.html"><code class="code"><span class="constructor">Date_sig</span>.<span class="constructor">S</span></code></a>.<br> |