summaryrefslogtreecommitdiff
path: root/doc/Time_sig.S.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/Time_sig.S.html')
-rw-r--r--doc/Time_sig.S.html31
1 files changed, 16 insertions, 15 deletions
diff --git a/doc/Time_sig.S.html b/doc/Time_sig.S.html
index d9f61cb..095d034 100644
--- a/doc/Time_sig.S.html
+++ b/doc/Time_sig.S.html
@@ -37,16 +37,17 @@
<title>Time_sig.S</title>
</head>
<body>
-<div class="navbar"><a href="Time_sig.Second.html">Previous</a>
-&nbsp;<a href="Time_sig.html">Up</a>
+<div class="navbar"><a class="pre" href="Time_sig.Second.html" title="Time_sig.Second">Previous</a>
+&nbsp;<a class="up" href="Time_sig.html" title="Time_sig">Up</a>
&nbsp;</div>
-<center><h1>Module type <a href="type_Time_sig.S.html">Time_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="Time_sig.S.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>Common operations for all time representations.<br>
+<h1>Module type <a href="type_Time_sig.S.html">Time_sig.S</a></h1>
+<pre><span class="keyword">module type</span> S = <code class="code"><span class="keyword">sig</span></code> <a href="Time_sig.S.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info">
+Common operations for all time representations.<br>
<b>Since</b> 2.0 (this signature was before inlined in interface of Time).<br>
+</div>
<hr width="100%">
<br>
-<span id="2_Datatypes"><h2>Datatypes</h2></span><br>
+<h2 id="2_Datatypes">Datatypes</h2><br>
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info">
Type of a time.<br>
@@ -58,7 +59,7 @@ The different fields of a time.<br>
</div>
<br>
-<span id="2_Second"><h2>Second</h2></span><br>
+<h2 id="2_Second">Second</h2><br>
<pre><span id="TYPEsecond"><span class="keyword">type</span> <code class="type"></code>second</span> </pre>
<div class="info">
Type of a second.<br>
@@ -69,7 +70,7 @@ Type of a second.<br>
Second implementation
</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 -> <a href="Time_sig.S.html#TYPEsecond">second</a> -> <a href="Time_sig.S.html#TYPEt">t</a></code></pre><div class="info">
<code class="code">make hour minute second</code> makes the time hour-minute-second.<br>
</div>
@@ -89,7 +90,7 @@ The current time based on <code class="code"><span class="constructor">Time_Zone
So, it has always the same behaviour as <code class="code">make 12 0 0</code>.<br>
</div>
<br>
-<span id="2_Conversions"><h2>Conversions</h2></span><br>
+<h2 id="2_Conversions">Conversions</h2><br>
<pre><span id="VALconvert"><span class="keyword">val</span> convert</span> : <code class="type"><a href="Time_sig.S.html#TYPEt">t</a> -> <a href="Time_Zone.html#TYPEt">Time_Zone.t</a> -> <a href="Time_Zone.html#TYPEt">Time_Zone.t</a> -> <a href="Time_sig.S.html#TYPEt">t</a></code></pre><div class="info">
<code class="code">convert t t1 t2</code> converts the time <code class="code">t</code> expressed in the time zone <code class="code">t1</code>
to the same time expressed in the time zone <code class="code">t2</code>.<br>
@@ -113,7 +114,7 @@ The current time based on <code class="code"><span class="constructor">Time_Zone
(make (-73) 0 0)</code> returns the time 23-0-0 and (-4).<br>
</div>
<br>
-<span id="2_Getters"><h2>Getters</h2></span><br>
+<h2 id="2_Getters">Getters</h2><br>
<pre><span id="VALhour"><span class="keyword">val</span> hour</span> : <code class="type"><a href="Time_sig.S.html#TYPEt">t</a> -> int</code></pre><div class="info">
Hour.<br>
<b>Example:</b> <code class="code">hour (make 20 0 0)</code> returns 20.<br>
@@ -141,7 +142,7 @@ Number of hours of a time. The resulting fractional part represents
<b>Example:</b> <code class="code">to_hours (make 1 3 0)</code> returns <code class="code">1 + 0.05 = 1.05</code>.<br>
</div>
<br>
-<span id="2_Timesarecomparable"><h2>Times are comparable</h2></span><br>
+<h2 id="2_Timesarecomparable">Times are comparable</h2><br>
<pre><span id="VALequal"><span class="keyword">val</span> equal</span> : <code class="type"><a href="Time_sig.S.html#TYPEt">t</a> -> <a href="Time_sig.S.html#TYPEt">t</a> -> bool</code></pre><div class="info">
Equality function between two times.<br>
<b>Since</b> 1.09.0<br>
@@ -157,7 +158,7 @@ Hash function for times.<br>
<b>See also</b> <a href="Utils.Comparable.html#VALhash">Utils.Comparable.hash.</a><br>
</div>
<br>
-<span id="2_Booleanoperationsontimes"><h2>Boolean operations on times</h2></span><br>
+<h2 id="2_Booleanoperationsontimes">Boolean operations on times</h2><br>
<pre><span id="VALis_pm"><span class="keyword">val</span> is_pm</span> : <code class="type"><a href="Time_sig.S.html#TYPEt">t</a> -> bool</code></pre><div class="info">
Return <code class="code"><span class="keyword">true</span></code> is the time is before midday in the current time zone;
<code class="code"><span class="keyword">false</span></code> otherwise.<br>
@@ -171,7 +172,7 @@ Return <code class="code"><span class="keyword">true</span></code> is the time i
<code class="code"><span class="keyword">true</span></code>.<br>
</div>
<br>
-<span id="2_Coercions"><h2>Coercions</h2></span><br>
+<h2 id="2_Coercions">Coercions</h2><br>
<pre><span id="VALfrom_seconds"><span class="keyword">val</span> from_seconds</span> : <code class="type"><a href="Time_sig.S.html#TYPEsecond">second</a> -> <a href="Time_sig.S.html#TYPEt">t</a></code></pre><div class="info">
Inverse of <code class="code">to_seconds</code>.<br>
</div>
@@ -182,12 +183,12 @@ Inverse of <code class="code">to_minutes</code>.<br>
Inverse of <code class="code">to_hours</code>.<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="Time_sig.S.Period.html">Period</a>: <code class="code"><span class="keyword">sig</span></code> <a href="Time_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 times.
</div>
<br>
-<span id="2_Arithmeticoperationsontimesandperiods"><h2>Arithmetic operations on times and periods</h2></span><br>
+<h2 id="2_Arithmeticoperationsontimesandperiods">Arithmetic operations on times and periods</h2><br>
<pre><span id="VALadd"><span class="keyword">val</span> add</span> : <code class="type"><a href="Time_sig.S.html#TYPEt">t</a> -><br> [< <a href="Period.html#TYPEdate_field">Period.date_field</a> ] Period.period -> <a href="Time_sig.S.html#TYPEt">t</a></code></pre><div class="info">
<code class="code">app t p</code> returns <code class="code">t + p</code>.<br>
<b>Example:</b> <code class="code">add (make 20 0 0) (<span class="constructor">Period</span>.minute 70)</code> returns the time