This commit is contained in:
c-cube 2026-04-09 00:59:27 +00:00
parent fcae1452b0
commit 1c0064f8e9
5 changed files with 9 additions and 9 deletions

View file

@ -3,8 +3,8 @@
@import url("theme.css"); @import url("theme.css");
/* Copyright (c) 2019 The odig programmers. All rights reserved. /* Copyright (c) 2019 The odig programmers. All rights reserved.
SPDX-License-Identifier: ISC Distributed under the ISC license, see terms at the end of the file.
odig v0.1.0 */ odig v0.0.9 */
:root { --font-headings: "PT-Sans-Caption"; :root { --font-headings: "PT-Sans-Caption";
--font-body: "PT-Sans"; --font-body: "PT-Sans";
@ -373,4 +373,4 @@ ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/ */

View file

@ -3,7 +3,7 @@
@import url("theme.css"); @import url("theme.css");
/* Copyright (c) 2019 The odig programmers. All rights reserved. /* Copyright (c) 2019 The odig programmers. All rights reserved.
SPDX-License-Identifier: ISC */ Distributed under the ISC license, see terms at the end of the file. */
/* Reset a few things. */ /* Reset a few things. */
@ -62,7 +62,7 @@ table { border-collapse: collapse; border-spacing: 0; }
.odoc-nav { grid-area: nav; } .odoc-nav { grid-area: nav; }
.odoc-preamble { grid-area: header; } .odoc-preamble { grid-area: header; }
.odoc-content { grid-area: content; margin: 0 } .odoc-content { grid-area: content; margin: 0 }
.odoc-tocs .odoc-toc
{ grid-area: toc; { grid-area: toc;
margin-top: var(--size-line); margin-top: var(--size-line);
border-top: solid thin var(--color-rule); } border-top: solid thin var(--color-rule); }
@ -331,4 +331,4 @@ ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/ */

View file

@ -1,2 +1,2 @@
<!DOCTYPE html> <!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (either.index)</title><meta charset="utf-8"/><link rel="stylesheet" href="../_odoc-theme/odoc.css"/><meta name="generator" content="odoc 3.1.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">Index</a> &#x00BB; either</nav><header class="odoc-preamble"><h1 id="package-either"><a href="#package-either" class="anchor"></a>Package either <span class="version">1.0.0</span> <nav><a type="text/plain; charset=UTF-8" href="_doc-dir/CHANGES.md">changes</a> <a href="https://github.com/mirage/either/issues">issues</a> <a href="#package_info">more…</a></nav></h1><ul class="modules"><li><a href="Either/index.html"><code>Either</code></a> </li></ul></header><div class="odoc-tocs"><nav class="odoc-toc odoc-local-toc"><ul><li><a href="#package_info">Package info</a></li></ul></nav></div><div class="odoc-content"><h2 id="package_info"><a href="#package_info" class="anchor"></a>Package info</h2><table class="package info"><tr id="info-authors"><td><a href="#info-authors" aria-hidden="true" class="anchor"></a>authors</td><td><ul><li>Craig Ferguson &lt;me@craigfe.io&gt;</li></ul></td></tr><tr id="info-changes-files"><td><a href="#info-changes-files" aria-hidden="true" class="anchor"></a>changes-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/CHANGES.md">CHANGES.md</a></li></ul></td></tr><tr id="info-depends"><td><a href="#info-depends" aria-hidden="true" class="anchor"></a>depends</td><td><ul><li><a href="../dune/index.html">dune</a></li></ul></td></tr><tr id="info-homepage"><td><a href="#info-homepage" aria-hidden="true" class="anchor"></a>homepage</td><td><ul><li><a href="https://github.com/mirage/either">https://github.com/mirage/either</a></li></ul></td></tr><tr id="info-issues"><td><a href="#info-issues" aria-hidden="true" class="anchor"></a>issues</td><td><ul><li><a href="https://github.com/mirage/either/issues">https://github.com/mirage/either/issues</a></li></ul></td></tr><tr id="info-license"><td><a href="#info-license" aria-hidden="true" class="anchor"></a>license</td><td><ul><li>MIT</li></ul></td></tr><tr id="info-license-files"><td><a href="#info-license-files" aria-hidden="true" class="anchor"></a>license-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/LICENSE">LICENSE</a></li></ul></td></tr><tr id="info-maintainers"><td><a href="#info-maintainers" aria-hidden="true" class="anchor"></a>maintainers</td><td><ul><li>Craig Ferguson &lt;me@craigfe.io&gt;</li></ul></td></tr><tr id="info-online-doc"><td><a href="#info-online-doc" aria-hidden="true" class="anchor"></a>online-doc</td><td><ul><li><a href="https://mirage.github.io/either">https://mirage.github.io/either</a></li></ul></td></tr><tr id="info-readme-files"><td><a href="#info-readme-files" aria-hidden="true" class="anchor"></a>readme-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/README.md">README.md</a></li></ul></td></tr><tr id="info-repo"><td><a href="#info-repo" aria-hidden="true" class="anchor"></a>repo</td><td><ul><li>git+https://github.com/mirage/either.git</li></ul></td></tr><tr id="info-version"><td><a href="#info-version" aria-hidden="true" class="anchor"></a>version</td><td><ul><li>1.0.0</li></ul></td></tr></table></div></body></html> <html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (either.index)</title><meta charset="utf-8"/><link rel="stylesheet" href="../_odoc-theme/odoc.css"/><meta name="generator" content="odoc 3.1.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">Index</a> &#x00BB; either</nav><header class="odoc-preamble"><h1 id="package-either"><a href="#package-either" class="anchor"></a>Package either <span class="version">1.0.0</span> <nav><a type="text/plain; charset=UTF-8" href="_doc-dir/CHANGES.md">changes</a> <a href="https://github.com/mirage/either/issues">issues</a> <a href="#package_info">more…</a></nav></h1><ul class="modules"><li><a href="Either/index.html"><code>Either</code></a> </li></ul></header><div class="odoc-tocs"><nav class="odoc-toc odoc-local-toc"><ul><li><a href="#package_info">Package info</a></li></ul></nav></div><div class="odoc-content"><h2 id="package_info"><a href="#package_info" class="anchor"></a>Package info</h2><table class="package info"><tr id="info-authors"><td><a href="#info-authors" aria-hidden="true" class="anchor"></a>authors</td><td><ul><li>Craig Ferguson &lt;me&commat;craigfe.io&gt;</li></ul></td></tr><tr id="info-changes-files"><td><a href="#info-changes-files" aria-hidden="true" class="anchor"></a>changes-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/CHANGES.md">CHANGES.md</a></li></ul></td></tr><tr id="info-depends"><td><a href="#info-depends" aria-hidden="true" class="anchor"></a>depends</td><td><ul><li><a href="../dune/index.html">dune</a></li></ul></td></tr><tr id="info-homepage"><td><a href="#info-homepage" aria-hidden="true" class="anchor"></a>homepage</td><td><ul><li><a href="https://github.com/mirage/either">https://github.com/mirage/either</a></li></ul></td></tr><tr id="info-issues"><td><a href="#info-issues" aria-hidden="true" class="anchor"></a>issues</td><td><ul><li><a href="https://github.com/mirage/either/issues">https://github.com/mirage/either/issues</a></li></ul></td></tr><tr id="info-license"><td><a href="#info-license" aria-hidden="true" class="anchor"></a>license</td><td><ul><li>MIT</li></ul></td></tr><tr id="info-license-files"><td><a href="#info-license-files" aria-hidden="true" class="anchor"></a>license-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/LICENSE">LICENSE</a></li></ul></td></tr><tr id="info-maintainers"><td><a href="#info-maintainers" aria-hidden="true" class="anchor"></a>maintainers</td><td><ul><li>Craig Ferguson &lt;me&commat;craigfe.io&gt;</li></ul></td></tr><tr id="info-online-doc"><td><a href="#info-online-doc" aria-hidden="true" class="anchor"></a>online-doc</td><td><ul><li><a href="https://mirage.github.io/either">https://mirage.github.io/either</a></li></ul></td></tr><tr id="info-readme-files"><td><a href="#info-readme-files" aria-hidden="true" class="anchor"></a>readme-files</td><td><ul><li><a type="text/plain; charset=UTF-8" href="_doc-dir/README.md">README.md</a></li></ul></td></tr><tr id="info-repo"><td><a href="#info-repo" aria-hidden="true" class="anchor"></a>repo</td><td><ul><li>git+https://github.com/mirage/either.git</li></ul></td></tr><tr id="info-version"><td><a href="#info-version" aria-hidden="true" class="anchor"></a>version</td><td><ul><li>1.0.0</li></ul></td></tr></table></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