Skip to content

Commit

Permalink
Deploying to gh-pages from @ 8dd58ab 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
darrenldl committed Apr 27, 2024
1 parent 267b5d5 commit 50d50f8
Show file tree
Hide file tree
Showing 2 changed files with 64 additions and 49 deletions.
48 changes: 24 additions & 24 deletions timedesc/Timedesc/Span/For_human/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -31,34 +31,34 @@
<span><span class="optlabel">?seconds</span>:float <span class="arrow">&#45;&gt;</span></span>
<span><span class="optlabel">?ns</span>:int <span class="arrow">&#45;&gt;</span></span>
<span>unit <span class="arrow">&#45;&gt;</span></span>
<a href="../index.html#type-t">t</a></span></code></div><div class="spec-doc"><ul class="at-tags"><li class="raises"><span class="at-tag">raises</span> <a href="#exception-Error_exn"><code>Error_exn</code></a> <p>if <code>make</code> fails</p></li></ul></div></div><h2 id="viewer"><a href="#viewer" class="anchor"></a>Viewer</h2><div class="odoc-spec"><div class="spec value anchored" id="val-view"><a href="#val-view" class="anchor"></a><code><span><span class="keyword">val</span> view : <span><a href="../index.html#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-view">view</a></span></code></div></div><h2 id="pretty-printing"><a href="#pretty-printing" class="anchor"></a>Pretty-printing</h2><div class="odoc-spec"><div class="spec value anchored" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span><span class="keyword">val</span> pp : <span><span class="optlabel">?format</span>:string <span class="arrow">&#45;&gt;</span></span> <span>unit <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="../index.html#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>Pretty-printing for span. * * Default format string:</p><pre>{days-nz: days }{hours-nz:X hours }{mins-nz:X mins }{secs:X}{sec-frac:.X} secs</pre><p>Format string specification:</p><pre> {{ literal {
{days:unit} number of days
unit is the string used after the number to denote its unit
{days-nz:unit} same as above, but does not display if number is zero
<a href="../index.html#type-t">t</a></span></code></div><div class="spec-doc"><ul class="at-tags"><li class="raises"><span class="at-tag">raises</span> <a href="#exception-Error_exn"><code>Error_exn</code></a> <p>if <code>make</code> fails</p></li></ul></div></div><h2 id="viewer"><a href="#viewer" class="anchor"></a>Viewer</h2><div class="odoc-spec"><div class="spec value anchored" id="val-view"><a href="#val-view" class="anchor"></a><code><span><span class="keyword">val</span> view : <span><a href="../index.html#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-view">view</a></span></code></div></div><h2 id="pretty-printing"><a href="#pretty-printing" class="anchor"></a>Pretty-printing</h2><div class="odoc-spec"><div class="spec value anchored" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span><span class="keyword">val</span> pp : <span><span class="optlabel">?format</span>:string <span class="arrow">&#45;&gt;</span></span> <span>unit <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="../index.html#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>Pretty-printing for span. * * Default format string:</p><pre>{days-nz: days }{hours-nz:X hours }{mins-nz:X mins }{secs:X}{sec-frac:.X} secs</pre><p>Format string specification:</p><pre> {{ Literal {
{days:unit} Number of days
Unit is the string used after the number to denote its unit
{days-nz:unit} Same as above, but does not display if number is zero

{hours:cXunit} number of hour, sub-day
character 'c' before 'X' is used for padding
(leave out character for no padding)
unit is the string used after the number to denote its unit
{hours-nz:cXunit} same as above, but does not display if number is zero
{hours:cXunit} Number of hour, sub-day
Character 'c' before 'X' is used for padding
(leave out character for no padding, e.g. {hours:Xunit})
Unit is the string used after the number to denote its unit
{hours-nz:cXunit} Same as above, but does not display if number is zero

{mins:cXunit} number of minutes, sub-hour
character 'c' before 'X' is used for padding
(leave out character for no padding)
unit is the string used after the number to denote its unit
{mins-nz:cXunit} same as above, but does not display if number is zero
{mins:cXunit} Number of minutes, sub-hour
Character 'c' before 'X' is used for padding
(leave out character for no padding, e.g. {mins:Xunit})
Unit is the string used after the number to denote its unit
{mins-nz:cXunit} Same as above, but does not display if number is zero

{secs:cXunit} number of seconds, sub-minute
character 'c' before 'X' is used for padding
(leave out character for no padding)
unit is the string used after the number to denote its unit
{secs-nz:cXunit} same as above, but does not display if number is zero
{secs:cXunit} Number of seconds, sub-minute
Character 'c' before 'X' is used for padding
(leave out character for no padding, e.g. {secs:Xunit})
Unit is the string used after the number to denote its unit
{secs-nz:cXunit} Same as above, but does not display if number is zero

{sec-frac:cNXunit} fraction of second, sub-second
{sec-frac:cNXunit} Fraction of second, sub-second
N determines the number of digits to take after decimal separator
if N is not specified, then the smallest number of digits required
If N is not specified, then the smallest number of digits required
after decimal separator for a lossless representation is used
character c is used as the decimal separator
unit is the string used after the number to denote its unit
{secs-frac-nz:cNXunit} same as above, but does not display if nanosecond count is
Character c is used as the decimal separator
Unit is the string used after the number to denote its unit
{secs-frac-nz:cNXunit} Same as above, but does not display if nanosecond count is
zero</pre><p>*</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_string"><a href="#val-to_string" class="anchor"></a><code><span><span class="keyword">val</span> to_string : <span><span class="optlabel">?format</span>:string <span class="arrow">&#45;&gt;</span></span> <span><a href="../index.html#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div></div></body></html>
Loading

0 comments on commit 50d50f8

Please sign in to comment.