mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2026-01-23 01:26:41 -05:00
deploy: 53f2ffca9f
This commit is contained in:
FardaleM
parent
db1a9a2639
commit
a9407a2279
1469 changed files with 31146 additions and 535 deletions
BIN
dev/_odoc-theme/fonts/DejaVuSansMono-Bold.woff2
Normal file
BIN
dev/_odoc-theme/fonts/DejaVuSansMono-Bold.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/DejaVuSansMono-BoldOblique.woff2
Normal file
BIN
dev/_odoc-theme/fonts/DejaVuSansMono-BoldOblique.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/DejaVuSansMono-Oblique.woff2
Normal file
BIN
dev/_odoc-theme/fonts/DejaVuSansMono-Oblique.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/DejaVuSansMono.woff2
Normal file
BIN
dev/_odoc-theme/fonts/DejaVuSansMono.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/PTC55F.woff2
Normal file
BIN
dev/_odoc-theme/fonts/PTC55F.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/PTC75F.woff2
Normal file
BIN
dev/_odoc-theme/fonts/PTC75F.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/PTS55F.woff2
Normal file
BIN
dev/_odoc-theme/fonts/PTS55F.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/PTS56F.woff2
Normal file
BIN
dev/_odoc-theme/fonts/PTS56F.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/PTS75F.woff2
Normal file
BIN
dev/_odoc-theme/fonts/PTS75F.woff2
Normal file
Binary file not shown.
BIN
dev/_odoc-theme/fonts/PTS76F.woff2
Normal file
BIN
dev/_odoc-theme/fonts/PTS76F.woff2
Normal file
Binary file not shown.
59
dev/_odoc-theme/fonts/fonts.css
Normal file
59
dev/_odoc-theme/fonts/fonts.css
Normal file
|
|
@ -0,0 +1,59 @@
|
|||
@charset "UTF-8";
|
||||
|
||||
/* PT Sans */
|
||||
|
||||
@font-face
|
||||
{ font-family: 'PT-Sans';
|
||||
src: url('PTS55F.woff2') format('woff2');
|
||||
font-weight: 400; font-style: normal; }
|
||||
|
||||
@font-face
|
||||
{ font-family: 'PT-Sans';
|
||||
src: url('PTS75F.woff2') format('woff2');
|
||||
font-weight: 700; font-style: normal; }
|
||||
|
||||
@font-face
|
||||
{ font-family: 'PT-Sans';
|
||||
src: url('PTS56F.woff2') format('woff2');
|
||||
font-weight: 400; font-style: italic; }
|
||||
|
||||
@font-face
|
||||
{ font-family: 'PT-Sans';
|
||||
src: url('PTS76F.woff2') format('woff2');
|
||||
font-weight: 700; font-style: italic; }
|
||||
|
||||
/* PT Sans caption */
|
||||
|
||||
@font-face
|
||||
{ font-family: 'PT-Sans-Caption';
|
||||
src: url('PTC55F.woff2') format('woff2');
|
||||
font-weight: 400; font-style: normal; }
|
||||
|
||||
@font-face
|
||||
{ font-family: 'PT-Sans-Caption';
|
||||
src: url('PTC75F.woff2') format('woff2');
|
||||
font-weight: 700; font-style: normal; }
|
||||
|
||||
/* DejaVu 400 */
|
||||
|
||||
@font-face
|
||||
{ font-family: 'DejaVu-SansMono';
|
||||
src: url('DejaVuSansMono.woff2') format('woff2');
|
||||
font-weight: 400; font-style: normal; }
|
||||
|
||||
@font-face
|
||||
{ font-family: 'DejaVu-SansMono';
|
||||
src: url('DejaVuSansMono-Oblique.woff2') format('woff2');
|
||||
font-weight: 400; font-style: oblique; }
|
||||
|
||||
/* DejaVu 700 */
|
||||
|
||||
@font-face
|
||||
{ font-family: 'DejaVu-SansMono';
|
||||
src: url('DejaVuSansMono-Bold.woff2') format('woff2');
|
||||
font-weight: 700; font-style: normal; }
|
||||
|
||||
@font-face
|
||||
{ font-family: 'DejaVu-SansMono';
|
||||
src: url('DejaVuSansMono-BoldOblique.woff2') format('woff2');
|
||||
font-weight: 700; font-style: oblique; }
|
||||
376
dev/_odoc-theme/manual.css
Normal file
376
dev/_odoc-theme/manual.css
Normal file
|
|
@ -0,0 +1,376 @@
|
|||
@charset "UTF-8";
|
||||
@import url("fonts/fonts.css");
|
||||
@import url("theme.css");
|
||||
|
||||
/* Copyright (c) 2019 The odig programmers. All rights reserved.
|
||||
Distributed under the ISC license, see terms at the end of the file.
|
||||
odig v0.0.8 */
|
||||
|
||||
:root { --font-headings: "PT-Sans-Caption";
|
||||
--font-body: "PT-Sans";
|
||||
--font-mono: "DejaVu-SansMono";
|
||||
|
||||
--size-font: 0.96875rem;
|
||||
--size-font-micro: calc(0.675 * var(--size-font));
|
||||
--size-font-tiny-ratio: 0.75;
|
||||
--size-font-tiny: calc(var(--size-font-tiny-ratio) * var(--size-font));
|
||||
--size-font-small: calc(0.875 * var(--size-font));
|
||||
--size-font-large: calc(1.25 * var(--size-font));
|
||||
--size-font-big: calc(1.5 * var(--size-font));
|
||||
--size-font-huge: calc(1.75 * var(--size-font));
|
||||
--size-font-mono-ratio: 0.87097;
|
||||
--size-line-ratio: 1.5;
|
||||
--size-line: calc(var(--size-line-ratio) * var(--size-font));
|
||||
--size-half-line: calc(0.5 * var(--size-line)); }
|
||||
|
||||
/* 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,select,
|
||||
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,button,input
|
||||
{ margin: 0; padding: 0; border: 0; /* outline: 0; */
|
||||
font-size: inherit; font: inherit; font-weight: 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; }
|
||||
|
||||
/* Note the stylesheet has quite hackish CSS selectors as the markup's
|
||||
classification is sometimes a bit lacking. */
|
||||
|
||||
/* Geometry.
|
||||
See also media adjustements at the end of the stylesheet. */
|
||||
|
||||
body { background-color: var(--color-bg);
|
||||
color: var(--color-fg);
|
||||
font-size: var(--size-font);
|
||||
font-family: var(--font-body), sans-serif;
|
||||
font-weight: 400;
|
||||
line-height: var(--size-line);
|
||||
text-align: left;
|
||||
position: relative;
|
||||
max-width: 120ch;
|
||||
margin: 0 auto;
|
||||
padding: calc(1.5 * var(--size-line));
|
||||
padding-top: calc(0.5 * var(--size-line)); }
|
||||
|
||||
body > * { max-width: 80ch; width: 75% }
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2) /* toc */
|
||||
{ position: absolute;
|
||||
top: 0px; right: 0px;
|
||||
width: 20%;
|
||||
margin-left: var(--size-line);
|
||||
margin-top: calc(2 * var(--size-line));
|
||||
margin-right: var(--size-line);
|
||||
border-top: solid thin var(--color-rule); }
|
||||
|
||||
/* Rules
|
||||
We remove the top one, keep the last one and add one over h1 and h2 */
|
||||
|
||||
body > hr:last-of-type {
|
||||
margin-top: var(--size-line);
|
||||
border-style: none;
|
||||
width: 100%;
|
||||
max-width: 100%;
|
||||
text-align: right;
|
||||
border-top: solid thin var(--color-rule); }
|
||||
|
||||
body > hr:first-of-type { display: none } /* order with last-of-type imporant */
|
||||
h1, h2 { border-top: solid thin var(--color-rule) }
|
||||
|
||||
/* Hacks */
|
||||
|
||||
body > a > img /* Navigation arrows, a bit problematic for dark themes */
|
||||
{ display: inline-block; margin:0;
|
||||
background-color: var(--color-code-block-bg); /* bof */ }
|
||||
|
||||
body > p br, h1 br { display: none; } /* brs should die */
|
||||
|
||||
/* Basic markup */
|
||||
|
||||
h1, h2, h3, h4, h5, h6
|
||||
{ font-family: var(--font-headings), sans-serif;
|
||||
font-weight: 400;
|
||||
text-transform: uppercase;
|
||||
margin-top: var(--size-line); }
|
||||
|
||||
h1, h2 { line-height: calc(1.5 * var(--size-line));
|
||||
padding-top: calc(0.75 * var(--size-line)); }
|
||||
|
||||
hr + h1, hr + h2 { margin-top: calc(0.25 * var(--size-line)) }
|
||||
|
||||
h1 { font-size: var(--size-font-huge); }
|
||||
h2 { font-size: var(--size-font-big); }
|
||||
h3 { font-size: var(--size-font-large); }
|
||||
|
||||
div, nav, p, ol, ul, dl, pre, table, blockquote
|
||||
{ margin-top: var(--size-half-line); }
|
||||
|
||||
ul, ol { list-style-position: outside }
|
||||
ul { list-style-type: square }
|
||||
ul > li { margin-left: 2.25ch; }
|
||||
ol > li { margin-left: 2ch; }
|
||||
|
||||
em { font-style: italic }
|
||||
b, strong { font-weight: 700 }
|
||||
small { font-size: var(--size-font-small); }
|
||||
|
||||
sup { vertical-align: super; }
|
||||
sub { vertical-align: sub; }
|
||||
sup, sub { font-size : calc(1em * var(--size-font-tiny-ratio));
|
||||
line-height: 0; margin-left: 0.2ex; }
|
||||
|
||||
img { display: block;
|
||||
margin-top: var(--size-half-line); margin-bottom: var(--size-half-line); }
|
||||
|
||||
blockquote { margin-left: var(--size-half-line); }
|
||||
|
||||
/* Links and anchors. Note anchors need to be refined a bit further down
|
||||
in certain cases. */
|
||||
|
||||
a { text-decoration:none; color: var(--color-link); }
|
||||
a:hover { box-shadow:0 1px 0 0 var(--color-link); }
|
||||
a.anchor:before { content: "#" }
|
||||
a.anchor:hover { box-shadow: none; text-decoration: underline; }
|
||||
*:hover > a.anchor { visibility: visible }
|
||||
a.anchor
|
||||
{ visibility: hidden; position: absolute;
|
||||
font-weight: normal;
|
||||
font-style: normal;
|
||||
margin-left: -2.5ch;
|
||||
padding-right: 1ch; padding-left: 1ch; /* To remain selectable */
|
||||
color: var(--color-link);
|
||||
text-align: right;
|
||||
}
|
||||
|
||||
*:target /* Linked highlight */
|
||||
{ background-color: var(--color-bg-highlight);
|
||||
box-shadow: 0 0 0 3px var(--color-bg-highlight) }
|
||||
|
||||
/* Code and code highlighting */
|
||||
|
||||
.c003, .c004, .c005, .c006, .c015,
|
||||
code, pre
|
||||
{ font-family: var(--font-mono), monospace;
|
||||
font-weight: 400;
|
||||
font-size: calc(1em * var(--size-font-mono-ratio));
|
||||
color: var(--color-code-fg); }
|
||||
|
||||
.c004, .c002 { color: var(--color-code-type-id); }
|
||||
.c005 { font-style: oblique }
|
||||
.c006 { font-weight: 700 }
|
||||
.c015 { text-align: left }
|
||||
|
||||
pre .c003, pre .c004, pre .c005, pre .c006,
|
||||
pre code { font-size: inherit } /* don't apply transform twice... */
|
||||
a code { color: inherit }
|
||||
h1 code, h2 code, h3 code, h4 code, h5 code, h6 code { text-transform: none; }
|
||||
|
||||
pre { background: var(--color-code-block-bg);
|
||||
padding-left: 0.8ch; padding-right: 0.8ch;
|
||||
margin-left: -0.8ch; margin-right: -0.8ch;
|
||||
padding-top: 1ch; padding-bottom: 1ch;
|
||||
white-space: pre-wrap;
|
||||
word-wrap: break-word; }
|
||||
|
||||
/* Table of contents, like in odoc.css except we don't have a class */
|
||||
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2)
|
||||
{ font-size: var(--size-font-small); }
|
||||
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2) a
|
||||
{ color : var(--color-fg); }
|
||||
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2) a:hover
|
||||
{ color : var(--color-link); }
|
||||
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2)
|
||||
{ font-family: var(--font-headings); text-transform: uppercase;
|
||||
list-style-type: none; padding-top: var(--size-line) }
|
||||
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2) li
|
||||
{ margin-left: 0; padding-left: 3.25ch; text-indent: -3.25ch; }
|
||||
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2) ul
|
||||
{ font-family: var(--font-body);
|
||||
text-transform: none;
|
||||
margin-top:0; }
|
||||
|
||||
/* toplevel examples */
|
||||
|
||||
div.caml-example.toplevel div.caml-input::before { content: "#" }
|
||||
div.caml-input, div.caml-output { margin-top: 0; }
|
||||
|
||||
.caml-input {}
|
||||
.caml-output { color: var(--color-code-string) /* why not */ }
|
||||
|
||||
/* Other HeVeA classes */
|
||||
|
||||
.c000 { border-spacing: 2ch; border-collapse: separate; margin: 0 auto; }
|
||||
.c001 { border-spacing: 1ch; border-collapse: separate }
|
||||
.c008 { font-size: var(--size-font-small) }
|
||||
.c009 { font-style:italic }
|
||||
.c010 { font-style:italic; color:var(--color-link) }
|
||||
.c011 { font-style:italic; font-weight:700 }
|
||||
.c012 { font-style:italic }
|
||||
.c013 { font-style:italic }
|
||||
.c018 { text-align: right }
|
||||
.c019 { text-align: left}
|
||||
.dcenter { margin: 0 auto; }
|
||||
.description { margin-left: var(--size-line) }
|
||||
.dd-description br { display: none }
|
||||
dd + dt { margin-top: var(--size-half-line) }
|
||||
|
||||
dt .c003 { font-style:normal; font-weight:700 } /* options */
|
||||
|
||||
.indexenv { list-style-type: none }
|
||||
.indexenv li { margin-left: 0 }
|
||||
|
||||
/* Page specific */
|
||||
|
||||
/* Cover page */
|
||||
|
||||
div.maintitle > span > span
|
||||
{ text-transform: uppercase;
|
||||
font-family: var(--font-headings);
|
||||
line-height: var(--size-line-ratio);
|
||||
font-size: calc(2.25 * var(--size-font)) !important;
|
||||
margin-left: -0.25ch; /* compensate nbsp */ }
|
||||
|
||||
div.maintitle > span > span > br { display: none }
|
||||
div.maintitle > span > span > span
|
||||
{ display: block;
|
||||
text-transform: none;
|
||||
font-style: italic;
|
||||
font-family: var(--font-body);
|
||||
font-size: var(--size-font-big) !important; }
|
||||
|
||||
div.maintitle > span > span > span > span /* ugh */
|
||||
{ font-style: normal;
|
||||
line-height: var(--size-line);
|
||||
font-size: var(--size-font) !important; }
|
||||
|
||||
div.maintitle > span > span > span > span > span /* ugh bis */
|
||||
{ font-size: var(--size-font-small) !important;
|
||||
font-style: italic;
|
||||
margin-left: -1.25ch; }
|
||||
|
||||
div.maintitle + blockquote hr { display : none }
|
||||
div.maintitle + blockquote
|
||||
{ margin: 0;
|
||||
/* margin-top: calc(-1 * var(--size-line)); chrome but not FF, bah... */
|
||||
font-size: var(--size-font-small);
|
||||
border-bottom: solid thin var(--color-rule);
|
||||
padding-bottom: var(--size-half-line); }
|
||||
|
||||
div.maintitle ~ blockquote:last-of-type { display: none } /* remove branding */
|
||||
|
||||
div.maintitle ~ ul:first-of-type:not(.itemize):not(.ftoc2) /* undo side toc */
|
||||
{ position: static;
|
||||
padding: 0;
|
||||
margin: 0; margin-top: var(--size-line);
|
||||
width: 100%; }
|
||||
|
||||
div.maintitle ~ br { display: none }
|
||||
div.maintitle ~ ul:first-of-type:not(.itemize):not(.ftoc2) > li { margin: 0; }
|
||||
div.maintitle ~ ul:first-of-type:not(.itemize):not(.ftoc2) a
|
||||
{ color: var(--color-link) }
|
||||
|
||||
div.maintitle ~ table { margin-top: 0 }
|
||||
div.maintitle ~ ul:first-of-type:not(.itemize):not(.ftoc2)
|
||||
{ list-style-type: none;
|
||||
font-family: inherit; text-transform: inherit;
|
||||
font-size: inherit;
|
||||
margin-top: var(--size-half-line);
|
||||
border: none; }
|
||||
|
||||
div.maintitle ~ ul { list-style-type: none }
|
||||
div.maintitle ~ ul li { margin-left: 0 }
|
||||
|
||||
/* Contents page */
|
||||
|
||||
h1#sec1 + ul:first-of-type /* undo side toc */
|
||||
{ position: static;
|
||||
list-style-type: none;
|
||||
margin: 0; margin-top: var(--size-half-line);
|
||||
width: 100%; border: none; padding: 0;
|
||||
font-size: var(--size-font-big); }
|
||||
|
||||
h1#sec1 + ul:first-of-type li
|
||||
{ margin-left: 0; padding-left: 0; text-indent: 0 }
|
||||
|
||||
h1#sec1 ~ ul ul
|
||||
{ list-style-type: none; font-size: var(--size-font-large); font-style: italic;}
|
||||
|
||||
h1#sec1 ~ ul ul ul
|
||||
{ font-size: var(--size-font); font-style: normal;
|
||||
margin-top: var(--size-half-line); }
|
||||
|
||||
h1#sec1 ~ ul ul ul ul { margin-left: 2.5ch; margin-top: 0;}
|
||||
h1#sec1 ~ ul > li { margin-top: var(--size-line); }
|
||||
h1#sec1 ~ ul > li > ul > li { margin-top: var(--size-half-line); }
|
||||
|
||||
/* Media adjustments */
|
||||
|
||||
@media only screen and (min-width:160ch) /* and (min-height: 60rem) */
|
||||
{
|
||||
:root { --size-font: 1.125rem; } /* consider using vmin units */
|
||||
}
|
||||
|
||||
@media only screen and (max-width:80ch)
|
||||
{
|
||||
body { padding: var(--size-line); }
|
||||
body > * { width: 100%; }
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2)
|
||||
{ position: static;
|
||||
margin: 0; margin-top: var(--size-line);
|
||||
width: 100%; }
|
||||
pre { font-size: var(--size-font-tiny); }
|
||||
}
|
||||
|
||||
@media print
|
||||
{
|
||||
* { -webkit-print-color-adjust: exact; }
|
||||
.content nav:first-child { visibility: hidden }
|
||||
body > * { width: 100%; }
|
||||
body > ul:first-of-type:not(.itemize):not(.ftoc2)
|
||||
{ position: static; width: 100%;
|
||||
margin: 0; margin-top: var(--size-line); }
|
||||
|
||||
/* odig.light with slight adjustements */
|
||||
:root
|
||||
{ --color-bg: white;
|
||||
--color-bg-highlight: #CAD7EF;
|
||||
--color-fg: black;
|
||||
--color-rule: #DADBDB;
|
||||
|
||||
--color-code-block-bg: #E8E8E8;
|
||||
--color-code-fg: #16191D;
|
||||
--color-code-comment: #747679;
|
||||
--color-code-keyword: #874aa9;
|
||||
--color-code-type-id: #a9874a;
|
||||
--color-code-string: #4aa987;
|
||||
|
||||
--color-link: #557dcc;
|
||||
--color-broken-link: #f71414; }
|
||||
}
|
||||
|
||||
/*
|
||||
Copyright (c) 2019 The odig programmers
|
||||
|
||||
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.
|
||||
*/
|
||||
329
dev/_odoc-theme/odoc.css
Normal file
329
dev/_odoc-theme/odoc.css
Normal file
|
|
@ -0,0 +1,329 @@
|
|||
@charset "UTF-8";
|
||||
@import url("fonts/fonts.css");
|
||||
@import url("theme.css");
|
||||
|
||||
/* Copyright (c) 2019 The odig programmers. All rights reserved.
|
||||
Distributed under the ISC license, see terms at the end of the file. */
|
||||
|
||||
/* 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,select,
|
||||
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,button,input
|
||||
{ margin: 0; padding: 0; border: 0; /* outline: 0; */
|
||||
font-size: inherit; font: inherit; font-weight: 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; }
|
||||
|
||||
/* Basic geometry */
|
||||
|
||||
:root { --font-headings: "PT-Sans-Caption";
|
||||
--font-body: "PT-Sans";
|
||||
--font-mono: "DejaVu-SansMono";
|
||||
--size-font: 0.96875rem;
|
||||
--size-font-micro: calc(0.675 * var(--size-font));
|
||||
--size-font-tiny-ratio: 0.75;
|
||||
--size-font-tiny: calc(var(--size-font-tiny-ratio) * var(--size-font));
|
||||
--size-font-small: calc(0.875 * var(--size-font));
|
||||
--size-font-large: calc(1.25 * var(--size-font));
|
||||
--size-font-big: calc(1.5 * var(--size-font));
|
||||
--size-font-huge: calc(1.75 * var(--size-font));
|
||||
--size-font-mono-ratio: 0.87097;
|
||||
--size-font-mono-ratio: 0.865;
|
||||
--size-line-ratio: 1.5;
|
||||
--size-line: calc(var(--size-line-ratio) * var(--size-font));
|
||||
--size-half-line: calc(0.5 * var(--size-line));
|
||||
--size-fourth-line: calc(0.25 * var(--size-line)); }
|
||||
|
||||
.odoc { background-color: var(--color-bg);
|
||||
color: var(--color-fg);
|
||||
font-size: var(--size-font);
|
||||
font-family: var(--font-body), sans-serif;
|
||||
font-weight: 400;
|
||||
line-height: var(--size-line);
|
||||
text-align: left;
|
||||
display: grid;
|
||||
margin: 0 auto;
|
||||
max-width: 130ch;
|
||||
grid-template-columns: minmax(50ch,76ch) minmax(23ch,1fr);
|
||||
grid-column-gap: calc(2 * var(--size-line));
|
||||
grid-template-areas: "nav nav"
|
||||
"header toc"
|
||||
"content toc";
|
||||
padding: calc(1.5 * var(--size-line));
|
||||
padding-top: calc(0.5 * var(--size-line)); }
|
||||
|
||||
.odoc-nav { grid-area: nav; }
|
||||
.odoc-preamble { grid-area: header; }
|
||||
.odoc-content { grid-area: content; margin: 0 }
|
||||
.odoc-toc
|
||||
{ grid-area: toc;
|
||||
margin-top: var(--size-line);
|
||||
border-top: solid thin var(--color-rule); }
|
||||
|
||||
/* Media adjustments */
|
||||
|
||||
@media only screen and (min-width:160ch) /* and (min-height: 60rem) */
|
||||
{
|
||||
:root { --size-font: 1.125rem; } /* consider using vmin units */
|
||||
}
|
||||
|
||||
@media only screen and (max-width:80ch) /* Basically mobile */
|
||||
{
|
||||
.odoc
|
||||
{ padding: var(--size-line);
|
||||
grid-template-columns: auto;
|
||||
grid-template-rows: none;
|
||||
grid-template-areas: "nav"
|
||||
"header"
|
||||
"toc"
|
||||
"content"; }
|
||||
.odoc-toc { margin: 0; margin-top: var(--size-line); }
|
||||
pre { font-size: var(--size-font-tiny); }
|
||||
}
|
||||
|
||||
@media print
|
||||
{
|
||||
* { -webkit-print-color-adjust: exact; }
|
||||
.odoc-nav { visibility: hidden }
|
||||
.odoc-toc { margin: 0; margin-top: var(--size-line); }
|
||||
|
||||
/* odig.light with slight adjustements */
|
||||
:root
|
||||
{ --color-bg: white;
|
||||
--color-bg-highlight: #CAD7EF;
|
||||
--color-fg: black;
|
||||
--color-rule: #DADBDB;
|
||||
|
||||
--color-code-block-bg: #E8E8E8;
|
||||
--color-code-fg: #16191D;
|
||||
--color-code-comment: #747679;
|
||||
--color-code-keyword: #874aa9;
|
||||
--color-code-type-id: #a9874a;
|
||||
--color-code-string: #4aa987;
|
||||
|
||||
--color-link: #557dcc;
|
||||
--color-broken-link: #f71414; }
|
||||
}
|
||||
|
||||
/* Block level markup */
|
||||
|
||||
header > * + *, div > * + *, details > * + *
|
||||
{ margin-top: var(--size-half-line); }
|
||||
|
||||
ul + * , ol + * { margin-top: 0; }
|
||||
ul, ol { margin-top: var(--size-fourth-line);
|
||||
margin-bottom: var(--size-fourth-line);
|
||||
list-style-position: outside; }
|
||||
|
||||
li *:first-child, li ol, li ul { margin-top: 0; }
|
||||
|
||||
ul { list-style-type: square; }
|
||||
ul > li { margin-left: 2.25ch; }
|
||||
ol > li { margin-left: 2ch; }
|
||||
ol li::marker
|
||||
{ font-family: var(--font-headings), sans-serif;
|
||||
font-size: var(--size-font-small); }
|
||||
|
||||
img
|
||||
{ display: block;
|
||||
margin-top: var(--size-half-line);
|
||||
margin-bottom: var(--size-half-line); }
|
||||
|
||||
/* Headings and horizontal rulers */
|
||||
|
||||
h1, h2, .odoc-content > *:first-child
|
||||
{ border-top: solid thin var(--color-rule);
|
||||
padding-top: calc(0.75 * var(--size-line));
|
||||
margin-top: var(--size-line); }
|
||||
|
||||
h1, h2, h3, h4, h5, h6
|
||||
{ font-family: var(--font-headings), sans-serif;
|
||||
font-weight: 400;
|
||||
text-transform: uppercase;
|
||||
margin-top: var(--size-line); }
|
||||
|
||||
h1, h2 { line-height: calc(1.5 * var(--size-line)); }
|
||||
h1 { font-size: var(--size-font-huge); }
|
||||
h2 { font-size: var(--size-font-big); }
|
||||
h3 { font-size: var(--size-font-large); }
|
||||
|
||||
/* Phrasing content */
|
||||
|
||||
em { font-style: italic }
|
||||
b, strong { font-weight: 700 }
|
||||
small { font-size: var(--size-font-small); }
|
||||
|
||||
sup { vertical-align: super; }
|
||||
sub { vertical-align: sub; }
|
||||
sup, sub
|
||||
{ font-size : calc(1em * var(--size-font-tiny-ratio));
|
||||
line-height: 0; margin-left: 0.2ex; }
|
||||
|
||||
/* Code and code highlighting */
|
||||
|
||||
code, pre
|
||||
{ font-family: var(--font-mono), monospace;
|
||||
font-weight: 400;
|
||||
font-size: calc(1em * var(--size-font-mono-ratio));
|
||||
color: var(--color-code-fg);
|
||||
overflow-wrap: anywhere; }
|
||||
|
||||
pre code { font-size: inherit } /* don't apply transform twice... */
|
||||
a code { color: inherit }
|
||||
h1 code, h2 code, h3 code, h4 code, h5 code, h6 code { text-transform: none; }
|
||||
|
||||
pre
|
||||
{ background: var(--color-code-block-bg);
|
||||
padding-left: 0.8ch; padding-right: 0.8ch;
|
||||
margin-left: -0.8ch; margin-right: -0.8ch;
|
||||
padding-top: 1ch; padding-bottom: 1ch;
|
||||
white-space: pre-wrap;
|
||||
overflow-wrap: break-word; }
|
||||
|
||||
.arrow { white-space: nowrap }
|
||||
.keyword , .hljs-keyword { color : var(--color-code-keyword); }
|
||||
.hljs-type { color : var(--color-code-type-id); }
|
||||
.hljs-string { color : var(--color-code-string); }
|
||||
.hljs-comment { color : var(--color-code-comment); font-style: italic; }
|
||||
|
||||
/* Links and anchors. Note anchors need to be refined a bit further down
|
||||
in certain cases. */
|
||||
|
||||
a { text-decoration:none; color: var(--color-link); }
|
||||
a:hover { box-shadow:0 1px 0 0 var(--color-link); }
|
||||
a.anchor:before { content: "#" }
|
||||
a.anchor:hover { box-shadow: none; text-decoration: underline; }
|
||||
*:hover > a.anchor { visibility: visible }
|
||||
a.anchor
|
||||
{ visibility: hidden; position: absolute;
|
||||
font-weight: normal;
|
||||
font-style: normal;
|
||||
margin-left: -2.5ch;
|
||||
padding-right: 1ch; padding-left: 1ch; /* To remain selectable */
|
||||
color: var(--color-link);
|
||||
text-align: right; }
|
||||
|
||||
*:target /* Linked highlight */
|
||||
{ background-color: var(--color-bg-highlight);
|
||||
box-shadow: 0 0 0 3px var(--color-bg-highlight) }
|
||||
|
||||
.xref-unresolved { box-shadow:0 1px 0 0 var(--color-broken-link)}
|
||||
|
||||
/* Table of contents */
|
||||
|
||||
.odoc-toc { font-size: var(--size-font-small); }
|
||||
.odoc-toc a { color : var(--color-fg); }
|
||||
.odoc-toc a:hover { color : var(--color-link) }
|
||||
.odoc-toc ul
|
||||
{ font-family: var(--font-headings); text-transform: uppercase;
|
||||
margin-top: var(--size-line);
|
||||
list-style-type: none; }
|
||||
|
||||
.odoc-toc ul ul
|
||||
{ font-family: var(--font-body); text-transform: none; margin-top:0; }
|
||||
|
||||
.odoc-toc ul ul ul { margin-left:1.5ch }
|
||||
.odoc-toc li { margin-left: 0; padding-left: 1ch; text-indent: -1ch; }
|
||||
.odoc-toc > ul > li { margin-top: calc(0.25 * var(--size-half-line)) }
|
||||
.odoc-toc > ul > li > ul > li:last-child
|
||||
{ margin-bottom: var(--size-half-line) }
|
||||
|
||||
.odoc-toc ul ul li { margin-left: 0; padding-left: 0; }
|
||||
|
||||
/* Module structure items */
|
||||
|
||||
.odoc-spec { padding-bottom: var(--size-fourth-line); }
|
||||
.spec { margin-top: 0; }
|
||||
.spec-doc { margin-top:0; padding-left: 1ch; }
|
||||
.spec-doc > *:first-child { margin-top: 0 }
|
||||
|
||||
/* Indent on wrap */
|
||||
.spec, .spec td:first-child { padding-left: 4ch; text-indent: -4ch }
|
||||
.spec td.field { padding-left: 6ch }
|
||||
|
||||
.spec .def-doc .comment-delim + * { margin-top: 0 }
|
||||
.spec .def-doc .comment-delim /* make them invisible yet copy-pastable */
|
||||
{ position: absolute; width: 1px; height: 1px; overflow: hidden; }
|
||||
|
||||
/* But we don't do it for types for now because of variants and
|
||||
records. This makes :target highlight be off. And poses
|
||||
other problems (e.g. need to indent back the last ] or }.
|
||||
A better markup strategy should be found here. */
|
||||
.spec.type { padding-left: 0; text-indent: 0 }
|
||||
.spec.type > a.anchor
|
||||
{ padding-left: 1ch; padding-right: 1ch; /* values from a.anchor */ }
|
||||
|
||||
.spec td > a.anchor, .spec > a.anchor
|
||||
{ padding-right: 0.5ch; padding-left: 2ch; }
|
||||
|
||||
.odoc-spec table { margin-top: 0 }
|
||||
.odoc-spec .def-doc { padding-left: 1ch; }
|
||||
.odoc-spec .def-doc *:first-child { margin-top: 0 }
|
||||
|
||||
.odoc-include summary { cursor: pointer }
|
||||
|
||||
/* Package, module and @tag lists
|
||||
|
||||
Allowing indent on wrap with the anchor makes all this quite convoluted.
|
||||
Is there a better way ? */
|
||||
|
||||
.packages, .modules, .at-tags { list-style-type: none; margin-left: -2ch; }
|
||||
.packages li, .modules li, .at-tags li { padding-left: 2ch; text-indent: -2ch; }
|
||||
.modules li a.anchor, .packages li a.anchor
|
||||
{ padding-right: 0.5ch; padding-left: 2ch; }
|
||||
|
||||
.synopsis { padding-left: 1ch; }
|
||||
.version { font-size: var(--size-font-micro); }
|
||||
.at-tag { text-transform : capitalize }
|
||||
|
||||
/* Package page */
|
||||
|
||||
h1 .version, h1 nav { font-size: var(--size-font); line-height:0 }
|
||||
h1 nav
|
||||
{ display: inline-block;
|
||||
font-family: var(--font-body);
|
||||
text-transform: capitalize; }
|
||||
|
||||
.package.info td:first-child { padding-right: 2ch; min-width: 13ch}
|
||||
.package.info ul { list-style-type: none; display: inline; margin:0; padding:0}
|
||||
.package.info li { display: inline-block; margin:0; margin-right:1ex; }
|
||||
#info-authors li, #info-maintainers li { display: block; }
|
||||
|
||||
/* Package index page */
|
||||
|
||||
.by-name nav a
|
||||
{ font-family: var(--font-headings);
|
||||
font-size: var(--size-font-large);
|
||||
text-transform: uppercase;
|
||||
margin-right: 1ch;
|
||||
display: inline-block; }
|
||||
|
||||
.by-tag ol { list-style-type: none; }
|
||||
.by-tag ol.tags li { margin-left: 1ch; display: inline-block }
|
||||
.by-tag td:first-child
|
||||
{ font-family: var(--font-headings);
|
||||
font-size: var(--size-font-large);
|
||||
text-transform: uppercase; }
|
||||
|
||||
/*
|
||||
Copyright (c) 2019 The odig programmers
|
||||
|
||||
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.
|
||||
*/
|
||||
34
dev/_odoc-theme/theme.css
Normal file
34
dev/_odoc-theme/theme.css
Normal file
|
|
@ -0,0 +1,34 @@
|
|||
:root
|
||||
{ --color-bg: #F6F6F6;
|
||||
--color-bg-highlight: #CAD7EF;
|
||||
--color-fg: #1F2227;
|
||||
--color-rule: #DADBDB;
|
||||
|
||||
--color-code-block-bg: #E8E8E8;
|
||||
--color-code-fg: #16191D;
|
||||
--color-code-comment: #747679;
|
||||
--color-code-keyword: #874aa9;
|
||||
--color-code-type-id: #a9874a;
|
||||
--color-code-string: #4aa987;
|
||||
|
||||
--color-link: #557dcc;
|
||||
--color-broken-link: #f71414; }
|
||||
|
||||
@media (prefers-color-scheme: dark)
|
||||
{
|
||||
:root
|
||||
{ --color-bg: #181B20;
|
||||
--color-bg-highlight: #303644;
|
||||
--color-fg: #8C8D90;
|
||||
--color-rule: #2F3236;
|
||||
|
||||
--color-code-block-bg: #24272A;
|
||||
--color-code-fg: #A3A4A6;
|
||||
--color-code-comment: #747679;
|
||||
--color-code-keyword: #7F668D;
|
||||
--color-code-type-id: #8D7F66;
|
||||
--color-code-string: #668d7f;
|
||||
|
||||
--color-link: #7788AA;
|
||||
--color-broken-link: #900505; }
|
||||
}
|
||||
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>L (containers-data.CCBijection.Make.L)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCBijection</a> » <a href="../index.html">Make</a> » L</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.L</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>L (containers-data.CCBijection.Make.L)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCBijection</a> » <a href="../index.html">Make</a> » L</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.L</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>R (containers-data.CCBijection.Make.R)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCBijection</a> » <a href="../index.html">Make</a> » R</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.R</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>R (containers-data.CCBijection.Make.R)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCBijection</a> » <a href="../index.html">Make</a> » R</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.R</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
File diff suppressed because one or more lines are too long
|
|
@ -1,5 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCBijection (containers-data.CCBijection)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCBijection</nav><header class="odoc-preamble"><h1>Module <code><span>CCBijection</span></code></h1><p>Functor to build a bijection Represents 1-to-1 mappings between two types. Each element from the "left" is mapped to one "right" value, and conversely.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 2.1</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-OrderedType"><a href="#module-type-OrderedType" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-OrderedType/index.html">OrderedType</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCBijection (containers-data.CCBijection)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCBijection</nav><header class="odoc-preamble"><h1>Module <code><span>CCBijection</span></code></h1><p>Functor to build a bijection Represents 1-to-1 mappings between two types. Each element from the "left" is mapped to one "right" value, and conversely.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 2.1</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-OrderedType"><a href="#module-type-OrderedType" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-OrderedType/index.html">OrderedType</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span>
|
||||
(<a href="Make/argument-1-L/index.html">L</a> : <a href="module-type-OrderedType/index.html">OrderedType</a>)
|
||||
(<a href="Make/argument-2-R/index.html">R</a> : <a href="module-type-OrderedType/index.html">OrderedType</a>) :
|
||||
<a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-left">left</a> = <a href="Make/argument-1-L/index.html#type-t">L.t</a></span> <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-right">right</a> = <a href="Make/argument-2-R/index.html#type-t">R.t</a></span></span></code></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>OrderedType (containers-data.CCBijection.OrderedType)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCBijection</a> » OrderedType</nav><header class="odoc-preamble"><h1>Module type <code><span>CCBijection.OrderedType</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>OrderedType (containers-data.CCBijection.OrderedType)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCBijection</a> » OrderedType</nav><header class="odoc-preamble"><h1>Module type <code><span>CCBijection.OrderedType</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
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>_ (containers-data.CCBitField.Make._)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCBitField</a> » <a href="../index.html">Make</a> » _</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make._</span></code></h1></header><div class="odoc-content"></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>_ (containers-data.CCBitField.Make._)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCBitField</a> » <a href="../index.html">Make</a> » _</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make._</span></code></h1></header><div class="odoc-content"></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Make (containers-data.CCBitField.Make)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCBitField</a> » Make</nav><header class="odoc-preamble"><h1>Module <code><span>CCBitField.Make</span></code></h1><p>Create a new bitfield type</p></header><nav class="odoc-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-_"><a href="#argument-1-_" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="argument-1-_/index.html">_</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span class="keyword">private</span> int</span></code></div><div class="spec-doc"><p>Generative type of bitfields. Each instantiation of the functor should create a new, incompatible type</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span><span class="keyword">val</span> empty : <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Empty bitfields (all bits 0).</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-field"><a href="#type-field" class="anchor"></a><code><span><span class="keyword">type</span> field</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get"><a href="#val-get" class="anchor"></a><code><span><span class="keyword">val</span> get : <span><a href="#type-field">field</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p>Get the value of this field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-set"><a href="#val-set" class="anchor"></a><code><span><span class="keyword">val</span> set : <span><a href="#type-field">field</a> <span class="arrow">-></span></span> <span>bool <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Set the value of this field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mk_field"><a href="#val-mk_field" class="anchor"></a><code><span><span class="keyword">val</span> mk_field : <span>unit <span class="arrow">-></span></span> <a href="#type-field">field</a></span></code></div><div class="spec-doc"><p>Make a new field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-freeze"><a href="#val-freeze" class="anchor"></a><code><span><span class="keyword">val</span> freeze : <span>unit <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p>Prevent new fields from being added. From now on, creating a field will raise Frozen.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-total_width"><a href="#val-total_width" class="anchor"></a><code><span><span class="keyword">val</span> total_width : <span>unit <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>Current width of the bitfield.</p></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Make (containers-data.CCBitField.Make)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCBitField</a> » Make</nav><header class="odoc-preamble"><h1>Module <code><span>CCBitField.Make</span></code></h1><p>Create a new bitfield type</p></header><nav class="odoc-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-_"><a href="#argument-1-_" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="argument-1-_/index.html">_</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span class="keyword">private</span> int</span></code></div><div class="spec-doc"><p>Generative type of bitfields. Each instantiation of the functor should create a new, incompatible type</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span><span class="keyword">val</span> empty : <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Empty bitfields (all bits 0).</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-field"><a href="#type-field" class="anchor"></a><code><span><span class="keyword">type</span> field</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get"><a href="#val-get" class="anchor"></a><code><span><span class="keyword">val</span> get : <span><a href="#type-field">field</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p>Get the value of this field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-set"><a href="#val-set" class="anchor"></a><code><span><span class="keyword">val</span> set : <span><a href="#type-field">field</a> <span class="arrow">-></span></span> <span>bool <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Set the value of this field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mk_field"><a href="#val-mk_field" class="anchor"></a><code><span><span class="keyword">val</span> mk_field : <span>unit <span class="arrow">-></span></span> <a href="#type-field">field</a></span></code></div><div class="spec-doc"><p>Make a new field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-freeze"><a href="#val-freeze" class="anchor"></a><code><span><span class="keyword">val</span> freeze : <span>unit <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p>Prevent new fields from being added. From now on, creating a field will raise Frozen.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-total_width"><a href="#val-total_width" class="anchor"></a><code><span><span class="keyword">val</span> total_width : <span>unit <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>Current width of the bitfield.</p></div></div></div></body></html>
|
||||
|
|
@ -1,5 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCBitField (containers-data.CCBitField)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCBitField</nav><header class="odoc-preamble"><h1>Module <code><span>CCBitField</span></code></h1><p>Efficient Bit Field for up to 31 or 61 fiels</p><p>This module defines efficient bitfields up to 31 or 61 bits (depending on the architecture) in a relatively type-safe way.</p><pre class="language-ocaml"><code>module B = CCBitField.Make(struct end);;
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCBitField (containers-data.CCBitField)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCBitField</nav><header class="odoc-preamble"><h1>Module <code><span>CCBitField</span></code></h1><p>Efficient Bit Field for up to 31 or 61 fiels</p><p>This module defines efficient bitfields up to 31 or 61 bits (depending on the architecture) in a relatively type-safe way.</p><pre class="language-ocaml"><code>module B = CCBitField.Make(struct end);;
|
||||
|
||||
let x = B.mk_field ()
|
||||
let y = B.mk_field ()
|
||||
|
|
|
|||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>S (containers-data.CCBitField.S)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCBitField</a> » S</nav><header class="odoc-preamble"><h1>Module type <code><span>CCBitField.S</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#bitfield-signature">Bitfield Signature</a></li></ul></nav><div class="odoc-content"><h3 id="bitfield-signature"><a href="#bitfield-signature" class="anchor"></a>Bitfield Signature</h3><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span class="keyword">private</span> int</span></code></div><div class="spec-doc"><p>Generative type of bitfields. Each instantiation of the functor should create a new, incompatible type</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span><span class="keyword">val</span> empty : <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Empty bitfields (all bits 0).</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-field"><a href="#type-field" class="anchor"></a><code><span><span class="keyword">type</span> field</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get"><a href="#val-get" class="anchor"></a><code><span><span class="keyword">val</span> get : <span><a href="#type-field">field</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p>Get the value of this field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-set"><a href="#val-set" class="anchor"></a><code><span><span class="keyword">val</span> set : <span><a href="#type-field">field</a> <span class="arrow">-></span></span> <span>bool <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Set the value of this field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mk_field"><a href="#val-mk_field" class="anchor"></a><code><span><span class="keyword">val</span> mk_field : <span>unit <span class="arrow">-></span></span> <a href="#type-field">field</a></span></code></div><div class="spec-doc"><p>Make a new field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-freeze"><a href="#val-freeze" class="anchor"></a><code><span><span class="keyword">val</span> freeze : <span>unit <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p>Prevent new fields from being added. From now on, creating a field will raise Frozen.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-total_width"><a href="#val-total_width" class="anchor"></a><code><span><span class="keyword">val</span> total_width : <span>unit <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>Current width of the bitfield.</p></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>S (containers-data.CCBitField.S)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCBitField</a> » S</nav><header class="odoc-preamble"><h1>Module type <code><span>CCBitField.S</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#bitfield-signature">Bitfield Signature</a></li></ul></nav><div class="odoc-content"><h3 id="bitfield-signature"><a href="#bitfield-signature" class="anchor"></a>Bitfield Signature</h3><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span class="keyword">private</span> int</span></code></div><div class="spec-doc"><p>Generative type of bitfields. Each instantiation of the functor should create a new, incompatible type</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span><span class="keyword">val</span> empty : <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Empty bitfields (all bits 0).</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-field"><a href="#type-field" class="anchor"></a><code><span><span class="keyword">type</span> field</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get"><a href="#val-get" class="anchor"></a><code><span><span class="keyword">val</span> get : <span><a href="#type-field">field</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p>Get the value of this field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-set"><a href="#val-set" class="anchor"></a><code><span><span class="keyword">val</span> set : <span><a href="#type-field">field</a> <span class="arrow">-></span></span> <span>bool <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Set the value of this field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mk_field"><a href="#val-mk_field" class="anchor"></a><code><span><span class="keyword">val</span> mk_field : <span>unit <span class="arrow">-></span></span> <a href="#type-field">field</a></span></code></div><div class="spec-doc"><p>Make a new field.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-freeze"><a href="#val-freeze" class="anchor"></a><code><span><span class="keyword">val</span> freeze : <span>unit <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p>Prevent new fields from being added. From now on, creating a field will raise Frozen.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-total_width"><a href="#val-total_width" class="anchor"></a><code><span><span class="keyword">val</span> total_width : <span>unit <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>Current width of the bitfield.</p></div></div></div></body></html>
|
||||
|
|
@ -1,5 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCCache (containers-data.CCCache)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCCache</nav><header class="odoc-preamble"><h1>Module <code><span>CCCache</span></code></h1><p>Caches Utils</p><p>Particularly useful for memoization. See <a href="#val-with_cache"><code>with_cache</code></a> and <a href="#val-with_cache_rec"><code>with_cache_rec</code></a> for more details.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.6</li></ul></header><nav class="odoc-toc"><ul><li><a href="#value-interface">Value interface</a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-equal"><a href="#type-equal" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a equal</span></span><span> = <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-hash"><a href="#type-hash" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a hash</span></span><span> = <span><span class="type-var">'a</span> <span class="arrow">-></span></span> int</span></code></div></div><h3 id="value-interface"><a href="#value-interface" class="anchor"></a>Value interface</h3><p>Typical use case: one wants to memoize a function <code>f : 'a -> 'b</code>. Code sample:</p><pre class="language-ocaml"><code>let f x =
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCCache (containers-data.CCCache)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCCache</nav><header class="odoc-preamble"><h1>Module <code><span>CCCache</span></code></h1><p>Caches Utils</p><p>Particularly useful for memoization. See <a href="#val-with_cache"><code>with_cache</code></a> and <a href="#val-with_cache_rec"><code>with_cache_rec</code></a> for more details.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.6</li></ul></header><nav class="odoc-toc"><ul><li><a href="#value-interface">Value interface</a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-equal"><a href="#type-equal" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a equal</span></span><span> = <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-hash"><a href="#type-hash" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a hash</span></span><span> = <span><span class="type-var">'a</span> <span class="arrow">-></span></span> int</span></code></div></div><h3 id="value-interface"><a href="#value-interface" class="anchor"></a>Value interface</h3><p>Typical use case: one wants to memoize a function <code>f : 'a -> 'b</code>. Code sample:</p><pre class="language-ocaml"><code>let f x =
|
||||
print_endline "call f";
|
||||
x + 1;;
|
||||
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -1,12 +1,12 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dot (containers-data.CCGraph.Dot)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCGraph</a> » Dot</nav><header class="odoc-preamble"><h1>Module <code><span>CCGraph.Dot</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-attribute"><a href="#type-attribute" class="anchor"></a><code><span><span class="keyword">type</span> attribute</span><span> = </span><span>[ </span></code><ol><li id="type-attribute.Color" class="def constructor anchored"><a href="#type-attribute.Color" class="anchor"></a><code><span>| </span></code><code><span>`Color <span class="keyword">of</span> string</span></code></li><li id="type-attribute.Shape" class="def constructor anchored"><a href="#type-attribute.Shape" class="anchor"></a><code><span>| </span></code><code><span>`Shape <span class="keyword">of</span> string</span></code></li><li id="type-attribute.Weight" class="def constructor anchored"><a href="#type-attribute.Weight" class="anchor"></a><code><span>| </span></code><code><span>`Weight <span class="keyword">of</span> int</span></code></li><li id="type-attribute.Style" class="def constructor anchored"><a href="#type-attribute.Style" class="anchor"></a><code><span>| </span></code><code><span>`Style <span class="keyword">of</span> string</span></code></li><li id="type-attribute.Label" class="def constructor anchored"><a href="#type-attribute.Label" class="anchor"></a><code><span>| </span></code><code><span>`Label <span class="keyword">of</span> string</span></code></li><li id="type-attribute.Other" class="def constructor anchored"><a href="#type-attribute.Other" class="anchor"></a><code><span>| </span></code><code><span>`Other <span class="keyword">of</span> string * string</span></code></li></ol><code><span> ]</span></code></div><div class="spec-doc"><p>Dot attribute</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-vertex_state"><a href="#type-vertex_state" class="anchor"></a><code><span><span class="keyword">type</span> vertex_state</span></code></div><div class="spec-doc"><p>Hidden state associated to a vertex</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span><span class="keyword">val</span> pp :
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dot (containers-data.CCGraph.Dot)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCGraph</a> » Dot</nav><header class="odoc-preamble"><h1>Module <code><span>CCGraph.Dot</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-attribute"><a href="#type-attribute" class="anchor"></a><code><span><span class="keyword">type</span> attribute</span><span> = </span><span>[ </span></code><ol><li id="type-attribute.Color" class="def constructor anchored"><a href="#type-attribute.Color" class="anchor"></a><code><span>| </span></code><code><span>`Color <span class="keyword">of</span> string</span></code></li><li id="type-attribute.Shape" class="def constructor anchored"><a href="#type-attribute.Shape" class="anchor"></a><code><span>| </span></code><code><span>`Shape <span class="keyword">of</span> string</span></code></li><li id="type-attribute.Weight" class="def constructor anchored"><a href="#type-attribute.Weight" class="anchor"></a><code><span>| </span></code><code><span>`Weight <span class="keyword">of</span> int</span></code></li><li id="type-attribute.Style" class="def constructor anchored"><a href="#type-attribute.Style" class="anchor"></a><code><span>| </span></code><code><span>`Style <span class="keyword">of</span> string</span></code></li><li id="type-attribute.Label" class="def constructor anchored"><a href="#type-attribute.Label" class="anchor"></a><code><span>| </span></code><code><span>`Label <span class="keyword">of</span> string</span></code></li><li id="type-attribute.Other" class="def constructor anchored"><a href="#type-attribute.Other" class="anchor"></a><code><span>| </span></code><code><span>`Other <span class="keyword">of</span> string * string</span></code></li></ol><code><span> ]</span></code></div><div class="spec-doc"><p>Dot attribute</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-vertex_state"><a href="#type-vertex_state" class="anchor"></a><code><span><span class="keyword">type</span> vertex_state</span></code></div><div class="spec-doc"><p>Hidden state associated to a vertex</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span><span class="keyword">val</span> pp :
|
||||
<span>tbl:<span><span>(<span class="type-var">'v</span>, <a href="#type-vertex_state">vertex_state</a>)</span> <a href="../index.html#type-table">table</a></span> <span class="arrow">-></span></span>
|
||||
<span>eq:<span>(<span><span class="type-var">'v</span> <span class="arrow">-></span></span> <span><span class="type-var">'v</span> <span class="arrow">-></span></span> bool)</span> <span class="arrow">-></span></span>
|
||||
<span>?attrs_v:<span>(<span><span class="type-var">'v</span> <span class="arrow">-></span></span> <span><a href="#type-attribute">attribute</a> list</span>)</span> <span class="arrow">-></span></span>
|
||||
<span>?attrs_e:<span>(<span><span class="type-var">'e</span> <span class="arrow">-></span></span> <span><a href="#type-attribute">attribute</a> list</span>)</span> <span class="arrow">-></span></span>
|
||||
<span>?name:string <span class="arrow">-></span></span>
|
||||
<span>graph:<span><span>(<span class="type-var">'v</span>, <span class="type-var">'e</span>)</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span>
|
||||
<span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">-></span></span>
|
||||
<span><a href="../../../ocaml/Stdlib/Format/index.html#type-formatter">Stdlib.Format.formatter</a> <span class="arrow">-></span></span>
|
||||
<span><span class="type-var">'v</span> <span class="arrow">-></span></span>
|
||||
unit</span></code></div><div class="spec-doc"><p>Print the graph, starting from given vertex, on the formatter.</p><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">attrs_v</span> <p>attributes for vertices.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">attrs_e</span> <p>attributes for edges.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">name</span> <p>name of the graph.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_all"><a href="#val-pp_all" class="anchor"></a><code><span><span class="keyword">val</span> pp_all :
|
||||
<span>tbl:<span><span>(<span class="type-var">'v</span>, <a href="#type-vertex_state">vertex_state</a>)</span> <a href="../index.html#type-table">table</a></span> <span class="arrow">-></span></span>
|
||||
|
|
@ -15,6 +15,6 @@
|
|||
<span>?attrs_e:<span>(<span><span class="type-var">'e</span> <span class="arrow">-></span></span> <span><a href="#type-attribute">attribute</a> list</span>)</span> <span class="arrow">-></span></span>
|
||||
<span>?name:string <span class="arrow">-></span></span>
|
||||
<span>graph:<span><span>(<span class="type-var">'v</span>, <span class="type-var">'e</span>)</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span>
|
||||
<span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">-></span></span>
|
||||
<span><a href="../../../ocaml/Stdlib/Format/index.html#type-formatter">Stdlib.Format.formatter</a> <span class="arrow">-></span></span>
|
||||
<span><span><span class="type-var">'v</span> <a href="../index.html#type-iter">iter</a></span> <span class="arrow">-></span></span>
|
||||
unit</span></code></div><div class="spec-doc"><p>Same as <a href="#val-pp"><code>pp</code></a> but starting from several vertices, not just one.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 2.8</li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-with_out"><a href="#val-with_out" class="anchor"></a><code><span><span class="keyword">val</span> with_out : <span>string <span class="arrow">-></span></span> <span><span>(<span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">-></span></span> <span class="type-var">'a</span>)</span> <span class="arrow">-></span></span> <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p>Shortcut to open a file and write to it.</p></div></div></div></body></html>
|
||||
unit</span></code></div><div class="spec-doc"><p>Same as <a href="#val-pp"><code>pp</code></a> but starting from several vertices, not just one.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 2.8</li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-with_out"><a href="#val-with_out" class="anchor"></a><code><span><span class="keyword">val</span> with_out : <span>string <span class="arrow">-></span></span> <span><span>(<span><a href="../../../ocaml/Stdlib/Format/index.html#type-formatter">Stdlib.Format.formatter</a> <span class="arrow">-></span></span> <span class="type-var">'a</span>)</span> <span class="arrow">-></span></span> <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p>Shortcut to open a file and write to it.</p></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Iter (containers-data.CCGraph.Iter)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCGraph</a> » Iter</nav><header class="odoc-preamble"><h1>Module <code><span>CCGraph.Iter</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a t</span></span><span> = <span><span class="type-var">'a</span> <a href="../index.html#type-iter">iter</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-return"><a href="#val-return" class="anchor"></a><code><span><span class="keyword">val</span> return : <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-(>>=)"><a href="#val-(>>=)" class="anchor"></a><code><span><span class="keyword">val</span> (>>=) : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="#type-t">t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-map"><a href="#val-map" class="anchor"></a><code><span><span class="keyword">val</span> map : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-filter_map"><a href="#val-filter_map" class="anchor"></a><code><span><span class="keyword">val</span> filter_map : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> option</span>)</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-iter"><a href="#val-iter" class="anchor"></a><code><span><span class="keyword">val</span> iter : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fold"><a href="#val-fold" class="anchor"></a><code><span><span class="keyword">val</span> fold : <span><span>(<span><span class="type-var">'b</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span class="type-var">'b</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_list"><a href="#val-to_list" class="anchor"></a><code><span><span class="keyword">val</span> to_list : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> list</span></span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Iter (containers-data.CCGraph.Iter)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCGraph</a> » Iter</nav><header class="odoc-preamble"><h1>Module <code><span>CCGraph.Iter</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a t</span></span><span> = <span><span class="type-var">'a</span> <a href="../index.html#type-iter">iter</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-return"><a href="#val-return" class="anchor"></a><code><span><span class="keyword">val</span> return : <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-(>>=)"><a href="#val-(>>=)" class="anchor"></a><code><span><span class="keyword">val</span> (>>=) : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="#type-t">t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-map"><a href="#val-map" class="anchor"></a><code><span><span class="keyword">val</span> map : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-filter_map"><a href="#val-filter_map" class="anchor"></a><code><span><span class="keyword">val</span> filter_map : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> option</span>)</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-iter"><a href="#val-iter" class="anchor"></a><code><span><span class="keyword">val</span> iter : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fold"><a href="#val-fold" class="anchor"></a><code><span><span class="keyword">val</span> fold : <span><span>(<span><span class="type-var">'b</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span class="type-var">'b</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_list"><a href="#val-to_list" class="anchor"></a><code><span><span class="keyword">val</span> to_list : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> list</span></span></code></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lazy_tree (containers-data.CCGraph.Lazy_tree)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCGraph</a> » Lazy_tree</nav><header class="odoc-preamble"><h1>Module <code><span>CCGraph.Lazy_tree</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>('v, 'e) t</span></span><span> = </span><span>{</span></code><ol><li id="type-t.vertex" class="def record field anchored"><a href="#type-t.vertex" class="anchor"></a><code><span>vertex : <span class="type-var">'v</span>;</span></code></li><li id="type-t.children" class="def record field anchored"><a href="#type-t.children" class="anchor"></a><code><span>children : <span><span><span>(<span class="type-var">'e</span> * <span><span>(<span class="type-var">'v</span>, <span class="type-var">'e</span>)</span> <a href="#type-t">t</a></span>)</span> list</span> <span class="xref-unresolved">Stdlib</span>.Lazy.t</span>;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-map_v"><a href="#val-map_v" class="anchor"></a><code><span><span class="keyword">val</span> map_v : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'e</span>)</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span>(<span class="type-var">'b</span>, <span class="type-var">'e</span>)</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fold_v"><a href="#val-fold_v" class="anchor"></a><code><span><span class="keyword">val</span> fold_v : <span><span>(<span><span class="type-var">'acc</span> <span class="arrow">-></span></span> <span><span class="type-var">'v</span> <span class="arrow">-></span></span> <span class="type-var">'acc</span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'acc</span> <span class="arrow">-></span></span> <span><span><span>(<span class="type-var">'v</span>, <span class="type-var">_</span>)</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span class="type-var">'acc</span></span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lazy_tree (containers-data.CCGraph.Lazy_tree)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCGraph</a> » Lazy_tree</nav><header class="odoc-preamble"><h1>Module <code><span>CCGraph.Lazy_tree</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>('v, 'e) t</span></span><span> = </span><span>{</span></code><ol><li id="type-t.vertex" class="def record field anchored"><a href="#type-t.vertex" class="anchor"></a><code><span>vertex : <span class="type-var">'v</span>;</span></code></li><li id="type-t.children" class="def record field anchored"><a href="#type-t.children" class="anchor"></a><code><span>children : <span><span><span>(<span class="type-var">'e</span> * <span><span>(<span class="type-var">'v</span>, <span class="type-var">'e</span>)</span> <a href="#type-t">t</a></span>)</span> list</span> <a href="../../../ocaml/Stdlib/Lazy/index.html#type-t">Stdlib.Lazy.t</a></span>;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-map_v"><a href="#val-map_v" class="anchor"></a><code><span><span class="keyword">val</span> map_v : <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'e</span>)</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span>(<span class="type-var">'b</span>, <span class="type-var">'e</span>)</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fold_v"><a href="#val-fold_v" class="anchor"></a><code><span><span class="keyword">val</span> fold_v : <span><span>(<span><span class="type-var">'acc</span> <span class="arrow">-></span></span> <span><span class="type-var">'v</span> <span class="arrow">-></span></span> <span class="type-var">'acc</span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'acc</span> <span class="arrow">-></span></span> <span><span><span>(<span class="type-var">'v</span>, <span class="type-var">_</span>)</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span class="type-var">'acc</span></span></code></div></div></div></body></html>
|
||||
2
dev/containers-data/CCGraph/Map/argument-1-O/index.html
Normal file
2
dev/containers-data/CCGraph/Map/argument-1-O/index.html
Normal file
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>O (containers-data.CCGraph.Map.O)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCGraph</a> » <a href="../index.html">Map</a> » O</nav><header class="odoc-preamble"><h1>Parameter <code><span>Map.O</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div><div class="spec-doc"><p>The type of the map keys.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>A total ordering function over the keys. This is a two-argument function <code>f</code> such that <code>f e1 e2</code> is zero if the keys <code>e1</code> and <code>e2</code> are equal, <code>f e1 e2</code> is strictly negative if <code>e1</code> is smaller than <code>e2</code>, and <code>f e1 e2</code> is strictly positive if <code>e1</code> is greater than <code>e2</code>. Example: a suitable ordering function is the generic structural comparison function <a href="../../../../ocaml/Stdlib/index.html#val-compare"><code>Stdlib.compare</code></a>.</p></div></div></div></body></html>
|
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -1,5 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Traverse (containers-data.CCGraph.Traverse)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCGraph</a> » Traverse</nav><header class="odoc-preamble"><h1>Module <code><span>CCGraph.Traverse</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-path"><a href="#type-path" class="anchor"></a><code><span><span class="keyword">type</span> <span>('v, 'e) path</span></span><span> = <span><span>(<span class="type-var">'v</span> * <span class="type-var">'e</span> * <span class="type-var">'v</span>)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-generic"><a href="#val-generic" class="anchor"></a><code><span><span class="keyword">val</span> generic :
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Traverse (containers-data.CCGraph.Traverse)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCGraph</a> » Traverse</nav><header class="odoc-preamble"><h1>Module <code><span>CCGraph.Traverse</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-path"><a href="#type-path" class="anchor"></a><code><span><span class="keyword">type</span> <span>('v, 'e) path</span></span><span> = <span><span>(<span class="type-var">'v</span> * <span class="type-var">'e</span> * <span class="type-var">'v</span>)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-generic"><a href="#val-generic" class="anchor"></a><code><span><span class="keyword">val</span> generic :
|
||||
<span>tbl:<span><span class="type-var">'v</span> <a href="../index.html#type-set">set</a></span> <span class="arrow">-></span></span>
|
||||
<span>bag:<span><span class="type-var">'v</span> <a href="../index.html#type-bag">bag</a></span> <span class="arrow">-></span></span>
|
||||
<span>graph:<span><span>(<span class="type-var">'v</span>, <span class="type-var">'e</span>)</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span>
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
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>E (containers-data.CCHashSet.Make.E)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCHashSet</a> » <a href="../index.html">Make</a> » E</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.E</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>Positive value</p></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>E (containers-data.CCHashSet.Make.E)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCHashSet</a> » <a href="../index.html">Make</a> » E</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.E</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>Positive value</p></div></div></div></body></html>
|
||||
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>CCHashSet (containers-data.CCHashSet)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCHashSet</nav><header class="odoc-preamble"><h1>Module <code><span>CCHashSet</span></code></h1><p>Mutable Set</p><p><b>status: unstable</b></p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.13</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-printer"><a href="#type-printer" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a printer</span></span><span> = <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-ELEMENT"><a href="#module-type-ELEMENT" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-ELEMENT/index.html">ELEMENT</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-E/index.html">E</a> : <a href="module-type-ELEMENT/index.html">ELEMENT</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-elt">elt</a> = <a href="Make/argument-1-E/index.html#type-t">E.t</a></span></span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCHashSet (containers-data.CCHashSet)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCHashSet</nav><header class="odoc-preamble"><h1>Module <code><span>CCHashSet</span></code></h1><p>Mutable Set</p><p><b>status: unstable</b></p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.13</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-printer"><a href="#type-printer" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a printer</span></span><span> = <span><a href="../../ocaml/Stdlib/Format/index.html#type-formatter">Stdlib.Format.formatter</a> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-ELEMENT"><a href="#module-type-ELEMENT" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-ELEMENT/index.html">ELEMENT</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-E/index.html">E</a> : <a href="module-type-ELEMENT/index.html">ELEMENT</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-elt">elt</a> = <a href="Make/argument-1-E/index.html#type-t">E.t</a></span></span></code></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ELEMENT (containers-data.CCHashSet.ELEMENT)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCHashSet</a> » ELEMENT</nav><header class="odoc-preamble"><h1>Module type <code><span>CCHashSet.ELEMENT</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>Positive value</p></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ELEMENT (containers-data.CCHashSet.ELEMENT)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCHashSet</a> » ELEMENT</nav><header class="odoc-preamble"><h1>Module type <code><span>CCHashSet.ELEMENT</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>Positive value</p></div></div></div></body></html>
|
||||
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>K (containers-data.CCHashTrie.Make.K)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCHashTrie</a> » <a href="../index.html">Make</a> » K</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.K</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>K (containers-data.CCHashTrie.Make.K)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCHashTrie</a> » <a href="../index.html">Make</a> » K</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.K</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
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>Transient (containers-data.CCHashTrie.Transient)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCHashTrie</a> » Transient</nav><header class="odoc-preamble"><h1>Module <code><span>CCHashTrie.Transient</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#transient-identifiers">Transient Identifiers</a></li></ul></nav><div class="odoc-content"><h3 id="transient-identifiers"><a href="#transient-identifiers" class="anchor"></a>Transient Identifiers</h3><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div><div class="spec-doc"><p>Identifiers for transient modifications. A transient modification is uniquely identified by a <code>Transient.t</code>. Once <code>Transient.freeze r</code> is called, <code>r</code> cannot be used to modify the structure again.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span>unit <span class="arrow">-></span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Create a new, active ID.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p>Equality between IDs.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-frozen"><a href="#val-frozen" class="anchor"></a><code><span><span class="keyword">val</span> frozen : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p><code>frozen i</code> returns <code>true</code> if <code>freeze i</code> was called before. In this case, the ID cannot be used for modifications again.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-active"><a href="#val-active" class="anchor"></a><code><span><span class="keyword">val</span> active : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p><code>active i</code> is <code>not (frozen i)</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-freeze"><a href="#val-freeze" class="anchor"></a><code><span><span class="keyword">val</span> freeze : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p><code>freeze i</code> makes <code>i</code> unusable for new modifications. The values created with <code>i</code> will now be immutable.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-with_"><a href="#val-with_" class="anchor"></a><code><span><span class="keyword">val</span> with_ : <span><span>(<span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span class="type-var">'a</span>)</span> <span class="arrow">-></span></span> <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p><code>with_ f</code> creates a transient ID <code>i</code>, calls <code>f i</code>, freezes the ID <code>i</code> and returns the result of <code>f i</code>.</p></div></div><div class="odoc-spec"><div class="spec exception anchored" id="exception-Frozen"><a href="#exception-Frozen" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Frozen</span></span></code></div><div class="spec-doc"><p>Raised when a frozen ID is used.</p></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Transient (containers-data.CCHashTrie.Transient)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCHashTrie</a> » Transient</nav><header class="odoc-preamble"><h1>Module <code><span>CCHashTrie.Transient</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#transient-identifiers">Transient Identifiers</a></li></ul></nav><div class="odoc-content"><h3 id="transient-identifiers"><a href="#transient-identifiers" class="anchor"></a>Transient Identifiers</h3><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div><div class="spec-doc"><p>Identifiers for transient modifications. A transient modification is uniquely identified by a <code>Transient.t</code>. Once <code>Transient.freeze r</code> is called, <code>r</code> cannot be used to modify the structure again.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span>unit <span class="arrow">-></span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Create a new, active ID.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p>Equality between IDs.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-frozen"><a href="#val-frozen" class="anchor"></a><code><span><span class="keyword">val</span> frozen : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p><code>frozen i</code> returns <code>true</code> if <code>freeze i</code> was called before. In this case, the ID cannot be used for modifications again.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-active"><a href="#val-active" class="anchor"></a><code><span><span class="keyword">val</span> active : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p><code>active i</code> is <code>not (frozen i)</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-freeze"><a href="#val-freeze" class="anchor"></a><code><span><span class="keyword">val</span> freeze : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p><code>freeze i</code> makes <code>i</code> unusable for new modifications. The values created with <code>i</code> will now be immutable.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-with_"><a href="#val-with_" class="anchor"></a><code><span><span class="keyword">val</span> with_ : <span><span>(<span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span class="type-var">'a</span>)</span> <span class="arrow">-></span></span> <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p><code>with_ f</code> creates a transient ID <code>i</code>, calls <code>f i</code>, freezes the ID <code>i</code> and returns the result of <code>f i</code>.</p></div></div><div class="odoc-spec"><div class="spec exception anchored" id="exception-Frozen"><a href="#exception-Frozen" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Frozen</span></span></code></div><div class="spec-doc"><p>Raised when a frozen ID is used.</p></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCHashTrie (containers-data.CCHashTrie)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCHashTrie</nav><header class="odoc-preamble"><h1>Module <code><span>CCHashTrie</span></code></h1><p>Hash Tries</p><p>Trie indexed by the hash of the keys, where the branching factor is fixed. The goal is to have a quite efficient functional structure with fast update and access <b>if</b> the hash function is good. The trie is not binary, to improve cache locality and decrease depth.</p><p>Preliminary benchmarks (see the "tbl" section of benchmarks) tend to show that this type is quite efficient for small data sets.</p><p><b>status: unstable</b></p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.13</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-gen"><a href="#type-gen" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a gen</span></span><span> = <span>unit <span class="arrow">-></span></span> <span><span class="type-var">'a</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-printer"><a href="#type-printer" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a printer</span></span><span> = <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-ktree"><a href="#type-ktree" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a ktree</span></span><span> = <span>unit <span class="arrow">-></span></span> <span>[ `Nil <span><span>| `Node</span> of <span class="type-var">'a</span> * <span><span><span class="type-var">'a</span> <a href="#type-ktree">ktree</a></span> list</span></span> ]</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Transient"><a href="#module-Transient" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Transient/index.html">Transient</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-KEY"><a href="#module-type-KEY" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-KEY/index.html">KEY</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-K/index.html">K</a> : <a href="module-type-KEY/index.html">KEY</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-key">key</a> = <a href="Make/argument-1-K/index.html#type-t">K.t</a></span></span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCHashTrie (containers-data.CCHashTrie)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCHashTrie</nav><header class="odoc-preamble"><h1>Module <code><span>CCHashTrie</span></code></h1><p>Hash Tries</p><p>Trie indexed by the hash of the keys, where the branching factor is fixed. The goal is to have a quite efficient functional structure with fast update and access <b>if</b> the hash function is good. The trie is not binary, to improve cache locality and decrease depth.</p><p>Preliminary benchmarks (see the "tbl" section of benchmarks) tend to show that this type is quite efficient for small data sets.</p><p><b>status: unstable</b></p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.13</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-gen"><a href="#type-gen" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a gen</span></span><span> = <span>unit <span class="arrow">-></span></span> <span><span class="type-var">'a</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-printer"><a href="#type-printer" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a printer</span></span><span> = <span><a href="../../ocaml/Stdlib/Format/index.html#type-formatter">Stdlib.Format.formatter</a> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-ktree"><a href="#type-ktree" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a ktree</span></span><span> = <span>unit <span class="arrow">-></span></span> <span>[ `Nil <span><span>| `Node</span> of <span class="type-var">'a</span> * <span><span><span class="type-var">'a</span> <a href="#type-ktree">ktree</a></span> list</span></span> ]</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Transient"><a href="#module-Transient" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Transient/index.html">Transient</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-KEY"><a href="#module-type-KEY" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-KEY/index.html">KEY</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-K/index.html">K</a> : <a href="module-type-KEY/index.html">KEY</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-key">key</a> = <a href="Make/argument-1-K/index.html#type-t">K.t</a></span></span></code></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>KEY (containers-data.CCHashTrie.KEY)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCHashTrie</a> » KEY</nav><header class="odoc-preamble"><h1>Module type <code><span>CCHashTrie.KEY</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#type-for-keys">Type for keys</a></li></ul></nav><div class="odoc-content"><h3 id="type-for-keys"><a href="#type-for-keys" class="anchor"></a>Type for keys</h3><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>KEY (containers-data.CCHashTrie.KEY)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCHashTrie</a> » KEY</nav><header class="odoc-preamble"><h1>Module type <code><span>CCHashTrie.KEY</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#type-for-keys">Type for keys</a></li></ul></nav><div class="odoc-content"><h3 id="type-for-keys"><a href="#type-for-keys" class="anchor"></a>Type for keys</h3><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
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>Key (containers-data.CCHet.Key)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCHet</a> » Key</nav><header class="odoc-preamble"><h1>Module <code><span>CCHet.Key</span></code></h1><p>Keys with a type witness.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a t</span></span></code></div><div class="spec-doc"><p>A key of type <code>'a t</code> is used to access the portion of the map or table that associates keys of type <code>'a</code> to values.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span>unit <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>Make a new key. This is generative, so calling <code>create ()</code> twice with the same return type will produce incompatible keys that cannot see each other's bindings.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p>Compare two keys that have compatible types.</p></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Key (containers-data.CCHet.Key)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCHet</a> » Key</nav><header class="odoc-preamble"><h1>Module <code><span>CCHet.Key</span></code></h1><p>Keys with a type witness.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a t</span></span></code></div><div class="spec-doc"><p>A key of type <code>'a t</code> is used to access the portion of the map or table that associates keys of type <code>'a</code> to values.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span>unit <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>Make a new key. This is generative, so calling <code>create ()</code> twice with the same return type will produce incompatible keys that cannot see each other's bindings.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p>Compare two keys that have compatible types.</p></div></div></div></body></html>
|
||||
File diff suppressed because one or more lines are too long
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>CCHet (containers-data.CCHet)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCHet</nav><header class="odoc-preamble"><h1>Module <code><span>CCHet</span></code></h1><p>Associative containers with Heterogeneous Values</p><p>This is similar to <a href="../CCMixtbl/index.html"><code>CCMixtbl</code></a>, but the injection is directly used as a key.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.17</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-gen"><a href="#type-gen" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a gen</span></span><span> = <span>unit <span class="arrow">-></span></span> <span><span class="type-var">'a</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Key"><a href="#module-Key" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Key/index.html">Key</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Keys with a type witness.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pair"><a href="#type-pair" class="anchor"></a><code><span><span class="keyword">type</span> pair</span><span> = </span></code><ol><li id="type-pair.Pair" class="def variant constructor anchored"><a href="#type-pair.Pair" class="anchor"></a><code><span>| </span><span><span class="constructor">Pair</span> : <span><span class="type-var">'a</span> <a href="Key/index.html#type-t">Key.t</a></span> * <span class="type-var">'a</span> <span class="arrow">-></span> <a href="#type-pair">pair</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Tbl"><a href="#module-Tbl" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Tbl/index.html">Tbl</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Map"><a href="#module-Map" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Map/index.html">Map</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCHet (containers-data.CCHet)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCHet</nav><header class="odoc-preamble"><h1>Module <code><span>CCHet</span></code></h1><p>Associative containers with Heterogeneous Values</p><p>This is similar to <a href="../CCMixtbl/index.html"><code>CCMixtbl</code></a>, but the injection is directly used as a key.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.17</li></ul></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-gen"><a href="#type-gen" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a gen</span></span><span> = <span>unit <span class="arrow">-></span></span> <span><span class="type-var">'a</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Key"><a href="#module-Key" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Key/index.html">Key</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Keys with a type witness.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pair"><a href="#type-pair" class="anchor"></a><code><span><span class="keyword">type</span> pair</span><span> = </span></code><ol><li id="type-pair.Pair" class="def variant constructor anchored"><a href="#type-pair.Pair" class="anchor"></a><code><span>| </span><span><span class="constructor">Pair</span> : <span><span class="type-var">'a</span> <a href="Key/index.html#type-t">Key.t</a></span> * <span class="type-var">'a</span> <span class="arrow">-></span> <a href="#type-pair">pair</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Tbl"><a href="#module-Tbl" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Tbl/index.html">Tbl</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Map"><a href="#module-Map" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Map/index.html">Map</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div></div></body></html>
|
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
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>pset (containers-data.CCKTree.pset)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCKTree</a> » pset</nav><header class="odoc-preamble"><h1>Class type <code><span>CCKTree.pset</span></code></h1><p>Abstract Set structure</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec method anchored" id="method-add"><a href="#method-add" class="anchor"></a><code><span><span class="keyword">method</span> add : <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#">pset</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-mem"><a href="#method-mem" class="anchor"></a><code><span><span class="keyword">method</span> mem : <span><span class="type-var">'a</span> <span class="arrow">-></span></span> bool</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>pset (containers-data.CCKTree.pset)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCKTree</a> » pset</nav><header class="odoc-preamble"><h1>Class type <code><span>CCKTree.pset</span></code></h1><p>Abstract Set structure</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec method anchored" id="method-add"><a href="#method-add" class="anchor"></a><code><span><span class="keyword">method</span> add : <span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#">pset</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-mem"><a href="#method-mem" class="anchor"></a><code><span><span class="keyword">method</span> mem : <span><span class="type-var">'a</span> <span class="arrow">-></span></span> bool</span></code></div></div></div></body></html>
|
||||
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>Infix (containers-data.CCLazy_list.Infix)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCLazy_list</a> » Infix</nav><header class="odoc-preamble"><h1>Module <code><span>CCLazy_list.Infix</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-(>|=)"><a href="#val-(>|=)" class="anchor"></a><code><span><span class="keyword">val</span> (>|=) : <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="../index.html#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-(>>=)"><a href="#val-(>>=)" class="anchor"></a><code><span><span class="keyword">val</span> (>>=) : <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="../index.html#type-t">t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="../index.html#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-(<|>)"><a href="#val-(<|>)" class="anchor"></a><code><span><span class="keyword">val</span> (<|>) : <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span></span></code></div><div class="spec-doc"><p>Alias to <a href="../index.html#val-default"><code>default</code></a>.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 2.1</li></ul></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Infix (containers-data.CCLazy_list.Infix)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCLazy_list</a> » Infix</nav><header class="odoc-preamble"><h1>Module <code><span>CCLazy_list.Infix</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-(>|=)"><a href="#val-(>|=)" class="anchor"></a><code><span><span class="keyword">val</span> (>|=) : <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'b</span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="../index.html#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-(>>=)"><a href="#val-(>>=)" class="anchor"></a><code><span><span class="keyword">val</span> (>>=) : <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="../index.html#type-t">t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'b</span> <a href="../index.html#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-(<|>)"><a href="#val-(<|>)" class="anchor"></a><code><span><span class="keyword">val</span> (<|>) : <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span> <span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span></span></code></div><div class="spec-doc"><p>Alias to <a href="../index.html#val-default"><code>default</code></a>.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 2.1</li></ul></div></div></div></body></html>
|
||||
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>X (containers-data.CCMixmap.Make.X)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMixmap</a> » <a href="../index.html">Make</a> » X</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.X</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>X (containers-data.CCMixmap.Make.X)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMixmap</a> » <a href="../index.html">Make</a> » X</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.X</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
File diff suppressed because one or more lines are too long
|
|
@ -1,5 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMixmap (containers-data.CCMixmap)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMixmap</nav><header class="odoc-preamble"><h1>Module <code><span>CCMixmap</span></code></h1><p>Maps with Heterogeneous Values</p><p><b>status: experimental</b></p><pre class="language-ocaml"><code>module M = CCMixmap.Make(CCInt)
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMixmap (containers-data.CCMixmap)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMixmap</nav><header class="odoc-preamble"><h1>Module <code><span>CCMixmap</span></code></h1><p>Maps with Heterogeneous Values</p><p><b>status: experimental</b></p><pre class="language-ocaml"><code>module M = CCMixmap.Make(CCInt)
|
||||
|
||||
let inj_int = CCMixmap.create_inj()
|
||||
let inj_str = CCMixmap.create_inj()
|
||||
|
|
|
|||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ORD (containers-data.CCMixmap.ORD)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCMixmap</a> » ORD</nav><header class="odoc-preamble"><h1>Module type <code><span>CCMixmap.ORD</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ORD (containers-data.CCMixmap.ORD)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCMixmap</a> » ORD</nav><header class="odoc-preamble"><h1>Module type <code><span>CCMixmap.ORD</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
File diff suppressed because one or more lines are too long
|
|
@ -1,5 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMixset (containers-data.CCMixset)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMixset</nav><header class="odoc-preamble"><h1>Module <code><span>CCMixset</span></code></h1><p>Set of Heterogeneous Values</p><pre class="language-ocaml"><code>let k1 : int key = newkey () in
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMixset (containers-data.CCMixset)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMixset</nav><header class="odoc-preamble"><h1>Module <code><span>CCMixset</span></code></h1><p>Set of Heterogeneous Values</p><pre class="language-ocaml"><code>let k1 : int key = newkey () in
|
||||
let k2 : int key = newkey () in
|
||||
let k3 : string key = newkey () in
|
||||
let set =
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMixtbl (containers-data.CCMixtbl)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMixtbl</nav><header class="odoc-preamble"><h1>Module <code><span>CCMixtbl</span></code></h1><p>Hash Table with Heterogeneous Keys</p><p>From https://github.com/mjambon/mixtbl (thanks to him). Example:</p><pre class="language-ocaml"><code>let inj_int = CCMixtbl.create_inj () ;;
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMixtbl (containers-data.CCMixtbl)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMixtbl</nav><header class="odoc-preamble"><h1>Module <code><span>CCMixtbl</span></code></h1><p>Hash Table with Heterogeneous Keys</p><p>From https://github.com/mjambon/mixtbl (thanks to him). Example:</p><pre class="language-ocaml"><code>let inj_int = CCMixtbl.create_inj () ;;
|
||||
|
||||
let tbl = CCMixtbl.create 10 ;;
|
||||
|
||||
|
|
|
|||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>K (containers-data.CCMultiMap.Make.K)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiMap</a> » <a href="../index.html">Make</a> » K</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.K</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>K (containers-data.CCMultiMap.Make.K)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiMap</a> » <a href="../index.html">Make</a> » K</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.K</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>V (containers-data.CCMultiMap.Make.V)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiMap</a> » <a href="../index.html">Make</a> » V</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.V</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>V (containers-data.CCMultiMap.Make.V)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiMap</a> » <a href="../index.html">Make</a> » V</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.V</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
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>L (containers-data.CCMultiMap.MakeBidir.L)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiMap</a> » <a href="../index.html">MakeBidir</a> » L</nav><header class="odoc-preamble"><h1>Parameter <code><span>MakeBidir.L</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>L (containers-data.CCMultiMap.MakeBidir.L)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiMap</a> » <a href="../index.html">MakeBidir</a> » L</nav><header class="odoc-preamble"><h1>Parameter <code><span>MakeBidir.L</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>R (containers-data.CCMultiMap.MakeBidir.R)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiMap</a> » <a href="../index.html">MakeBidir</a> » R</nav><header class="odoc-preamble"><h1>Parameter <code><span>MakeBidir.R</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>R (containers-data.CCMultiMap.MakeBidir.R)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiMap</a> » <a href="../index.html">MakeBidir</a> » R</nav><header class="odoc-preamble"><h1>Parameter <code><span>MakeBidir.R</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
File diff suppressed because one or more lines are too long
|
|
@ -1,5 +1,5 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMultiMap (containers-data.CCMultiMap)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMultiMap</nav><header class="odoc-preamble"><h1>Module <code><span>CCMultiMap</span></code></h1><p>Map that can map key to several values</p></header><nav class="odoc-toc"><ul><li><a href="#two-way-multimap">Two-Way Multimap</a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-OrderedType"><a href="#module-type-OrderedType" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-OrderedType/index.html">OrderedType</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMultiMap (containers-data.CCMultiMap)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMultiMap</nav><header class="odoc-preamble"><h1>Module <code><span>CCMultiMap</span></code></h1><p>Map that can map key to several values</p></header><nav class="odoc-toc"><ul><li><a href="#two-way-multimap">Two-Way Multimap</a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-OrderedType"><a href="#module-type-OrderedType" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-OrderedType/index.html">OrderedType</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span>
|
||||
(<a href="Make/argument-1-K/index.html">K</a> : <a href="module-type-OrderedType/index.html">OrderedType</a>)
|
||||
(<a href="Make/argument-2-V/index.html">V</a> : <a href="module-type-OrderedType/index.html">OrderedType</a>) :
|
||||
<a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-key">key</a> = <a href="Make/argument-1-K/index.html#type-t">K.t</a></span> <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-value">value</a> = <a href="Make/argument-2-V/index.html#type-t">V.t</a></span></span></code></div></div><h3 id="two-way-multimap"><a href="#two-way-multimap" class="anchor"></a>Two-Way Multimap</h3><p>Represents n-to-n mappings between two types. Each element from the "left" is mapped to several right values, and conversely.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.3.3</li></ul><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-BIDIR"><a href="#module-type-BIDIR" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-BIDIR/index.html">BIDIR</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-MakeBidir"><a href="#module-MakeBidir" class="anchor"></a><code><span><span class="keyword">module</span> <a href="MakeBidir/index.html">MakeBidir</a></span><span>
|
||||
|
|
|
|||
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>OrderedType (containers-data.CCMultiMap.OrderedType)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCMultiMap</a> » OrderedType</nav><header class="odoc-preamble"><h1>Module type <code><span>CCMultiMap.OrderedType</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>OrderedType (containers-data.CCMultiMap.OrderedType)</title><link rel="stylesheet" href="../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">containers-data</a> » <a href="../index.html">CCMultiMap</a> » OrderedType</nav><header class="odoc-preamble"><h1>Module type <code><span>CCMultiMap.OrderedType</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html>
|
||||
File diff suppressed because one or more lines are too long
|
|
@ -0,0 +1,2 @@
|
|||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>O (containers-data.CCMultiSet.Make.O)</title><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">containers-data</a> » <a href="../../index.html">CCMultiSet</a> » <a href="../index.html">Make</a> » O</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.O</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div><div class="spec-doc"><p>The type of the set elements.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div><div class="spec-doc"><p>A total ordering function over the set elements. This is a two-argument function <code>f</code> such that <code>f e1 e2</code> is zero if the elements <code>e1</code> and <code>e2</code> are equal, <code>f e1 e2</code> is strictly negative if <code>e1</code> is smaller than <code>e2</code>, and <code>f e1 e2</code> is strictly positive if <code>e1</code> is greater than <code>e2</code>. Example: a suitable ordering function is the generic structural comparison function <a href="../../../../ocaml/Stdlib/index.html#val-compare"><code>Stdlib.compare</code></a>.</p></div></div></div></body></html>
|
||||
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>CCMultiSet (containers-data.CCMultiSet)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMultiSet</nav><header class="odoc-preamble"><h1>Module <code><span>CCMultiSet</span></code></h1><p>Multiset</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/index.html#argument-1-O">O</a> : <span class="xref-unresolved">Stdlib</span>.Set.OrderedType) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-elt">elt</a> = <span class="xref-unresolved">O</span>.t</span></span></code></div></div></div></body></html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCMultiSet (containers-data.CCMultiSet)</title><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">containers-data</a> » CCMultiSet</nav><header class="odoc-preamble"><h1>Module <code><span>CCMultiSet</span></code></h1><p>Multiset</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a iter</span></span><span> = <span><span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-O/index.html">O</a> : <a href="../../ocaml/Stdlib/Set/module-type-OrderedType/index.html">Stdlib.Set.OrderedType</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-elt">elt</a> = <a href="Make/argument-1-O/index.html#type-t">O.t</a></span></span></code></div></div></div></body></html>
|
||||
Some files were not shown because too many files have changed in this diff Show more
Loading…
Add table
Reference in a new issue