mirror of
https://github.com/c-cube/iter.git
synced 2026-01-21 16:56:40 -05:00
multi-version doc
This commit is contained in:
Simon Cruanes
parent
42317d4d41
commit
54633c0b30
51 changed files with 1358 additions and 9 deletions
17
1.0/index.html
Normal file
17
1.0/index.html
Normal file
|
|
@ -0,0 +1,17 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml">
|
||||
<head>
|
||||
<title>index</title>
|
||||
<link rel="stylesheet" href="./odoc.css"/>
|
||||
<meta charset="utf-8"/>
|
||||
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
|
||||
</head>
|
||||
<body>
|
||||
<div class="by-name">
|
||||
<h2>OCaml package documentation</h2>
|
||||
<ol>
|
||||
<li><a href="sequence/index.html">sequence</a> <span class="version">1.0</span></li>
|
||||
<li><a href="sequence.bigarray/index.html">sequence.bigarray</a> <span class="version">1.0</span></li>
|
||||
</ol>
|
||||
</body>
|
||||
</html>
|
||||
234
1.0/odoc.css
Normal file
234
1.0/odoc.css
Normal file
|
|
@ -0,0 +1,234 @@
|
|||
@charset "UTF-8";
|
||||
/* Copyright (c) 2016 Daniel C. Bünzli. All rights reserved.
|
||||
Distributed under the ISC license, see terms at the end of the file.
|
||||
odoc 1.2.0 */
|
||||
|
||||
/* Reset a few things. */
|
||||
|
||||
html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,
|
||||
a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp,
|
||||
small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li,
|
||||
fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,
|
||||
article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup,
|
||||
menu,nav,output,ruby,section,summary,time,mark,audio,video
|
||||
{ margin:0; padding:0; border:0; /* outline: 0; */
|
||||
font-size:100%; font: inherit; line-height:inherit; vertical-align:baseline;
|
||||
text-align: inherit; color: inherit; background: transparent; }
|
||||
|
||||
table { border-collapse: collapse; border-spacing: 0; }
|
||||
*, *:before, *:after { box-sizing: border-box; }
|
||||
|
||||
body
|
||||
{ font-family: Helvetica, "DejaVu Sans", Arial, sans-serif;
|
||||
font-weight: normal;
|
||||
font-size: 0.875rem;
|
||||
line-height:1.25rem;
|
||||
text-align: left;
|
||||
min-width: 40ex;
|
||||
max-width: 78ex;
|
||||
padding: 1.25rem;
|
||||
margin-left: 3.75rem;
|
||||
color: #222; background: #FAFAFA; }
|
||||
|
||||
/* Basic markup elements */
|
||||
|
||||
b, strong { font-weight: bold; }
|
||||
em { font-style: italic; }
|
||||
|
||||
sup { vertical-align: super; }
|
||||
sub { vertical-align: sub; }
|
||||
sup, sub { font-size : 0.75rem; line-height: 0; margin-left: 0.2ex; }
|
||||
|
||||
p, div, img { margin-top: 1.25rem; }
|
||||
|
||||
ul, ol
|
||||
{ margin-top: 0.625rem; margin-bottom: 0.625rem; list-style-position: outside }
|
||||
|
||||
ul { list-style-type: square }
|
||||
ul > li { margin-left: 1.375rem; }
|
||||
ol > li { margin-left: 1.7rem; }
|
||||
li > *:first-child { margin-top: 0 }
|
||||
|
||||
/* Text alignements, this should be forbidden. */
|
||||
|
||||
.left { text-align: left; }
|
||||
.right { text-align: right; }
|
||||
.center { text-align: center; }
|
||||
|
||||
/* Links and anchors */
|
||||
|
||||
a { text-decoration:none; color:#2C5CBD; }
|
||||
a:hover { box-shadow:0 1px 0 0 #2C5CBD; }
|
||||
*:target /* Linked highlight */
|
||||
{ background-color: #FFF8E5;
|
||||
box-shadow: 0 0 0 2px #FFF8E5, 0 0 0 3px #DDD; }
|
||||
|
||||
.spec:hover > a.anchor, /* FIXME remove */
|
||||
.anchored:hover a.anchor { visibility: visible; }
|
||||
|
||||
a.anchor:before { content: "#" }
|
||||
a.anchor:hover { box-shadow: none; text-decoration: underline }
|
||||
a.anchor
|
||||
{ visibility: hidden; position: absolute; /* top: 0px; */
|
||||
margin-left: -3ex;
|
||||
font-weight: normal;
|
||||
font-style: normal;
|
||||
padding-right: 1ex; padding-left: 1ex; /* To remain selectable */
|
||||
color: #AAA; }
|
||||
|
||||
.xref-unresolved { box-shadow:0 1px 0 0 red }
|
||||
|
||||
/* Section and document divisions.
|
||||
Until at least 4.03 many of the modules of the stdlib start at .h7,
|
||||
we restart the sequence there like h2 */
|
||||
|
||||
h1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10
|
||||
{ font-weight: bold; margin-top: 1.25rem; }
|
||||
|
||||
h1 + *, h2 + *, .h7 + * { margin-top: 0.625rem; }
|
||||
h1, h2, .h7
|
||||
{ font-size: 1.25rem;
|
||||
line-height: 2.4375rem; /* 2.5rem - border width */
|
||||
padding-top: 0.625rem;
|
||||
border-top: solid;
|
||||
border-width: 1px;
|
||||
border-color: #DDD; }
|
||||
|
||||
h3, .h8 { font-size: 1.125rem; }
|
||||
h2 + h3, .h7 + .h8 { margin-top: 0.625rem; }
|
||||
|
||||
/* Preformatted and code */
|
||||
|
||||
tt, code, pre
|
||||
{ font-family: Menlo, "DejaVu Sans Mono", "Bitstream Vera Sans Mono",
|
||||
monospace;
|
||||
font-weight: normal;
|
||||
font-size: 0.75rem; }
|
||||
|
||||
pre
|
||||
{ padding-left: 0.25rem; padding-right: 0.25rem;
|
||||
margin-left: -0.25rem; margin-right: -0.25rem;
|
||||
padding-top: 0.3125rem; padding-bottom: 0.3125rem;
|
||||
margin-top: 1.25rem; /* margin-bottom: 0.625rem; */
|
||||
line-height: 1.1875rem;
|
||||
background: #F1F1F1; }
|
||||
|
||||
h1 tt, h1 code, h2 tt, h2 code, .h7 tt, .h7 code { font-size: 1.125rem }
|
||||
h3 tt, h3 code { font-size: 1rem }
|
||||
|
||||
/* Code lexemes */
|
||||
|
||||
.keyword { font-weight: bold; }
|
||||
|
||||
/* Module member specification */
|
||||
|
||||
div.def { margin-top: 0rem; text-indent: -2ex; padding-left: 2ex; }
|
||||
div.def + div.doc { margin-left: 1ex; margin-top: 0.15625rem }
|
||||
div.doc > *:first-child { margin-top: 0rem; }
|
||||
|
||||
/* Collapsible inlined include and module */
|
||||
|
||||
details
|
||||
{ border-radius: 0.5rem;
|
||||
border-left: 0.2rem solid;
|
||||
border-color: #FAFAFA /* Background */;
|
||||
margin-left: -1.5rem;
|
||||
padding-left: 1.3rem;
|
||||
padding-bottom: 0.625rem; }
|
||||
|
||||
details[open] { border-color: #AAA; }
|
||||
|
||||
/* Records and variants FIXME */
|
||||
|
||||
div.def table { text-indent: 0em; padding:0; margin-left: -2ex; }
|
||||
td.def { padding-right: 2ex }
|
||||
.record td.def { padding-left:2ex; }
|
||||
td.doc *:first-child { margin-top: 0em }
|
||||
|
||||
/* @ tags */
|
||||
|
||||
ul.at-tag { list-style-type: none; margin-left: 0; padding: 0; }
|
||||
ul.at-tag li { margin-left:0; padding:0; }
|
||||
ul.at-tag li p:first-child { margin-top: 0 } /* FIXME remove */
|
||||
span.at-tag { font-weight: bold }
|
||||
.at-tag.deprecated { font-weight: normal; color: crimson }
|
||||
.at-tag.raise { font-weight: bold; }
|
||||
|
||||
/* FIXME random other things to review. */
|
||||
|
||||
.heading
|
||||
{ margin-top: 0.625rem;
|
||||
border-top: solid;
|
||||
border-width: 1px;
|
||||
border-color: #DDD;
|
||||
text-align: right;
|
||||
font-weight: normal;
|
||||
font-style: italic; }
|
||||
|
||||
.heading + .sig { margin-top: -1.25rem; }
|
||||
.heading + .parameters { margin-top: -1.25rem; }
|
||||
|
||||
/* Odig package index */
|
||||
|
||||
.by-name ol, .by-tag ol, .errors ol { list-style-type: none; margin-left:0; }
|
||||
.by-name ol ol, .by-tag ol ol { margin-top:0; margin-bottom: 0 }
|
||||
.by-name li, .by-tag li, .errors li { margin-left:0; }
|
||||
|
||||
.by-name .version { font-size: 0.625rem; color: #AAA }
|
||||
.by-name nav { margin-bottom: 0.625rem }
|
||||
.by-name nav a
|
||||
{ text-transform: uppercase; font-size: 1.125rem;
|
||||
margin-right:1ex; color: #222; display: inline-block; }
|
||||
|
||||
.by-tag nav a { margin-right:1ex; color: #222; display: inline-block; }
|
||||
.by-tag > ol > li { margin-top: 0.625rem; }
|
||||
.by-tag > ol > li > span,
|
||||
.by-tag > ol > li > ol,
|
||||
.by-tag > ol > li > ol > li { display: inline-block; margin-right: 1ex; }
|
||||
|
||||
/* Odig package page */
|
||||
|
||||
.package nav { display: inline; font-size: 0.875rem; font-weight: normal; }
|
||||
.package .version { font-size: 0.875rem; }
|
||||
|
||||
h1 + .modules, h1 + .sel { margin-top: 0.625rem }
|
||||
.sel { font-weight: normal; font-style: italic;
|
||||
font-size:0.875rem; margin-top:1.25rem; }
|
||||
.sel + .modules { margin-top:0.625rem;
|
||||
margin-bottom: 1.25rem; margin-left: 1ex; }
|
||||
|
||||
.modules { margin:0; }
|
||||
.modules .module { min-width:8ex; padding-right: 2ex }
|
||||
|
||||
.package.info { margin: 0;}
|
||||
.package.info td:first-child { font-style: italic; padding-right: 2ex; }
|
||||
.package.info ul { list-style-type: none; display: inline; margin:0; }
|
||||
.package.info li { display: inline-block; margin:0; margin-right:1ex; }
|
||||
#info-authors li, #info-maintainers li { display:block; }
|
||||
|
||||
/* Mobile adjustements. */
|
||||
|
||||
@media only screen and (max-width: 78ex)
|
||||
{ body { margin: auto; } }
|
||||
|
||||
/* Print adjustements. */
|
||||
|
||||
@media print
|
||||
{ body { color: black; background: white; }
|
||||
body nav:first-child { visibility: hidden; }}
|
||||
|
||||
/*---------------------------------------------------------------------------
|
||||
Copyright (c) 2016 Daniel C. Bünzli
|
||||
|
||||
Permission to use, copy, modify, and/or distribute this software for any
|
||||
purpose with or without fee is hereby granted, provided that the above
|
||||
copyright notice and this permission notice appear in all copies.
|
||||
|
||||
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
||||
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
||||
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
||||
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
||||
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
||||
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
||||
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
||||
---------------------------------------------------------------------------*/
|
||||
2
1.0/sequence.bigarray/SequenceBigarray/index.html
Normal file
2
1.0/sequence.bigarray/SequenceBigarray/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SequenceBigarray (sequence.bigarray.SequenceBigarray)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../index.html">sequence.bigarray</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">SequenceBigarray</span></h1></header><h2>Interface and Helpers for bigarrays</h2><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5.4</li></ul><div class="spec val" id="val-of_bigarray"><a href="#val-of_bigarray" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>of_bigarray : (<span class="type-var">'a</span>, <span class="type-var">_</span>, <span class="type-var">_</span>) Bigarray.Array1.t <span class="keyword">‑></span> <span class="type-var">'a</span> <a href="../../sequence/Sequence/index.html#type-t">Sequence.t</a></code></div><div class="doc"><p>Iterate on the elements of a 1-D array</p></div></div><div class="spec val" id="val-mmap"><a href="#val-mmap" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>mmap : string <span class="keyword">‑></span> char <a href="../../sequence/Sequence/index.html#type-t">Sequence.t</a></code></div><div class="doc"><p>Map the file into memory, and read the characters.</p></div></div></body></html>
|
||||
3
1.0/sequence.bigarray/index.html
Normal file
3
1.0/sequence.bigarray/index.html
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>sequence_bigarray-generated (sequence.bigarray.sequence_bigarray-generated)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="index.html">sequence.bigarray</a></span></nav><header></header><nav><a href="../index.html">Up</a></nav><h2>Library sequence.bigarray</h2><p>
|
||||
This library exposes the following toplevel modules: </p><table class="modules"><tr id="listing-module-SequenceBigarray" class="anchored"><td class="module"><a href="#listing-module-SequenceBigarray" class="anchor"></a><a href="SequenceBigarray/index.html">SequenceBigarray</a></td><td class="doc"></td></tr></table><p>.</p></body></html>
|
||||
11
1.0/sequence/Sequence/IO/index.html
Normal file
11
1.0/sequence/Sequence/IO/index.html
Normal file
|
|
@ -0,0 +1,11 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IO (sequence.Sequence.IO)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">sequence</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">Sequence.IO</span></h1></header><div class="spec val" id="val-lines_of"><a href="#val-lines_of" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>lines_of : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> string <a href="../index.html#type-t">t</a></code></div><div class="doc"><p><code class="code">lines_of filename</code> reads all lines of the given file. It raises the
|
||||
same exception as would opening the file and read from it, except
|
||||
from <code class="code">End_of_file</code> (which is caught). The file is <b>always</b> properly
|
||||
closed.
|
||||
Every time the sequence is iterated on, the file is opened again, so
|
||||
different iterations might return different results</p><ul class="at-tag"><li><span class="at-tag parameter">Parameter</span> <span class="module-path">mode</span>: default <code class="code">0o644</code></li><li><span class="at-tag parameter">Parameter</span> <span class="module-path">flags</span>: default: <code class="code">[Open_rdonly]</code></li></ul></div></div><div class="spec val" id="val-chunks_of"><a href="#val-chunks_of" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>chunks_of : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> ?⁠size:int <span class="keyword">‑></span> string <span class="keyword">‑></span> string <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Read chunks of the given <code class="code">size</code> from the file. The last chunk might be
|
||||
smaller. Behaves like <a href="index.html#val-lines_of">lines_of</a> regarding errors and options.
|
||||
Every time the sequence is iterated on, the file is opened again, so
|
||||
different iterations might return different results</p></div></div><div class="spec val" id="val-write_to"><a href="#val-write_to" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>write_to : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> string <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> unit</code></div><div class="doc"><p><code class="code">write_to filename seq</code> writes all strings from <code class="code">seq</code> into the given
|
||||
file. It takes care of opening and closing the file.</p><ul class="at-tag"><li><span class="at-tag parameter">Parameter</span> <span class="module-path">mode</span>: default <code class="code">0o644</code></li><li><span class="at-tag parameter">Parameter</span> <span class="module-path">flags</span>: used by <code class="code">open_out_gen</code>. Default: <code class="code">[Open_creat;Open_wronly]</code>.</li></ul></div></div><div class="spec val" id="val-write_bytes_to"><a href="#val-write_bytes_to" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>write_bytes_to : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> Bytes.t <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> unit</code></div><div class="doc"><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5.4</li></ul></div></div><div class="spec val" id="val-write_lines"><a href="#val-write_lines" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>write_lines : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> string <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> unit</code></div><div class="doc"><p>Same as <a href="index.html#val-write_to">write_to</a>, but intercales <code class="code">'\n'</code> between each string</p></div></div><div class="spec val" id="val-write_bytes_lines"><a href="#val-write_bytes_lines" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>write_bytes_lines : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> Bytes.t <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> unit</code></div><div class="doc"><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5.4</li></ul></div></div></body></html>
|
||||
5
1.0/sequence/Sequence/Infix/index.html
Normal file
5
1.0/sequence/Sequence/Infix/index.html
Normal file
|
|
@ -0,0 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Infix (sequence.Sequence.Infix)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">sequence</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">Sequence.Infix</span></h1></header><div class="spec val" id="val-(--)"><a href="#val-(--)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(--) : int <span class="keyword">‑></span> int <span class="keyword">‑></span> int <a href="../index.html#type-t">t</a></code></div><div class="doc"><p><code class="code">a -- b</code> is the range of integers from <code class="code">a</code> to <code class="code">b</code>, both included,
|
||||
in increasing order. It will therefore be empty if <code class="code">a > b</code>.</p></div></div><div class="spec val" id="val-(--^)"><a href="#val-(--^)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(--^) : int <span class="keyword">‑></span> int <span class="keyword">‑></span> int <a href="../index.html#type-t">t</a></code></div><div class="doc"><p><code class="code">a --^ b</code> is the range of integers from <code class="code">b</code> to <code class="code">a</code>, both included,
|
||||
in decreasing order (starts from <code class="code">a</code>).
|
||||
It will therefore be empty if <code class="code">a < b</code>.</p></div></div><div class="spec val" id="val-(>>=)"><a href="#val-(>>=)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(>>=) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> (<span class="type-var">'a</span> <span class="keyword">‑></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a>) <span class="keyword">‑></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Monadic bind (infix version of <a href="../index.html#val-flat_map">flat_map</a></p><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5</li></ul></div></div><div class="spec val" id="val-(>|=)"><a href="#val-(>|=)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(>|=) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> (<span class="type-var">'a</span> <span class="keyword">‑></span> <span class="type-var">'b</span>) <span class="keyword">‑></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Infix version of <a href="../index.html#val-map">map</a></p><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5</li></ul></div></div><div class="spec val" id="val-(<*>)"><a href="#val-(<*>)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(<*>) : (<span class="type-var">'a</span> <span class="keyword">‑></span> <span class="type-var">'b</span>) <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Applicative operator (product+application)</p><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5</li></ul></div></div><div class="spec val" id="val-(<+>)"><a href="#val-(<+>)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(<+>) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Concatenation of sequences</p><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5</li></ul></div></div></body></html>
|
||||
2
1.0/sequence/Sequence/Map/index.html
Normal file
2
1.0/sequence/Sequence/Map/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Map (sequence.Sequence.Map)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">sequence</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">Sequence.Map</span></h1></header><div class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><div class="def module-type"><code><span class="keyword">module type </span><a href="module-type-S/index.html">S</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="doc"></div></div><div class="spec module" id="module-Adapt"><a href="#module-Adapt" class="anchor"></a><div class="def module"><code><span class="keyword">module </span>Adapt : <span class="keyword">functor</span> (<a href="Adapt/index.html#argument-1-M">M</a> : Map.S) -> <a href="index.html#module-type-S">S</a><span class="keyword"> with </span><span class="keyword">type </span><a href="index.html#module-Adapt">Adapt</a>.key<span class="keyword"> = </span><a href="Adapt/index.html#argument-1-M">M</a>.key<span class="keyword"> and </span><span class="keyword">type </span>'a <a href="index.html#module-Adapt">Adapt</a>.t<span class="keyword"> = </span><span class="type-var">'a</span> <a href="Adapt/index.html#argument-1-M">M</a>.t</code></div><div class="doc"><p>Adapt a pre-existing Map module to make it sequence-aware</p></div></div><div class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><div class="def module"><code><span class="keyword">module </span>Make : <span class="keyword">functor</span> (<a href="Make/index.html#argument-1-V">V</a> : Map.OrderedType) -> <a href="index.html#module-type-S">S</a><span class="keyword"> with </span><span class="keyword">type </span><a href="index.html#module-Make">Make</a>.key<span class="keyword"> = </span><a href="Make/index.html#argument-1-V">V</a>.t</code></div><div class="doc"><p>Create an enriched Map module, with sequence-aware functions</p></div></div></body></html>
|
||||
2
1.0/sequence/Sequence/Map/module-type-S/index.html
Normal file
2
1.0/sequence/Sequence/Map/module-type-S/index.html
Normal file
File diff suppressed because one or more lines are too long
2
1.0/sequence/Sequence/Set/index.html
Normal file
2
1.0/sequence/Sequence/Set/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Set (sequence.Sequence.Set)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">sequence</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">Sequence.Set</span></h1></header><div class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><div class="def module-type"><code><span class="keyword">module type </span><a href="module-type-S/index.html">S</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="doc"></div></div><div class="spec module" id="module-Adapt"><a href="#module-Adapt" class="anchor"></a><div class="def module"><code><span class="keyword">module </span>Adapt : <span class="keyword">functor</span> (<a href="Adapt/index.html#argument-1-X">X</a> : Set.S) -> <a href="index.html#module-type-S">S</a><span class="keyword"> with </span><span class="keyword">type </span><a href="index.html#module-Adapt">Adapt</a>.elt<span class="keyword"> = </span><a href="Adapt/index.html#argument-1-X">X</a>.elt<span class="keyword"> and </span><span class="keyword">type </span><a href="index.html#module-Adapt">Adapt</a>.t<span class="keyword"> = </span><a href="Adapt/index.html#argument-1-X">X</a>.t</code></div><div class="doc"><p>Create an enriched Set module from the given one</p></div></div><div class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><div class="def module"><code><span class="keyword">module </span>Make : <span class="keyword">functor</span> (<a href="Make/index.html#argument-1-X">X</a> : Set.OrderedType) -> <a href="index.html#module-type-S">S</a><span class="keyword"> with </span><span class="keyword">type </span><a href="index.html#module-Make">Make</a>.elt<span class="keyword"> = </span><a href="Make/index.html#argument-1-X">X</a>.t</code></div><div class="doc"><p>Functor to build an extended Set module from an ordered type</p></div></div></body></html>
|
||||
2
1.0/sequence/Sequence/Set/module-type-S/index.html
Normal file
2
1.0/sequence/Sequence/Set/module-type-S/index.html
Normal file
File diff suppressed because one or more lines are too long
126
1.0/sequence/Sequence/index.html
Normal file
126
1.0/sequence/Sequence/index.html
Normal file
File diff suppressed because one or more lines are too long
0
1.0/sequence/SequenceLabels/.jbuilder-keep
Normal file
0
1.0/sequence/SequenceLabels/.jbuilder-keep
Normal file
11
1.0/sequence/SequenceLabels/IO/index.html
Normal file
11
1.0/sequence/SequenceLabels/IO/index.html
Normal file
|
|
@ -0,0 +1,11 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IO (sequence.SequenceLabels.IO)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">sequence</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">SequenceLabels.IO</span></h1></header><div class="spec val" id="val-lines_of"><a href="#val-lines_of" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>lines_of : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> string <a href="../index.html#type-t">t</a></code></div><div class="doc"><p><code class="code">lines_of filename</code> reads all lines of the given file. It raises the
|
||||
same exception as would opening the file and read from it, except
|
||||
from <code class="code">End_of_file</code> (which is caught). The file is <b>always</b> properly
|
||||
closed.
|
||||
Every time the sequence is iterated on, the file is opened again, so
|
||||
different iterations might return different results</p><ul class="at-tag"><li><span class="at-tag parameter">Parameter</span> <span class="module-path">mode</span>: default <code class="code">0o644</code></li><li><span class="at-tag parameter">Parameter</span> <span class="module-path">flags</span>: default: <code class="code">[Open_rdonly]</code></li></ul></div></div><div class="spec val" id="val-chunks_of"><a href="#val-chunks_of" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>chunks_of : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> ?⁠size:int <span class="keyword">‑></span> string <span class="keyword">‑></span> string <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Read chunks of the given <code class="code">size</code> from the file. The last chunk might be
|
||||
smaller. Behaves like <a href="index.html#val-lines_of">lines_of</a> regarding errors and options.
|
||||
Every time the sequence is iterated on, the file is opened again, so
|
||||
different iterations might return different results</p></div></div><div class="spec val" id="val-write_to"><a href="#val-write_to" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>write_to : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> string <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> unit</code></div><div class="doc"><p><code class="code">write_to filename seq</code> writes all strings from <code class="code">seq</code> into the given
|
||||
file. It takes care of opening and closing the file.</p><ul class="at-tag"><li><span class="at-tag parameter">Parameter</span> <span class="module-path">mode</span>: default <code class="code">0o644</code></li><li><span class="at-tag parameter">Parameter</span> <span class="module-path">flags</span>: used by <code class="code">open_out_gen</code>. Default: <code class="code">[Open_creat;Open_wronly]</code>.</li></ul></div></div><div class="spec val" id="val-write_bytes_to"><a href="#val-write_bytes_to" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>write_bytes_to : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> Bytes.t <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> unit</code></div><div class="doc"><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5.4</li></ul></div></div><div class="spec val" id="val-write_lines"><a href="#val-write_lines" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>write_lines : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> string <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> unit</code></div><div class="doc"><p>Same as <a href="index.html#val-write_to">write_to</a>, but intercales <code class="code">'\n'</code> between each string</p></div></div><div class="spec val" id="val-write_bytes_lines"><a href="#val-write_bytes_lines" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>write_bytes_lines : ?⁠mode:int <span class="keyword">‑></span> ?⁠flags:Pervasives.open_flag list <span class="keyword">‑></span> string <span class="keyword">‑></span> Bytes.t <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> unit</code></div><div class="doc"><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5.4</li></ul></div></div></body></html>
|
||||
5
1.0/sequence/SequenceLabels/Infix/index.html
Normal file
5
1.0/sequence/SequenceLabels/Infix/index.html
Normal file
|
|
@ -0,0 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Infix (sequence.SequenceLabels.Infix)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">sequence</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">SequenceLabels.Infix</span></h1></header><div class="spec val" id="val-(--)"><a href="#val-(--)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(--) : int <span class="keyword">‑></span> int <span class="keyword">‑></span> int <a href="../index.html#type-t">t</a></code></div><div class="doc"><p><code class="code">a -- b</code> is the range of integers from <code class="code">a</code> to <code class="code">b</code>, both included,
|
||||
in increasing order. It will therefore be empty if <code class="code">a > b</code>.</p></div></div><div class="spec val" id="val-(--^)"><a href="#val-(--^)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(--^) : int <span class="keyword">‑></span> int <span class="keyword">‑></span> int <a href="../index.html#type-t">t</a></code></div><div class="doc"><p><code class="code">a --^ b</code> is the range of integers from <code class="code">b</code> to <code class="code">a</code>, both included,
|
||||
in decreasing order (starts from <code class="code">a</code>).
|
||||
It will therefore be empty if <code class="code">a < b</code>.</p></div></div><div class="spec val" id="val-(>>=)"><a href="#val-(>>=)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(>>=) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> (<span class="type-var">'a</span> <span class="keyword">‑></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a>) <span class="keyword">‑></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Monadic bind (infix version of <a href="../index.html#val-flat_map">flat_map</a></p><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5</li></ul></div></div><div class="spec val" id="val-(>|=)"><a href="#val-(>|=)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(>|=) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> (<span class="type-var">'a</span> <span class="keyword">‑></span> <span class="type-var">'b</span>) <span class="keyword">‑></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Infix version of <a href="../index.html#val-map">map</a></p><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5</li></ul></div></div><div class="spec val" id="val-(<*>)"><a href="#val-(<*>)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(<*>) : (<span class="type-var">'a</span> <span class="keyword">‑></span> <span class="type-var">'b</span>) <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Applicative operator (product+application)</p><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5</li></ul></div></div><div class="spec val" id="val-(<+>)"><a href="#val-(<+>)" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>(<+>) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span class="keyword">‑></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a></code></div><div class="doc"><p>Concatenation of sequences</p><ul class="at-tag"><li><span class="at-tag since">Since</span>: 0.5</li></ul></div></div></body></html>
|
||||
2
1.0/sequence/SequenceLabels/Map/index.html
Normal file
2
1.0/sequence/SequenceLabels/Map/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Map (sequence.SequenceLabels.Map)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">sequence</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">SequenceLabels.Map</span></h1></header><div class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><div class="def module-type"><code><span class="keyword">module type </span><a href="module-type-S/index.html">S</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="doc"></div></div><div class="spec module" id="module-Adapt"><a href="#module-Adapt" class="anchor"></a><div class="def module"><code><span class="keyword">module </span>Adapt : <span class="keyword">functor</span> (<a href="Adapt/index.html#argument-1-M">M</a> : Map.S) -> <a href="index.html#module-type-S">S</a><span class="keyword"> with </span><span class="keyword">type </span><a href="index.html#module-Adapt">Adapt</a>.key<span class="keyword"> = </span><a href="Adapt/index.html#argument-1-M">M</a>.key<span class="keyword"> and </span><span class="keyword">type </span>'a <a href="index.html#module-Adapt">Adapt</a>.t<span class="keyword"> = </span><span class="type-var">'a</span> <a href="Adapt/index.html#argument-1-M">M</a>.t</code></div><div class="doc"><p>Adapt a pre-existing Map module to make it sequence-aware</p></div></div><div class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><div class="def module"><code><span class="keyword">module </span>Make : <span class="keyword">functor</span> (<a href="Make/index.html#argument-1-V">V</a> : Map.OrderedType) -> <a href="index.html#module-type-S">S</a><span class="keyword"> with </span><span class="keyword">type </span><a href="index.html#module-Make">Make</a>.key<span class="keyword"> = </span><a href="Make/index.html#argument-1-V">V</a>.t</code></div><div class="doc"><p>Create an enriched Map module, with sequence-aware functions</p></div></div></body></html>
|
||||
2
1.0/sequence/SequenceLabels/Map/module-type-S/index.html
Normal file
2
1.0/sequence/SequenceLabels/Map/module-type-S/index.html
Normal file
File diff suppressed because one or more lines are too long
2
1.0/sequence/SequenceLabels/Set/index.html
Normal file
2
1.0/sequence/SequenceLabels/Set/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Set (sequence.SequenceLabels.Set)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">sequence</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">SequenceLabels.Set</span></h1></header><div class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><div class="def module-type"><code><span class="keyword">module type </span><a href="module-type-S/index.html">S</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="doc"></div></div><div class="spec module" id="module-Adapt"><a href="#module-Adapt" class="anchor"></a><div class="def module"><code><span class="keyword">module </span>Adapt : <span class="keyword">functor</span> (<a href="Adapt/index.html#argument-1-X">X</a> : Set.S) -> <a href="index.html#module-type-S">S</a><span class="keyword"> with </span><span class="keyword">type </span><a href="index.html#module-Adapt">Adapt</a>.elt<span class="keyword"> = </span><a href="Adapt/index.html#argument-1-X">X</a>.elt<span class="keyword"> and </span><span class="keyword">type </span><a href="index.html#module-Adapt">Adapt</a>.t<span class="keyword"> = </span><a href="Adapt/index.html#argument-1-X">X</a>.t</code></div><div class="doc"><p>Create an enriched Set module from the given one</p></div></div><div class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><div class="def module"><code><span class="keyword">module </span>Make : <span class="keyword">functor</span> (<a href="Make/index.html#argument-1-X">X</a> : Set.OrderedType) -> <a href="index.html#module-type-S">S</a><span class="keyword"> with </span><span class="keyword">type </span><a href="index.html#module-Make">Make</a>.elt<span class="keyword"> = </span><a href="Make/index.html#argument-1-X">X</a>.t</code></div><div class="doc"><p>Functor to build an extended Set module from an ordered type</p></div></div></body></html>
|
||||
2
1.0/sequence/SequenceLabels/Set/module-type-S/index.html
Normal file
2
1.0/sequence/SequenceLabels/Set/module-type-S/index.html
Normal file
File diff suppressed because one or more lines are too long
103
1.0/sequence/SequenceLabels/index.html
Normal file
103
1.0/sequence/SequenceLabels/index.html
Normal file
File diff suppressed because one or more lines are too long
3
1.0/sequence/index.html
Normal file
3
1.0/sequence/index.html
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>sequence-generated (sequence.sequence-generated)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="index.html">sequence</a></span></nav><header></header><nav><a href="../index.html">Up</a></nav><h2>Library sequence</h2><p>
|
||||
This library exposes the following toplevel modules: </p><table class="modules"><tr id="listing-module-Sequence" class="anchored"><td class="module"><a href="#listing-module-Sequence" class="anchor"></a><a href="Sequence/index.html">Sequence</a></td><td class="doc"></td></tr><tr id="listing-module-SequenceLabels" class="anchored"><td class="module"><a href="#listing-module-SequenceLabels" class="anchor"></a><a href="SequenceLabels/index.html">SequenceLabels</a></td><td class="doc"></td></tr></table><p>.</p></body></html>
|
||||
2
1.1/highlight.pack.js
Normal file
2
1.1/highlight.pack.js
Normal file
File diff suppressed because one or more lines are too long
19
1.1/index.html
Normal file
19
1.1/index.html
Normal file
|
|
@ -0,0 +1,19 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml">
|
||||
<head>
|
||||
<title>index</title>
|
||||
<link rel="stylesheet" href="./odoc.css"/>
|
||||
<meta charset="utf-8"/>
|
||||
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
|
||||
</head>
|
||||
<body>
|
||||
<main class="content">
|
||||
<div class="by-name">
|
||||
<h2>OCaml package documentation</h2>
|
||||
<ol>
|
||||
<li><a href="sequence/index.html">sequence</a> <span class="version">1.1</span></li>
|
||||
</ol>
|
||||
</div>
|
||||
</main>
|
||||
</body>
|
||||
</html>
|
||||
764
1.1/odoc.css
Normal file
764
1.1/odoc.css
Normal file
|
|
@ -0,0 +1,764 @@
|
|||
@charset "UTF-8";
|
||||
/* Copyright (c) 2016 The odoc contributors. All rights reserved.
|
||||
Distributed under the ISC license, see terms at the end of the file.
|
||||
odoc 1.4.0 */
|
||||
|
||||
/* Fonts */
|
||||
@import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');
|
||||
@import url('https://fonts.googleapis.com/css?family=Noticia+Text:400,400i,700');
|
||||
@import url('https://fonts.googleapis.com/css?family=Fira+Sans:400,400i,500,500i,600,600i,700,700i');
|
||||
|
||||
|
||||
/* Reset a few things. */
|
||||
|
||||
html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video {
|
||||
margin: 0;
|
||||
padding: 0;
|
||||
border: 0;
|
||||
font-size: inherit;
|
||||
font: inherit;
|
||||
line-height: inherit;
|
||||
vertical-align: baseline;
|
||||
text-align: inherit;
|
||||
color: inherit;
|
||||
background: transparent;
|
||||
}
|
||||
|
||||
table {
|
||||
border-collapse: collapse;
|
||||
border-spacing: 0;
|
||||
}
|
||||
|
||||
*, *:before, *:after {
|
||||
box-sizing: border-box;
|
||||
}
|
||||
|
||||
html {
|
||||
font-size: 15px;
|
||||
}
|
||||
|
||||
body {
|
||||
font-family: "Fira Sans", Helvetica, Arial, sans-serif;
|
||||
text-align: left;
|
||||
color: #333;
|
||||
background: #FFFFFF;
|
||||
}
|
||||
|
||||
.content {
|
||||
max-width: 90ex;
|
||||
margin-left: calc(10vw + 20ex);
|
||||
margin-right: 4ex;
|
||||
margin-top: 20px;
|
||||
margin-bottom: 50px;
|
||||
font-family: "Noticia Text", Georgia, serif;
|
||||
line-height: 1.5;
|
||||
}
|
||||
|
||||
.content>header {
|
||||
margin-bottom: 30px;
|
||||
}
|
||||
|
||||
.content>header nav {
|
||||
font-family: "Fira Sans", Helvetica, Arial, sans-serif;
|
||||
}
|
||||
|
||||
/* Basic markup elements */
|
||||
|
||||
b, strong {
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
i, em {
|
||||
font-style: italic;
|
||||
}
|
||||
|
||||
sup {
|
||||
vertical-align: super;
|
||||
}
|
||||
|
||||
sub {
|
||||
vertical-align: sub;
|
||||
}
|
||||
|
||||
sup, sub {
|
||||
font-size: 12px;
|
||||
line-height: 0;
|
||||
margin-left: 0.2ex;
|
||||
}
|
||||
|
||||
pre {
|
||||
margin-top: 0.8em;
|
||||
margin-bottom: 1.2em;
|
||||
}
|
||||
|
||||
p, ul, ol {
|
||||
margin-top: 0.5em;
|
||||
margin-bottom: 1em;
|
||||
}
|
||||
ul, ol {
|
||||
list-style-position: outside
|
||||
}
|
||||
|
||||
ul>li {
|
||||
margin-left: 22px;
|
||||
}
|
||||
|
||||
ol>li {
|
||||
margin-left: 27.2px;
|
||||
}
|
||||
|
||||
li>*:first-child {
|
||||
margin-top: 0
|
||||
}
|
||||
|
||||
/* Text alignements, this should be forbidden. */
|
||||
|
||||
.left {
|
||||
text-align: left;
|
||||
}
|
||||
|
||||
.right {
|
||||
text-align: right;
|
||||
}
|
||||
|
||||
.center {
|
||||
text-align: center;
|
||||
}
|
||||
|
||||
/* Links and anchors */
|
||||
|
||||
a {
|
||||
text-decoration: none;
|
||||
color: #2C5CBD;
|
||||
}
|
||||
|
||||
a:hover {
|
||||
box-shadow: 0 1px 0 0 #2C5CBD;
|
||||
}
|
||||
|
||||
/* Linked highlight */
|
||||
*:target {
|
||||
background-color: rgba(187,239,253,0.3) !important;
|
||||
box-shadow: 0 0px 0 1px rgba(187,239,253,0.8) !important;
|
||||
border-radius: 1px;
|
||||
}
|
||||
|
||||
*:hover>a.anchor {
|
||||
visibility: visible;
|
||||
}
|
||||
|
||||
a.anchor:before {
|
||||
content: "#"
|
||||
}
|
||||
|
||||
a.anchor:hover {
|
||||
box-shadow: none;
|
||||
text-decoration: none;
|
||||
color: #555;
|
||||
}
|
||||
|
||||
a.anchor {
|
||||
visibility: hidden;
|
||||
position: absolute;
|
||||
/* top: 0px; */
|
||||
/* margin-left: -3ex; */
|
||||
margin-left: -1.3em;
|
||||
font-weight: normal;
|
||||
font-style: normal;
|
||||
padding-right: 0.4em;
|
||||
padding-left: 0.4em;
|
||||
/* To remain selectable */
|
||||
color: #d5d5d5;
|
||||
}
|
||||
|
||||
.spec > a.anchor {
|
||||
margin-left: -2.3em;
|
||||
padding-right: 0.9em;
|
||||
}
|
||||
|
||||
.xref-unresolved {
|
||||
color: #2C5CBD;
|
||||
}
|
||||
.xref-unresolved:hover {
|
||||
box-shadow: 0 1px 0 0 #CC6666;
|
||||
}
|
||||
|
||||
/* Section and document divisions.
|
||||
Until at least 4.03 many of the modules of the stdlib start at .h7,
|
||||
we restart the sequence there like h2 */
|
||||
|
||||
h1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 {
|
||||
font-family: "Fira Sans", Helvetica, Arial, sans-serif;
|
||||
font-weight: 400;
|
||||
margin: 0.5em 0 0.5em 0;
|
||||
padding-top: 0.1em;
|
||||
line-height: 1.2;
|
||||
overflow-wrap: break-word;
|
||||
}
|
||||
|
||||
h1 {
|
||||
font-weight: 500;
|
||||
font-size: 2.441em;
|
||||
margin-top: 1.214em;
|
||||
}
|
||||
|
||||
h1 {
|
||||
font-weight: 500;
|
||||
font-size: 1.953em;
|
||||
box-shadow: 0 1px 0 0 #ddd;
|
||||
}
|
||||
|
||||
h2 {
|
||||
font-size: 1.563em;
|
||||
}
|
||||
|
||||
h3 {
|
||||
font-size: 1.25em;
|
||||
}
|
||||
|
||||
small, .font_small {
|
||||
font-size: 0.8em;
|
||||
}
|
||||
|
||||
h1 code, h1 tt {
|
||||
font-size: inherit;
|
||||
font-weight: inherit;
|
||||
}
|
||||
|
||||
h2 code, h2 tt {
|
||||
font-size: inherit;
|
||||
font-weight: inherit;
|
||||
}
|
||||
|
||||
h3 code, h3 tt {
|
||||
font-size: inherit;
|
||||
font-weight: inherit;
|
||||
}
|
||||
|
||||
h3 code, h3 tt {
|
||||
font-size: inherit;
|
||||
font-weight: inherit;
|
||||
}
|
||||
|
||||
h4 {
|
||||
font-size: 1.12em;
|
||||
}
|
||||
|
||||
|
||||
/* Preformatted and code */
|
||||
|
||||
tt, code, pre {
|
||||
font-family: "Fira Mono", courier;
|
||||
font-weight: 400;
|
||||
}
|
||||
|
||||
pre {
|
||||
padding: 0.1em;
|
||||
border: 1px solid #eee;
|
||||
border-radius: 5px;
|
||||
overflow-x: auto;
|
||||
}
|
||||
|
||||
p code, li code {
|
||||
background-color: #f6f8fa;
|
||||
color: #0d2b3e;
|
||||
border-radius: 3px;
|
||||
padding: 0 0.3ex;
|
||||
}
|
||||
|
||||
p a > code {
|
||||
color: #2C5CBD;
|
||||
}
|
||||
|
||||
/* Code blocks (e.g. Examples) */
|
||||
|
||||
pre code {
|
||||
font-size: 0.893rem;
|
||||
}
|
||||
|
||||
/* Code lexemes */
|
||||
|
||||
.keyword {
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
/* Module member specification */
|
||||
|
||||
.spec:not(.include), .spec.include details summary {
|
||||
background-color: #f6f8fa;
|
||||
border-radius: 3px;
|
||||
border-left: 4px solid #5c9cf5;
|
||||
border-right: 5px solid transparent;
|
||||
padding: 0.35em 0.5em;
|
||||
}
|
||||
|
||||
.spec.include details summary:hover {
|
||||
background-color: #ebeff2;
|
||||
}
|
||||
|
||||
dl, div.spec, .doc, aside {
|
||||
margin-bottom: 20px;
|
||||
}
|
||||
|
||||
dl > dd {
|
||||
padding: 0.5em;
|
||||
}
|
||||
|
||||
dd> :first-child {
|
||||
margin-top: 0;
|
||||
}
|
||||
|
||||
dl:last-child, dd> :last-child, aside:last-child, article:last-child {
|
||||
margin-bottom: 0;
|
||||
}
|
||||
|
||||
dt+dt {
|
||||
margin-top: 15px;
|
||||
}
|
||||
|
||||
section+section, section > header + dl {
|
||||
margin-top: 25px;
|
||||
}
|
||||
|
||||
.spec.type .variant {
|
||||
margin-left: 2ch;
|
||||
}
|
||||
.spec.type .variant p {
|
||||
margin: 0;
|
||||
font-style: italic;
|
||||
}
|
||||
.spec.type .record {
|
||||
margin-left: 2ch;
|
||||
}
|
||||
.spec.type .record p {
|
||||
margin: 0;
|
||||
font-style: italic;
|
||||
}
|
||||
|
||||
div.def {
|
||||
margin-top: 0;
|
||||
text-indent: -2ex;
|
||||
padding-left: 2ex;
|
||||
}
|
||||
|
||||
div.def+div.doc {
|
||||
margin-left: 1ex;
|
||||
margin-top: 2.5px
|
||||
}
|
||||
|
||||
div.doc>*:first-child {
|
||||
margin-top: 0;
|
||||
}
|
||||
|
||||
/* The elements other than heading should be wrapped in <aside> elements. */
|
||||
/* heading, body>p, body>ul, body>ol, h3, h4, body>pre { */
|
||||
/* margin-bottom: 30px; */
|
||||
/* } */
|
||||
|
||||
/* Collapsible inlined include and module */
|
||||
|
||||
.spec.include details {
|
||||
position: relative;
|
||||
}
|
||||
|
||||
.spec.include details:after {
|
||||
z-index: -100;
|
||||
display: block;
|
||||
content: " ";
|
||||
position: absolute;
|
||||
border-radius: 0 1ex 1ex 0;
|
||||
right: -20px;
|
||||
top: 1px;
|
||||
bottom: 1px;
|
||||
width: 15px;
|
||||
background: rgba(0, 4, 15, 0.05);
|
||||
box-shadow: 0 0px 0 1px rgba(204, 204, 204, 0.53);
|
||||
}
|
||||
|
||||
.spec.include details summary {
|
||||
position: relative;
|
||||
margin-bottom: 20px;
|
||||
cursor: pointer;
|
||||
outline: none;
|
||||
}
|
||||
|
||||
/* FIXME: Does not work in Firefox. */
|
||||
details summary::-webkit-details-marker {
|
||||
color: #888;
|
||||
transform: scaleX(-1);
|
||||
position: absolute;
|
||||
top: calc(50% - 5px);
|
||||
height: 11px;
|
||||
right: -29px;
|
||||
}
|
||||
|
||||
/* Records and variants FIXME */
|
||||
|
||||
div.def table {
|
||||
text-indent: 0em;
|
||||
padding: 0;
|
||||
margin-left: -2ex;
|
||||
}
|
||||
|
||||
td.def {
|
||||
padding-right: 2ex
|
||||
}
|
||||
|
||||
.record td.def {
|
||||
padding-left: 2ex;
|
||||
}
|
||||
|
||||
td.doc *:first-child {
|
||||
margin-top: 0em
|
||||
}
|
||||
|
||||
/* @ tags */
|
||||
|
||||
ul.at-tag {
|
||||
list-style-type: none;
|
||||
margin-left: 0;
|
||||
padding: 0;
|
||||
}
|
||||
|
||||
ul.at-tag li {
|
||||
margin-left: 0;
|
||||
padding: 0;
|
||||
}
|
||||
|
||||
ul.at-tag li p:first-child {
|
||||
margin-top: 0
|
||||
}
|
||||
|
||||
/* FIXME remove */
|
||||
|
||||
span.at-tag {
|
||||
font-weight: bold
|
||||
}
|
||||
|
||||
.at-tag.deprecated {
|
||||
font-weight: normal;
|
||||
color: crimson
|
||||
}
|
||||
|
||||
.at-tag.raise {
|
||||
font-weight: bold;
|
||||
}
|
||||
|
||||
/* FIXME random other things to review. */
|
||||
|
||||
.heading {
|
||||
margin-top: 10px;
|
||||
border-bottom: solid;
|
||||
border-width: 1px;
|
||||
border-color: #DDD;
|
||||
text-align: right;
|
||||
font-weight: normal;
|
||||
font-style: italic;
|
||||
}
|
||||
|
||||
.heading+.sig {
|
||||
margin-top: -20px;
|
||||
}
|
||||
|
||||
.heading+.parameters {
|
||||
margin-top: -20px;
|
||||
}
|
||||
|
||||
/* Odig package index */
|
||||
|
||||
.by-name ol, .by-tag ol, .errors ol {
|
||||
list-style-type: none;
|
||||
margin-left: 0;
|
||||
}
|
||||
|
||||
.by-name ol ol, .by-tag ol ol {
|
||||
margin-top: 0;
|
||||
margin-bottom: 0
|
||||
}
|
||||
|
||||
.by-name li, .by-tag li, .errors li {
|
||||
margin-left: 0;
|
||||
}
|
||||
|
||||
.by-name .version {
|
||||
font-size: 10px;
|
||||
color: #AAA
|
||||
}
|
||||
|
||||
.by-name nav {
|
||||
margin-bottom: 10px
|
||||
}
|
||||
|
||||
.by-name nav a {
|
||||
text-transform: uppercase;
|
||||
font-size: 18px;
|
||||
margin-right: 1ex;
|
||||
color: #222;
|
||||
display: inline-block;
|
||||
}
|
||||
|
||||
.by-tag nav a {
|
||||
margin-right: 1ex;
|
||||
color: #222;
|
||||
display: inline-block;
|
||||
}
|
||||
|
||||
.by-tag>ol>li {
|
||||
margin-top: 10px;
|
||||
}
|
||||
|
||||
.by-tag>ol>li>span, .by-tag>ol>li>ol, .by-tag>ol>li>ol>li {
|
||||
display: inline-block;
|
||||
margin-right: 1ex;
|
||||
}
|
||||
|
||||
/* Odig package page */
|
||||
|
||||
.package nav {
|
||||
display: inline;
|
||||
font-size: 14px;
|
||||
font-weight: normal;
|
||||
}
|
||||
|
||||
.package .version {
|
||||
font-size: 14px;
|
||||
}
|
||||
|
||||
h1+.modules, h1+.sel {
|
||||
margin-top: 10px
|
||||
}
|
||||
|
||||
.sel {
|
||||
font-weight: normal;
|
||||
font-style: italic;
|
||||
font-size: 14px;
|
||||
margin-top: 20px;
|
||||
}
|
||||
|
||||
.sel+.modules {
|
||||
margin-top: 10px;
|
||||
margin-bottom: 20px;
|
||||
margin-left: 1ex;
|
||||
}
|
||||
|
||||
.modules {
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
.modules .module {
|
||||
min-width: 8ex;
|
||||
padding-right: 2ex
|
||||
}
|
||||
|
||||
.package.info {
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
.package.info td:first-child {
|
||||
font-style: italic;
|
||||
padding-right: 2ex;
|
||||
}
|
||||
|
||||
.package.info ul {
|
||||
list-style-type: none;
|
||||
display: inline;
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
.package.info li {
|
||||
display: inline-block;
|
||||
margin: 0;
|
||||
margin-right: 1ex;
|
||||
}
|
||||
|
||||
#info-authors li, #info-maintainers li {
|
||||
display: block;
|
||||
}
|
||||
|
||||
/* Sidebar and TOC */
|
||||
|
||||
.toc:before {
|
||||
display: block;
|
||||
content: "Contents";
|
||||
text-transform: uppercase;
|
||||
font-size: 1em;
|
||||
margin: 1.414em 0 0.5em;
|
||||
font-weight: 500;
|
||||
color: #777;
|
||||
line-height: 1.2;
|
||||
}
|
||||
|
||||
.toc {
|
||||
position: fixed;
|
||||
top: 0px;
|
||||
bottom: 0px;
|
||||
left: 0px;
|
||||
max-width: 30ex;
|
||||
min-width: 26ex;
|
||||
width: 20%;
|
||||
background: #f6f8fa;
|
||||
overflow: auto;
|
||||
color: #1F2D3D;
|
||||
padding-left: 2ex;
|
||||
padding-right: 2ex;
|
||||
}
|
||||
|
||||
.toc ul li a {
|
||||
font-family: "Fira Sans", sans-serif;
|
||||
font-size: 0.95em;
|
||||
color: #333;
|
||||
font-weight: 400;
|
||||
line-height: 1.6em;
|
||||
display: block;
|
||||
}
|
||||
|
||||
.toc ul li a:hover {
|
||||
box-shadow: none;
|
||||
text-decoration: underline;
|
||||
}
|
||||
|
||||
/* First level titles */
|
||||
|
||||
.toc>ul>li>a {
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
.toc li ul {
|
||||
margin: 0px;
|
||||
}
|
||||
|
||||
.toc ul {
|
||||
list-style-type: none;
|
||||
}
|
||||
|
||||
.toc ul li {
|
||||
margin: 0;
|
||||
}
|
||||
.toc>ul>li {
|
||||
margin-bottom: 0.3em;
|
||||
}
|
||||
|
||||
.toc ul li li {
|
||||
border-left: 1px solid #ccc;
|
||||
margin-left: 5px;
|
||||
padding-left: 12px;
|
||||
}
|
||||
|
||||
/* Mobile adjustements. */
|
||||
|
||||
@media only screen and (max-width: 95ex) {
|
||||
.content {
|
||||
margin: auto;
|
||||
padding: 2.0em;
|
||||
}
|
||||
.toc {
|
||||
position: static;
|
||||
width: auto;
|
||||
min-width: unset;
|
||||
max-width: unset;
|
||||
border: none;
|
||||
padding: 0.2em 1em;
|
||||
border-radius: 5px;
|
||||
}
|
||||
}
|
||||
|
||||
/* Print adjustements. */
|
||||
|
||||
@media print {
|
||||
body {
|
||||
color: black;
|
||||
background: white;
|
||||
}
|
||||
body nav:first-child {
|
||||
visibility: hidden;
|
||||
}
|
||||
}
|
||||
|
||||
/* Syntax highlighting (based on github-gist) */
|
||||
|
||||
.hljs {
|
||||
display: block;
|
||||
background: white;
|
||||
padding: 0.5em;
|
||||
color: #333333;
|
||||
overflow-x: auto;
|
||||
}
|
||||
|
||||
.hljs-comment,
|
||||
.hljs-meta {
|
||||
color: #969896;
|
||||
}
|
||||
|
||||
.hljs-string,
|
||||
.hljs-variable,
|
||||
.hljs-template-variable,
|
||||
.hljs-strong,
|
||||
.hljs-emphasis,
|
||||
.hljs-quote {
|
||||
color: #df5000;
|
||||
}
|
||||
|
||||
.hljs-keyword,
|
||||
.hljs-selector-tag {
|
||||
color: #a71d5d;
|
||||
}
|
||||
|
||||
.hljs-type,
|
||||
.hljs-class .hljs-title {
|
||||
color: #458;
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
.hljs-literal,
|
||||
.hljs-symbol,
|
||||
.hljs-bullet,
|
||||
.hljs-attribute {
|
||||
color: #0086b3;
|
||||
}
|
||||
|
||||
.hljs-section,
|
||||
.hljs-name {
|
||||
color: #63a35c;
|
||||
}
|
||||
|
||||
.hljs-tag {
|
||||
color: #333333;
|
||||
}
|
||||
|
||||
.hljs-attr,
|
||||
.hljs-selector-id,
|
||||
.hljs-selector-class,
|
||||
.hljs-selector-attr,
|
||||
.hljs-selector-pseudo {
|
||||
color: #795da3;
|
||||
}
|
||||
|
||||
.hljs-addition {
|
||||
color: #55a532;
|
||||
background-color: #eaffea;
|
||||
}
|
||||
|
||||
.hljs-deletion {
|
||||
color: #bd2c00;
|
||||
background-color: #ffecec;
|
||||
}
|
||||
|
||||
.hljs-link {
|
||||
text-decoration: underline;
|
||||
}
|
||||
|
||||
/*---------------------------------------------------------------------------
|
||||
Copyright (c) 2016 The odoc contributors
|
||||
|
||||
Permission to use, copy, modify, and/or distribute this software for any
|
||||
purpose with or without fee is hereby granted, provided that the above
|
||||
copyright notice and this permission notice appear in all copies.
|
||||
|
||||
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
||||
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
||||
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
||||
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
||||
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
||||
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
||||
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
||||
---------------------------------------------------------------------------*/
|
||||
0
1.1/sequence/Sequence/.dune-keep
Normal file
0
1.1/sequence/Sequence/.dune-keep
Normal file
2
1.1/sequence/Sequence/IO/index.html
Normal file
2
1.1/sequence/Sequence/IO/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IO (sequence.Sequence.IO)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">sequence</a> » <a href="../index.html">Sequence</a> » IO</nav><h1>Module <code>Sequence.IO</code></h1></header><dl><dt class="spec value" id="val-lines_of"><a href="#val-lines_of" class="anchor"></a><code><span class="keyword">val</span> lines_of : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> string <a href="../index.html#type-t">t</a></code></dt><dd><p><code>lines_of filename</code> reads all lines of the given file. It raises the same exception as would opening the file and read from it, except from <code>End_of_file</code> (which is caught). The file is <b>always</b> properly closed. Every time the sequence is iterated on, the file is opened again, so different iterations might return different results</p><dl><dt>parameter mode</dt><dd><p>default <code>0o644</code></p></dd></dl><dl><dt>parameter flags</dt><dd><p>default: <code>[Open_rdonly]</code></p></dd></dl></dd></dl><dl><dt class="spec value" id="val-chunks_of"><a href="#val-chunks_of" class="anchor"></a><code><span class="keyword">val</span> chunks_of : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> ?⁠size:int <span>-></span> string <span>-></span> string <a href="../index.html#type-t">t</a></code></dt><dd><p>Read chunks of the given <code>size</code> from the file. The last chunk might be smaller. Behaves like <a href="index.html#val-lines_of"><code>lines_of</code></a> regarding errors and options. Every time the sequence is iterated on, the file is opened again, so different iterations might return different results</p></dd></dl><dl><dt class="spec value" id="val-write_to"><a href="#val-write_to" class="anchor"></a><code><span class="keyword">val</span> write_to : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> string <a href="../index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><p><code>write_to filename seq</code> writes all strings from <code>seq</code> into the given file. It takes care of opening and closing the file.</p><dl><dt>parameter mode</dt><dd><p>default <code>0o644</code></p></dd></dl><dl><dt>parameter flags</dt><dd><p>used by <code>open_out_gen</code>. Default: <code>[Open_creat;Open_wronly]</code>.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-write_bytes_to"><a href="#val-write_bytes_to" class="anchor"></a><code><span class="keyword">val</span> write_bytes_to : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> Bytes.t <a href="../index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><dl><dt>since</dt><dd>0.5.4</dd></dl></dd></dl><dl><dt class="spec value" id="val-write_lines"><a href="#val-write_lines" class="anchor"></a><code><span class="keyword">val</span> write_lines : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> string <a href="../index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><p>Same as <a href="index.html#val-write_to"><code>write_to</code></a>, but intercales <code>'\n'</code> between each string</p></dd></dl><dl><dt class="spec value" id="val-write_bytes_lines"><a href="#val-write_bytes_lines" class="anchor"></a><code><span class="keyword">val</span> write_bytes_lines : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> Bytes.t <a href="../index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><dl><dt>since</dt><dd>0.5.4</dd></dl></dd></dl></div></body></html>
|
||||
2
1.1/sequence/Sequence/Infix/index.html
Normal file
2
1.1/sequence/Sequence/Infix/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Infix (sequence.Sequence.Infix)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">sequence</a> » <a href="../index.html">Sequence</a> » Infix</nav><h1>Module <code>Sequence.Infix</code></h1></header><dl><dt class="spec value" id="val-(--)"><a href="#val-(--)" class="anchor"></a><code><span class="keyword">val</span> (--) : int <span>-></span> int <span>-></span> int <a href="../index.html#type-t">t</a></code></dt><dd><p><code>a -- b</code> is the range of integers from <code>a</code> to <code>b</code>, both included, in increasing order. It will therefore be empty if <code>a > b</code>.</p></dd></dl><dl><dt class="spec value" id="val-(--^)"><a href="#val-(--^)" class="anchor"></a><code><span class="keyword">val</span> (--^) : int <span>-></span> int <span>-></span> int <a href="../index.html#type-t">t</a></code></dt><dd><p><code>a --^ b</code> is the range of integers from <code>b</code> to <code>a</code>, both included, in decreasing order (starts from <code>a</code>). It will therefore be empty if <code>a < b</code>.</p></dd></dl><dl><dt class="spec value" id="val-(>>=)"><a href="#val-(>>=)" class="anchor"></a><code><span class="keyword">val</span> (>>=) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a>) <span>-></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></dt><dd><p>Monadic bind (infix version of <a href="../index.html#val-flat_map"><code>flat_map</code></a></p><dl><dt>since</dt><dd>0.5</dd></dl></dd></dl><dl><dt class="spec value" id="val-(>|=)"><a href="#val-(>|=)" class="anchor"></a><code><span class="keyword">val</span> (>|=) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></dt><dd><p>Infix version of <a href="../index.html#val-map"><code>map</code></a></p><dl><dt>since</dt><dd>0.5</dd></dl></dd></dl><dl><dt class="spec value" id="val-(<*>)"><a href="#val-(<*>)" class="anchor"></a><code><span class="keyword">val</span> (<*>) : (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <a href="../index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></dt><dd><p>Applicative operator (product+application)</p><dl><dt>since</dt><dd>0.5</dd></dl></dd></dl><dl><dt class="spec value" id="val-(<+>)"><a href="#val-(<+>)" class="anchor"></a><code><span class="keyword">val</span> (<+>) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a></code></dt><dd><p>Concatenation of sequences</p><dl><dt>since</dt><dd>0.5</dd></dl></dd></dl></div></body></html>
|
||||
2
1.1/sequence/Sequence/Map/index.html
Normal file
2
1.1/sequence/Sequence/Map/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Map (sequence.Sequence.Map)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">sequence</a> » <a href="../index.html">Sequence</a> » Map</nav><h1>Module <code>Sequence.Map</code></h1></header><div class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a> = <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec module" id="module-Adapt"><a href="#module-Adapt" class="anchor"></a><code><span class="keyword">module</span> Adapt : <span class="keyword">functor</span> (<a href="Adapt/index.html#argument-1-M">M</a> : Map.S) <span>-></span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="index.html#module-Adapt">Adapt</a>.key = <a href="Adapt/index.html#argument-1-M">M</a>.key <span class="keyword">and</span> <span class="keyword">type</span> 'a <a href="index.html#module-Adapt">Adapt</a>.t = <span class="type-var">'a</span> <a href="Adapt/index.html#argument-1-M">M</a>.t</code></dt><dd><p>Adapt a pre-existing Map module to make it sequence-aware</p></dd></dl><dl><dt class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span class="keyword">module</span> Make : <span class="keyword">functor</span> (<a href="Make/index.html#argument-1-V">V</a> : Map.OrderedType) <span>-></span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="index.html#module-Make">Make</a>.key = <a href="Make/index.html#argument-1-V">V</a>.t</code></dt><dd><p>Create an enriched Map module, with sequence-aware functions</p></dd></dl></div></body></html>
|
||||
2
1.1/sequence/Sequence/Map/module-type-S/index.html
Normal file
2
1.1/sequence/Sequence/Map/module-type-S/index.html
Normal file
File diff suppressed because one or more lines are too long
2
1.1/sequence/Sequence/Set/index.html
Normal file
2
1.1/sequence/Sequence/Set/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Set (sequence.Sequence.Set)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">sequence</a> » <a href="../index.html">Sequence</a> » Set</nav><h1>Module <code>Sequence.Set</code></h1></header><div class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a> = <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec module" id="module-Adapt"><a href="#module-Adapt" class="anchor"></a><code><span class="keyword">module</span> Adapt : <span class="keyword">functor</span> (<a href="Adapt/index.html#argument-1-X">X</a> : Set.S) <span>-></span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="index.html#module-Adapt">Adapt</a>.elt = <a href="Adapt/index.html#argument-1-X">X</a>.elt <span class="keyword">and</span> <span class="keyword">type</span> <a href="index.html#module-Adapt">Adapt</a>.t = <a href="Adapt/index.html#argument-1-X">X</a>.t</code></dt><dd><p>Create an enriched Set module from the given one</p></dd></dl><dl><dt class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span class="keyword">module</span> Make : <span class="keyword">functor</span> (<a href="Make/index.html#argument-1-X">X</a> : Set.OrderedType) <span>-></span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="index.html#module-Make">Make</a>.elt = <a href="Make/index.html#argument-1-X">X</a>.t</code></dt><dd><p>Functor to build an extended Set module from an ordered type</p></dd></dl></div></body></html>
|
||||
2
1.1/sequence/Sequence/Set/module-type-S/index.html
Normal file
2
1.1/sequence/Sequence/Set/module-type-S/index.html
Normal file
File diff suppressed because one or more lines are too long
2
1.1/sequence/Sequence/index.html
Normal file
2
1.1/sequence/Sequence/index.html
Normal file
File diff suppressed because one or more lines are too long
0
1.1/sequence/SequenceBigarray/.dune-keep
Normal file
0
1.1/sequence/SequenceBigarray/.dune-keep
Normal file
2
1.1/sequence/SequenceBigarray/index.html
Normal file
2
1.1/sequence/SequenceBigarray/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SequenceBigarray (sequence.SequenceBigarray)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">sequence</a> » SequenceBigarray</nav><h1>Module <code>SequenceBigarray</code></h1><h2 id="interface-and-helpers-for-bigarrays"><a href="#interface-and-helpers-for-bigarrays" class="anchor"></a>Interface and Helpers for bigarrays</h2><dl><dt>since</dt><dd>0.5.4</dd></dl></header><dl><dt class="spec value" id="val-of_bigarray"><a href="#val-of_bigarray" class="anchor"></a><code><span class="keyword">val</span> of_bigarray : (<span class="type-var">'a</span>, <span class="type-var">_</span>, <span class="type-var">_</span>) Bigarray.Array1.t <span>-></span> <span class="type-var">'a</span> <a href="../Sequence/index.html#type-t">Sequence.t</a></code></dt><dd><p>Iterate on the elements of a 1-D array</p></dd></dl><dl><dt class="spec value" id="val-mmap"><a href="#val-mmap" class="anchor"></a><code><span class="keyword">val</span> mmap : string <span>-></span> char <a href="../Sequence/index.html#type-t">Sequence.t</a></code></dt><dd><p>Map the file into memory, and read the characters.</p></dd></dl></div></body></html>
|
||||
0
1.1/sequence/SequenceLabels/.dune-keep
Normal file
0
1.1/sequence/SequenceLabels/.dune-keep
Normal file
2
1.1/sequence/SequenceLabels/IO/index.html
Normal file
2
1.1/sequence/SequenceLabels/IO/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IO (sequence.SequenceLabels.IO)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">sequence</a> » <a href="../index.html">SequenceLabels</a> » IO</nav><h1>Module <code>SequenceLabels.IO</code></h1></header><dl><dt class="spec value" id="val-lines_of"><a href="#val-lines_of" class="anchor"></a><code><span class="keyword">val</span> lines_of : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> string <a href="../index.html#type-t">t</a></code></dt><dd><p><code>lines_of filename</code> reads all lines of the given file. It raises the same exception as would opening the file and read from it, except from <code>End_of_file</code> (which is caught). The file is <b>always</b> properly closed. Every time the sequence is iterated on, the file is opened again, so different iterations might return different results</p><dl><dt>parameter mode</dt><dd><p>default <code>0o644</code></p></dd></dl><dl><dt>parameter flags</dt><dd><p>default: <code>[Open_rdonly]</code></p></dd></dl></dd></dl><dl><dt class="spec value" id="val-chunks_of"><a href="#val-chunks_of" class="anchor"></a><code><span class="keyword">val</span> chunks_of : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> ?⁠size:int <span>-></span> string <span>-></span> string <a href="../index.html#type-t">t</a></code></dt><dd><p>Read chunks of the given <code>size</code> from the file. The last chunk might be smaller. Behaves like <a href="index.html#val-lines_of"><code>lines_of</code></a> regarding errors and options. Every time the sequence is iterated on, the file is opened again, so different iterations might return different results</p></dd></dl><dl><dt class="spec value" id="val-write_to"><a href="#val-write_to" class="anchor"></a><code><span class="keyword">val</span> write_to : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> string <a href="../index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><p><code>write_to filename seq</code> writes all strings from <code>seq</code> into the given file. It takes care of opening and closing the file.</p><dl><dt>parameter mode</dt><dd><p>default <code>0o644</code></p></dd></dl><dl><dt>parameter flags</dt><dd><p>used by <code>open_out_gen</code>. Default: <code>[Open_creat;Open_wronly]</code>.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-write_bytes_to"><a href="#val-write_bytes_to" class="anchor"></a><code><span class="keyword">val</span> write_bytes_to : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> Bytes.t <a href="../index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><dl><dt>since</dt><dd>0.5.4</dd></dl></dd></dl><dl><dt class="spec value" id="val-write_lines"><a href="#val-write_lines" class="anchor"></a><code><span class="keyword">val</span> write_lines : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> string <a href="../index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><p>Same as <a href="index.html#val-write_to"><code>write_to</code></a>, but intercales <code>'\n'</code> between each string</p></dd></dl><dl><dt class="spec value" id="val-write_bytes_lines"><a href="#val-write_bytes_lines" class="anchor"></a><code><span class="keyword">val</span> write_bytes_lines : ?⁠mode:int <span>-></span> ?⁠flags:Pervasives.open_flag list <span>-></span> string <span>-></span> Bytes.t <a href="../index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><dl><dt>since</dt><dd>0.5.4</dd></dl></dd></dl></div></body></html>
|
||||
2
1.1/sequence/SequenceLabels/Infix/index.html
Normal file
2
1.1/sequence/SequenceLabels/Infix/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Infix (sequence.SequenceLabels.Infix)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">sequence</a> » <a href="../index.html">SequenceLabels</a> » Infix</nav><h1>Module <code>SequenceLabels.Infix</code></h1></header><dl><dt class="spec value" id="val-(--)"><a href="#val-(--)" class="anchor"></a><code><span class="keyword">val</span> (--) : int <span>-></span> int <span>-></span> int <a href="../index.html#type-t">t</a></code></dt><dd><p><code>a -- b</code> is the range of integers from <code>a</code> to <code>b</code>, both included, in increasing order. It will therefore be empty if <code>a > b</code>.</p></dd></dl><dl><dt class="spec value" id="val-(--^)"><a href="#val-(--^)" class="anchor"></a><code><span class="keyword">val</span> (--^) : int <span>-></span> int <span>-></span> int <a href="../index.html#type-t">t</a></code></dt><dd><p><code>a --^ b</code> is the range of integers from <code>b</code> to <code>a</code>, both included, in decreasing order (starts from <code>a</code>). It will therefore be empty if <code>a < b</code>.</p></dd></dl><dl><dt class="spec value" id="val-(>>=)"><a href="#val-(>>=)" class="anchor"></a><code><span class="keyword">val</span> (>>=) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a>) <span>-></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></dt><dd><p>Monadic bind (infix version of <a href="../index.html#val-flat_map"><code>flat_map</code></a></p><dl><dt>since</dt><dd>0.5</dd></dl></dd></dl><dl><dt class="spec value" id="val-(>|=)"><a href="#val-(>|=)" class="anchor"></a><code><span class="keyword">val</span> (>|=) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></dt><dd><p>Infix version of <a href="../index.html#val-map"><code>map</code></a></p><dl><dt>since</dt><dd>0.5</dd></dl></dd></dl><dl><dt class="spec value" id="val-(<*>)"><a href="#val-(<*>)" class="anchor"></a><code><span class="keyword">val</span> (<*>) : (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <a href="../index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> <span class="type-var">'b</span> <a href="../index.html#type-t">t</a></code></dt><dd><p>Applicative operator (product+application)</p><dl><dt>since</dt><dd>0.5</dd></dl></dd></dl><dl><dt class="spec value" id="val-(<+>)"><a href="#val-(<+>)" class="anchor"></a><code><span class="keyword">val</span> (<+>) : <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a></code></dt><dd><p>Concatenation of sequences</p><dl><dt>since</dt><dd>0.5</dd></dl></dd></dl></div></body></html>
|
||||
2
1.1/sequence/SequenceLabels/Map/index.html
Normal file
2
1.1/sequence/SequenceLabels/Map/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Map (sequence.SequenceLabels.Map)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">sequence</a> » <a href="../index.html">SequenceLabels</a> » Map</nav><h1>Module <code>SequenceLabels.Map</code></h1></header><div class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a> = <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec module" id="module-Adapt"><a href="#module-Adapt" class="anchor"></a><code><span class="keyword">module</span> Adapt : <span class="keyword">functor</span> (<a href="Adapt/index.html#argument-1-M">M</a> : Map.S) <span>-></span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="index.html#module-Adapt">Adapt</a>.key = <a href="Adapt/index.html#argument-1-M">M</a>.key <span class="keyword">and</span> <span class="keyword">type</span> 'a <a href="index.html#module-Adapt">Adapt</a>.t = <span class="type-var">'a</span> <a href="Adapt/index.html#argument-1-M">M</a>.t</code></dt><dd><p>Adapt a pre-existing Map module to make it sequence-aware</p></dd></dl><dl><dt class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span class="keyword">module</span> Make : <span class="keyword">functor</span> (<a href="Make/index.html#argument-1-V">V</a> : Map.OrderedType) <span>-></span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="index.html#module-Make">Make</a>.key = <a href="Make/index.html#argument-1-V">V</a>.t</code></dt><dd><p>Create an enriched Map module, with sequence-aware functions</p></dd></dl></div></body></html>
|
||||
2
1.1/sequence/SequenceLabels/Map/module-type-S/index.html
Normal file
2
1.1/sequence/SequenceLabels/Map/module-type-S/index.html
Normal file
File diff suppressed because one or more lines are too long
2
1.1/sequence/SequenceLabels/Set/index.html
Normal file
2
1.1/sequence/SequenceLabels/Set/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Set (sequence.SequenceLabels.Set)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">sequence</a> » <a href="../index.html">SequenceLabels</a> » Set</nav><h1>Module <code>SequenceLabels.Set</code></h1></header><div class="spec module-type" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a> = <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec module" id="module-Adapt"><a href="#module-Adapt" class="anchor"></a><code><span class="keyword">module</span> Adapt : <span class="keyword">functor</span> (<a href="Adapt/index.html#argument-1-X">X</a> : Set.S) <span>-></span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="index.html#module-Adapt">Adapt</a>.elt = <a href="Adapt/index.html#argument-1-X">X</a>.elt <span class="keyword">and</span> <span class="keyword">type</span> <a href="index.html#module-Adapt">Adapt</a>.t = <a href="Adapt/index.html#argument-1-X">X</a>.t</code></dt><dd><p>Create an enriched Set module from the given one</p></dd></dl><dl><dt class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span class="keyword">module</span> Make : <span class="keyword">functor</span> (<a href="Make/index.html#argument-1-X">X</a> : Set.OrderedType) <span>-></span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="index.html#module-Make">Make</a>.elt = <a href="Make/index.html#argument-1-X">X</a>.t</code></dt><dd><p>Functor to build an extended Set module from an ordered type</p></dd></dl></div></body></html>
|
||||
2
1.1/sequence/SequenceLabels/Set/module-type-S/index.html
Normal file
2
1.1/sequence/SequenceLabels/Set/module-type-S/index.html
Normal file
File diff suppressed because one or more lines are too long
2
1.1/sequence/SequenceLabels/index.html
Normal file
2
1.1/sequence/SequenceLabels/index.html
Normal file
File diff suppressed because one or more lines are too long
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (sequence.index)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – sequence</nav></header><h3 id="library-sequence"><a href="#library-sequence" class="anchor"></a>Library sequence</h3><p>This library exposes the following toplevel modules:</p><ul class="modules"><li><a href="Sequence/index.html"><code>Sequence</code></a></li><li><a href="SequenceLabels/index.html"><code>SequenceLabels</code></a></li></ul></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (sequence.index)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – sequence</nav></header><h3 id="library-sequence"><a href="#library-sequence" class="anchor"></a>Library sequence</h3><p>This library exposes the following toplevel modules:</p><ul class="modules"><li><a href="Sequence/index.html"><code>Sequence</code></a></li><li><a href="SequenceLabels/index.html"><code>SequenceLabels</code></a></li></ul><h3 id="library-sequence.bigarray"><a href="#library-sequence.bigarray" class="anchor"></a>Library sequence.bigarray</h3><p>The entry point of this library is the module: <a href="SequenceBigarray/index.html"><code>SequenceBigarray</code></a>.</p></div></body></html>
|
||||
|
|
@ -12,7 +12,6 @@
|
|||
<h2>OCaml package documentation</h2>
|
||||
<ol>
|
||||
<li><a href="iter/index.html">iter</a> <span class="version">1.2</span></li>
|
||||
<li><a href="sequence/index.html">sequence</a> <span class="version">1.1</span></li>
|
||||
</ol>
|
||||
</div>
|
||||
</main>
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -1,7 +1,7 @@
|
|||
@charset "UTF-8";
|
||||
/* Copyright (c) 2016 The odoc contributors. All rights reserved.
|
||||
Distributed under the ISC license, see terms at the end of the file.
|
||||
odoc v1.1.1-949-gd6999cc74 */
|
||||
odoc 1.4.0 */
|
||||
|
||||
/* Fonts */
|
||||
@import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
3
index.md
3
index.md
|
|
@ -2,4 +2,7 @@
|
|||
# Iter
|
||||
|
||||
- [1.2](1.2)
|
||||
- [1.1](1.1)
|
||||
- [1.0](1.0)
|
||||
|
||||
- [dev](dev)
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue