diff --git a/doc/1.2/highlight.pack.js b/1.2/highlight.pack.js similarity index 100% rename from doc/1.2/highlight.pack.js rename to 1.2/highlight.pack.js diff --git a/doc/1.2/index.html b/1.2/index.html similarity index 100% rename from doc/1.2/index.html rename to 1.2/index.html diff --git a/doc/1.2/iter/Iter/.dune-keep b/1.2/iter/Iter/.dune-keep similarity index 100% rename from doc/1.2/iter/Iter/.dune-keep rename to 1.2/iter/Iter/.dune-keep diff --git a/doc/1.2/iter/Iter/IO/index.html b/1.2/iter/Iter/IO/index.html similarity index 100% rename from doc/1.2/iter/Iter/IO/index.html rename to 1.2/iter/Iter/IO/index.html diff --git a/doc/1.2/iter/Iter/Infix/index.html b/1.2/iter/Iter/Infix/index.html similarity index 100% rename from doc/1.2/iter/Iter/Infix/index.html rename to 1.2/iter/Iter/Infix/index.html diff --git a/doc/1.2/iter/Iter/Map/index.html b/1.2/iter/Iter/Map/index.html similarity index 100% rename from doc/1.2/iter/Iter/Map/index.html rename to 1.2/iter/Iter/Map/index.html diff --git a/doc/1.2/iter/Iter/Map/module-type-S/index.html b/1.2/iter/Iter/Map/module-type-S/index.html similarity index 100% rename from doc/1.2/iter/Iter/Map/module-type-S/index.html rename to 1.2/iter/Iter/Map/module-type-S/index.html diff --git a/doc/1.2/iter/Iter/Set/index.html b/1.2/iter/Iter/Set/index.html similarity index 100% rename from doc/1.2/iter/Iter/Set/index.html rename to 1.2/iter/Iter/Set/index.html diff --git a/doc/1.2/iter/Iter/Set/module-type-S/index.html b/1.2/iter/Iter/Set/module-type-S/index.html similarity index 100% rename from doc/1.2/iter/Iter/Set/module-type-S/index.html rename to 1.2/iter/Iter/Set/module-type-S/index.html diff --git a/doc/1.2/iter/Iter/index.html b/1.2/iter/Iter/index.html similarity index 100% rename from doc/1.2/iter/Iter/index.html rename to 1.2/iter/Iter/index.html diff --git a/doc/1.2/iter/IterBigarray/.dune-keep b/1.2/iter/IterBigarray/.dune-keep similarity index 100% rename from doc/1.2/iter/IterBigarray/.dune-keep rename to 1.2/iter/IterBigarray/.dune-keep diff --git a/doc/1.2/iter/IterBigarray/index.html b/1.2/iter/IterBigarray/index.html similarity index 100% rename from doc/1.2/iter/IterBigarray/index.html rename to 1.2/iter/IterBigarray/index.html diff --git a/doc/1.2/iter/IterLabels/.dune-keep b/1.2/iter/IterLabels/.dune-keep similarity index 100% rename from doc/1.2/iter/IterLabels/.dune-keep rename to 1.2/iter/IterLabels/.dune-keep diff --git a/doc/1.2/iter/IterLabels/IO/index.html b/1.2/iter/IterLabels/IO/index.html similarity index 100% rename from doc/1.2/iter/IterLabels/IO/index.html rename to 1.2/iter/IterLabels/IO/index.html diff --git a/doc/1.2/iter/IterLabels/Infix/index.html b/1.2/iter/IterLabels/Infix/index.html similarity index 100% rename from doc/1.2/iter/IterLabels/Infix/index.html rename to 1.2/iter/IterLabels/Infix/index.html diff --git a/doc/1.2/iter/IterLabels/Map/index.html b/1.2/iter/IterLabels/Map/index.html similarity index 100% rename from doc/1.2/iter/IterLabels/Map/index.html rename to 1.2/iter/IterLabels/Map/index.html diff --git a/doc/1.2/iter/IterLabels/Map/module-type-S/index.html b/1.2/iter/IterLabels/Map/module-type-S/index.html similarity index 100% rename from doc/1.2/iter/IterLabels/Map/module-type-S/index.html rename to 1.2/iter/IterLabels/Map/module-type-S/index.html diff --git a/doc/1.2/iter/IterLabels/Set/index.html b/1.2/iter/IterLabels/Set/index.html similarity index 100% rename from doc/1.2/iter/IterLabels/Set/index.html rename to 1.2/iter/IterLabels/Set/index.html diff --git a/doc/1.2/iter/IterLabels/Set/module-type-S/index.html b/1.2/iter/IterLabels/Set/module-type-S/index.html similarity index 100% rename from doc/1.2/iter/IterLabels/Set/module-type-S/index.html rename to 1.2/iter/IterLabels/Set/module-type-S/index.html diff --git a/doc/1.2/iter/IterLabels/index.html b/1.2/iter/IterLabels/index.html similarity index 100% rename from doc/1.2/iter/IterLabels/index.html rename to 1.2/iter/IterLabels/index.html diff --git a/doc/1.2/iter/index.html b/1.2/iter/index.html similarity index 100% rename from doc/1.2/iter/index.html rename to 1.2/iter/index.html diff --git a/doc/1.2/odoc.css b/1.2/odoc.css similarity index 100% rename from doc/1.2/odoc.css rename to 1.2/odoc.css diff --git a/doc/1.2/sequence/Sequence/.dune-keep b/1.2/sequence/Sequence/.dune-keep similarity index 100% rename from doc/1.2/sequence/Sequence/.dune-keep rename to 1.2/sequence/Sequence/.dune-keep diff --git a/doc/1.2/sequence/Sequence/index.html b/1.2/sequence/Sequence/index.html similarity index 100% rename from doc/1.2/sequence/Sequence/index.html rename to 1.2/sequence/Sequence/index.html diff --git a/doc/1.2/sequence/SequenceLabels/.dune-keep b/1.2/sequence/SequenceLabels/.dune-keep similarity index 100% rename from doc/1.2/sequence/SequenceLabels/.dune-keep rename to 1.2/sequence/SequenceLabels/.dune-keep diff --git a/doc/1.2/sequence/SequenceLabels/index.html b/1.2/sequence/SequenceLabels/index.html similarity index 100% rename from doc/1.2/sequence/SequenceLabels/index.html rename to 1.2/sequence/SequenceLabels/index.html diff --git a/doc/1.2/sequence/index.html b/1.2/sequence/index.html similarity index 100% rename from doc/1.2/sequence/index.html rename to 1.2/sequence/index.html diff --git a/doc/dev/highlight.pack.js b/dev/highlight.pack.js similarity index 100% rename from doc/dev/highlight.pack.js rename to dev/highlight.pack.js diff --git a/doc/dev/index.html b/dev/index.html similarity index 100% rename from doc/dev/index.html rename to dev/index.html diff --git a/doc/dev/iter/Iter/.dune-keep b/dev/iter/Iter/.dune-keep similarity index 100% rename from doc/dev/iter/Iter/.dune-keep rename to dev/iter/Iter/.dune-keep diff --git a/doc/dev/iter/Iter/IO/index.html b/dev/iter/Iter/IO/index.html similarity index 100% rename from doc/dev/iter/Iter/IO/index.html rename to dev/iter/Iter/IO/index.html diff --git a/doc/dev/iter/Iter/Infix/index.html b/dev/iter/Iter/Infix/index.html similarity index 100% rename from doc/dev/iter/Iter/Infix/index.html rename to dev/iter/Iter/Infix/index.html diff --git a/doc/dev/iter/Iter/Map/index.html b/dev/iter/Iter/Map/index.html similarity index 100% rename from doc/dev/iter/Iter/Map/index.html rename to dev/iter/Iter/Map/index.html diff --git a/doc/dev/iter/Iter/Map/module-type-S/index.html b/dev/iter/Iter/Map/module-type-S/index.html similarity index 100% rename from doc/dev/iter/Iter/Map/module-type-S/index.html rename to dev/iter/Iter/Map/module-type-S/index.html diff --git a/doc/dev/iter/Iter/Set/index.html b/dev/iter/Iter/Set/index.html similarity index 100% rename from doc/dev/iter/Iter/Set/index.html rename to dev/iter/Iter/Set/index.html diff --git a/doc/dev/iter/Iter/Set/module-type-S/index.html b/dev/iter/Iter/Set/module-type-S/index.html similarity index 100% rename from doc/dev/iter/Iter/Set/module-type-S/index.html rename to dev/iter/Iter/Set/module-type-S/index.html diff --git a/doc/dev/iter/Iter/index.html b/dev/iter/Iter/index.html similarity index 100% rename from doc/dev/iter/Iter/index.html rename to dev/iter/Iter/index.html diff --git a/doc/dev/iter/IterBigarray/.dune-keep b/dev/iter/IterBigarray/.dune-keep similarity index 100% rename from doc/dev/iter/IterBigarray/.dune-keep rename to dev/iter/IterBigarray/.dune-keep diff --git a/doc/dev/iter/IterBigarray/index.html b/dev/iter/IterBigarray/index.html similarity index 100% rename from doc/dev/iter/IterBigarray/index.html rename to dev/iter/IterBigarray/index.html diff --git a/doc/dev/iter/IterLabels/.dune-keep b/dev/iter/IterLabels/.dune-keep similarity index 100% rename from doc/dev/iter/IterLabels/.dune-keep rename to dev/iter/IterLabels/.dune-keep diff --git a/doc/dev/iter/IterLabels/IO/index.html b/dev/iter/IterLabels/IO/index.html similarity index 100% rename from doc/dev/iter/IterLabels/IO/index.html rename to dev/iter/IterLabels/IO/index.html diff --git a/doc/dev/iter/IterLabels/Infix/index.html b/dev/iter/IterLabels/Infix/index.html similarity index 100% rename from doc/dev/iter/IterLabels/Infix/index.html rename to dev/iter/IterLabels/Infix/index.html diff --git a/doc/dev/iter/IterLabels/Map/index.html b/dev/iter/IterLabels/Map/index.html similarity index 100% rename from doc/dev/iter/IterLabels/Map/index.html rename to dev/iter/IterLabels/Map/index.html diff --git a/doc/dev/iter/IterLabels/Map/module-type-S/index.html b/dev/iter/IterLabels/Map/module-type-S/index.html similarity index 100% rename from doc/dev/iter/IterLabels/Map/module-type-S/index.html rename to dev/iter/IterLabels/Map/module-type-S/index.html diff --git a/doc/dev/iter/IterLabels/Set/index.html b/dev/iter/IterLabels/Set/index.html similarity index 100% rename from doc/dev/iter/IterLabels/Set/index.html rename to dev/iter/IterLabels/Set/index.html diff --git a/doc/dev/iter/IterLabels/Set/module-type-S/index.html b/dev/iter/IterLabels/Set/module-type-S/index.html similarity index 100% rename from doc/dev/iter/IterLabels/Set/module-type-S/index.html rename to dev/iter/IterLabels/Set/module-type-S/index.html diff --git a/doc/dev/iter/IterLabels/index.html b/dev/iter/IterLabels/index.html similarity index 100% rename from doc/dev/iter/IterLabels/index.html rename to dev/iter/IterLabels/index.html diff --git a/doc/dev/iter/index.html b/dev/iter/index.html similarity index 100% rename from doc/dev/iter/index.html rename to dev/iter/index.html diff --git a/doc/dev/odoc.css b/dev/odoc.css similarity index 100% rename from doc/dev/odoc.css rename to dev/odoc.css diff --git a/doc/dev/sequence/Sequence/.dune-keep b/dev/sequence/Sequence/.dune-keep similarity index 100% rename from doc/dev/sequence/Sequence/.dune-keep rename to dev/sequence/Sequence/.dune-keep diff --git a/doc/dev/sequence/Sequence/index.html b/dev/sequence/Sequence/index.html similarity index 100% rename from doc/dev/sequence/Sequence/index.html rename to dev/sequence/Sequence/index.html diff --git a/doc/dev/sequence/SequenceLabels/.dune-keep b/dev/sequence/SequenceLabels/.dune-keep similarity index 100% rename from doc/dev/sequence/SequenceLabels/.dune-keep rename to dev/sequence/SequenceLabels/.dune-keep diff --git a/doc/dev/sequence/SequenceLabels/index.html b/dev/sequence/SequenceLabels/index.html similarity index 100% rename from doc/dev/sequence/SequenceLabels/index.html rename to dev/sequence/SequenceLabels/index.html diff --git a/doc/dev/sequence/index.html b/dev/sequence/index.html similarity index 100% rename from doc/dev/sequence/index.html rename to dev/sequence/index.html diff --git a/index.html b/index.html deleted file mode 100644 index f7c1c18..0000000 --- a/index.html +++ /dev/null @@ -1,17 +0,0 @@ - - - - index - - - - - -
-

OCaml package documentation

-
    -
  1. sequence 1.0
    2. -
  2. sequence.bigarray 1.0
    3. -
- - diff --git a/index.md b/index.md new file mode 100644 index 0000000..c58fa1e --- /dev/null +++ b/index.md @@ -0,0 +1,5 @@ + +# Iter + +[1.2](1.2) +[dev](dev) diff --git a/odoc.css b/odoc.css deleted file mode 100644 index e780892..0000000 --- a/odoc.css +++ /dev/null @@ -1,234 +0,0 @@ -@charset "UTF-8"; -/* Copyright (c) 2016 Daniel C. Bünzli. All rights reserved. - Distributed under the ISC license, see terms at the end of the file. - odoc 1.2.0 */ - -/* Reset a few things. */ - -html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre, -a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp, -small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li, -fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td, -article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup, -menu,nav,output,ruby,section,summary,time,mark,audio,video -{ margin:0; padding:0; border:0; /* outline: 0; */ - font-size:100%; font: inherit; line-height:inherit; vertical-align:baseline; - text-align: inherit; color: inherit; background: transparent; } - -table { border-collapse: collapse; border-spacing: 0; } -*, *:before, *:after { box-sizing: border-box; } - -body -{ font-family: Helvetica, "DejaVu Sans", Arial, sans-serif; - font-weight: normal; - font-size: 0.875rem; - line-height:1.25rem; - text-align: left; - min-width: 40ex; - max-width: 78ex; - padding: 1.25rem; - margin-left: 3.75rem; - color: #222; background: #FAFAFA; } - -/* Basic markup elements */ - -b, strong { font-weight: bold; } -em { font-style: italic; } - -sup { vertical-align: super; } -sub { vertical-align: sub; } -sup, sub { font-size : 0.75rem; line-height: 0; margin-left: 0.2ex; } - -p, div, img { margin-top: 1.25rem; } - -ul, ol -{ margin-top: 0.625rem; margin-bottom: 0.625rem; list-style-position: outside } - -ul { list-style-type: square } -ul > li { margin-left: 1.375rem; } -ol > li { margin-left: 1.7rem; } -li > *:first-child { margin-top: 0 } - -/* Text alignements, this should be forbidden. */ - -.left { text-align: left; } -.right { text-align: right; } -.center { text-align: center; } - -/* Links and anchors */ - -a { text-decoration:none; color:#2C5CBD; } -a:hover { box-shadow:0 1px 0 0 #2C5CBD; } -*:target /* Linked highlight */ -{ background-color: #FFF8E5; - box-shadow: 0 0 0 2px #FFF8E5, 0 0 0 3px #DDD; } - -.spec:hover > a.anchor, /* FIXME remove */ -.anchored:hover a.anchor { visibility: visible; } - -a.anchor:before { content: "#" } -a.anchor:hover { box-shadow: none; text-decoration: underline } -a.anchor -{ visibility: hidden; position: absolute; /* top: 0px; */ - margin-left: -3ex; - font-weight: normal; - font-style: normal; - padding-right: 1ex; padding-left: 1ex; /* To remain selectable */ - color: #AAA; } - -.xref-unresolved { box-shadow:0 1px 0 0 red } - -/* Section and document divisions. - Until at least 4.03 many of the modules of the stdlib start at .h7, - we restart the sequence there like h2 */ - -h1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 -{ font-weight: bold; margin-top: 1.25rem; } - -h1 + *, h2 + *, .h7 + * { margin-top: 0.625rem; } -h1, h2, .h7 -{ font-size: 1.25rem; - line-height: 2.4375rem; /* 2.5rem - border width */ - padding-top: 0.625rem; - border-top: solid; - border-width: 1px; - border-color: #DDD; } - -h3, .h8 { font-size: 1.125rem; } -h2 + h3, .h7 + .h8 { margin-top: 0.625rem; } - -/* Preformatted and code */ - -tt, code, pre -{ font-family: Menlo, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", - monospace; - font-weight: normal; - font-size: 0.75rem; } - -pre -{ padding-left: 0.25rem; padding-right: 0.25rem; - margin-left: -0.25rem; margin-right: -0.25rem; - padding-top: 0.3125rem; padding-bottom: 0.3125rem; - margin-top: 1.25rem; /* margin-bottom: 0.625rem; */ - line-height: 1.1875rem; - background: #F1F1F1; } - -h1 tt, h1 code, h2 tt, h2 code, .h7 tt, .h7 code { font-size: 1.125rem } -h3 tt, h3 code { font-size: 1rem } - -/* Code lexemes */ - -.keyword { font-weight: bold; } - -/* Module member specification */ - -div.def { margin-top: 0rem; text-indent: -2ex; padding-left: 2ex; } -div.def + div.doc { margin-left: 1ex; margin-top: 0.15625rem } -div.doc > *:first-child { margin-top: 0rem; } - -/* Collapsible inlined include and module */ - -details -{ border-radius: 0.5rem; - border-left: 0.2rem solid; - border-color: #FAFAFA /* Background */; - margin-left: -1.5rem; - padding-left: 1.3rem; - padding-bottom: 0.625rem; } - -details[open] { border-color: #AAA; } - -/* Records and variants FIXME */ - -div.def table { text-indent: 0em; padding:0; margin-left: -2ex; } -td.def { padding-right: 2ex } -.record td.def { padding-left:2ex; } -td.doc *:first-child { margin-top: 0em } - -/* @ tags */ - -ul.at-tag { list-style-type: none; margin-left: 0; padding: 0; } -ul.at-tag li { margin-left:0; padding:0; } -ul.at-tag li p:first-child { margin-top: 0 } /* FIXME remove */ -span.at-tag { font-weight: bold } -.at-tag.deprecated { font-weight: normal; color: crimson } -.at-tag.raise { font-weight: bold; } - -/* FIXME random other things to review. */ - -.heading -{ margin-top: 0.625rem; - border-top: solid; - border-width: 1px; - border-color: #DDD; - text-align: right; - font-weight: normal; - font-style: italic; } - -.heading + .sig { margin-top: -1.25rem; } -.heading + .parameters { margin-top: -1.25rem; } - -/* Odig package index */ - -.by-name ol, .by-tag ol, .errors ol { list-style-type: none; margin-left:0; } -.by-name ol ol, .by-tag ol ol { margin-top:0; margin-bottom: 0 } -.by-name li, .by-tag li, .errors li { margin-left:0; } - -.by-name .version { font-size: 0.625rem; color: #AAA } -.by-name nav { margin-bottom: 0.625rem } -.by-name nav a -{ text-transform: uppercase; font-size: 1.125rem; - margin-right:1ex; color: #222; display: inline-block; } - -.by-tag nav a { margin-right:1ex; color: #222; display: inline-block; } -.by-tag > ol > li { margin-top: 0.625rem; } -.by-tag > ol > li > span, -.by-tag > ol > li > ol, -.by-tag > ol > li > ol > li { display: inline-block; margin-right: 1ex; } - -/* Odig package page */ - -.package nav { display: inline; font-size: 0.875rem; font-weight: normal; } -.package .version { font-size: 0.875rem; } - -h1 + .modules, h1 + .sel { margin-top: 0.625rem } -.sel { font-weight: normal; font-style: italic; - font-size:0.875rem; margin-top:1.25rem; } -.sel + .modules { margin-top:0.625rem; - margin-bottom: 1.25rem; margin-left: 1ex; } - -.modules { margin:0; } -.modules .module { min-width:8ex; padding-right: 2ex } - -.package.info { margin: 0;} -.package.info td:first-child { font-style: italic; padding-right: 2ex; } -.package.info ul { list-style-type: none; display: inline; margin:0; } -.package.info li { display: inline-block; margin:0; margin-right:1ex; } -#info-authors li, #info-maintainers li { display:block; } - -/* Mobile adjustements. */ - -@media only screen and (max-width: 78ex) -{ body { margin: auto; } } - -/* Print adjustements. */ - -@media print -{ body { color: black; background: white; } - body nav:first-child { visibility: hidden; }} - -/*--------------------------------------------------------------------------- - Copyright (c) 2016 Daniel C. Bünzli - - Permission to use, copy, modify, and/or distribute this software for any - purpose with or without fee is hereby granted, provided that the above - copyright notice and this permission notice appear in all copies. - - THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES - WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF - MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR - ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES - WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN - ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF - OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. - ---------------------------------------------------------------------------*/