-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
377 changed files
with
9 additions
and
14,890 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,78 +1,11 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"> | ||
|
|
||
| <head> | ||
| <title>patricia-tree documentation</title> | ||
| <link rel="stylesheet" href="./odoc.support/odoc.css" /> | ||
| <meta charset="utf-8" /> | ||
| <meta name="viewport" content="width=device-width,initial-scale=1.0" /> | ||
| <script src="./odoc.support/highlight.pack.js"></script> | ||
| <script>hljs.initHighlightingOnLoad();</script> | ||
| </head> | ||
|
|
||
| <body class="odoc"> | ||
| <div class="odoc-content"> | ||
| <h1>OCaml patricia-tree library</h1> | ||
|
|
||
| <p> | ||
| <a href="https://github.com/codex-semantics-library/patricia-tree/releases"> | ||
| <img src="https://img.shields.io/badge/version-0.9.0-yellow" alt="Latest Version"> | ||
| </a> | ||
| <a href="https://github.com/codex-semantics-library/patricia-tree/blob/main/dune-project"> | ||
| <img src="https://img.shields.io/badge/OCaml-4.14_--_5.x-blue?logo=ocaml&logoColor=white" alt="OCaml Version"> | ||
| </a> | ||
| <a href="https://github.com/codex-semantics-library/patricia-tree/blob/main/LICENSE"> | ||
| <img src="https://img.shields.io/github/license/codex-semantics-library/patricia-tree" alt="GitHub License"> | ||
| </a> | ||
| <a href="https://github.com/codex-semantics-library/patricia-tree/actions/workflows/ocaml.yml"> | ||
| <img src="https://img.shields.io/github/actions/workflow/status/codex-semantics-library/patricia-tree/ocaml.yml" | ||
| alt="GitHub Actions Workflow Status"> | ||
| </a> | ||
| <a href="https://codex.top/patricia-tree/"> | ||
| <img | ||
| src="https://img.shields.io/website?url=https%3A%2F%2Fcodex.top%2Fpatricia-tree%2F&up_message=online&down_message=offline&label=documentation" | ||
| alt="Documentation"> | ||
| </a> | ||
| </a> | ||
| </p> | ||
|
|
||
| <p>This is an <a href="https://ocaml.org/">OCaml</a> library that implements sets and maps as Patricia Trees, as | ||
| described in Okasaki and Gill's 1998 paper <a | ||
| href="https://www.semanticscholar.org/paper/Fast-Mergeable-Integer-Maps-Okasaki-Gill/23003be706e5f586f23dd7fa5b2a410cc91b659d"><i>Fast | ||
| mergeable integer maps</i></a>. It is a space-efficient prefix trie over the big-endian representation of | ||
| the | ||
| key's integer identifier.</p> | ||
| <p>The source code of this library is available <a | ||
| href="https://github.com/codex-semantics-library/patricia-tree">on Github</a> under an <a | ||
| href="https://choosealicense.com/licenses/lgpl-2.1/">LGPL-2.1</a> license.</p> | ||
|
|
||
| <h2 id="documentation-versions"><a href="#documentation-versions" class="anchor"></a>Documentation versions</h2> | ||
| <p> | ||
| See any of these for more details on this library, what it can do, some | ||
| small examples and the full documentation. | ||
| </p> | ||
| <ol> | ||
| <li><a href="v0.9.0/index.html">patricia-tree</a> – <span class="version">v0.9.0</span> – latest version</li> | ||
| <li><a href="main/index.html">patricia-tree</a> – <span class="version">main branch</span> – development version | ||
| </li> | ||
| </ol> | ||
| <p>Changes between versions are listed in the <a | ||
| href="https://github.com/codex-semantics-library/patricia-tree/blob/main/CHANGELOG.md">changelog</a>.</p> | ||
|
|
||
| <h2 id="installation"><a href="#installation" class="anchor"></a>Installation</h2> | ||
| <p>This library can be installed with <a href="https://opam.ocaml.org/">opam</a>:</p> | ||
| <pre class="language-bash"><code>opam install patricia-tree</code></pre> | ||
| <p>Alternatively, you can clone the source repository and compile with <a href="https://dune.build/">dune</a>:</p> | ||
| <pre class="language-bash"> | ||
| <code>git clone [email protected]:codex-semantics-library/patricia-tree.git | ||
| cd patricia-tree | ||
| opan install . --deps-only | ||
| dune build | ||
| dune install | ||
| # To build documentation | ||
| opam install odoc | ||
| dune build @doc</code></pre> | ||
| </div> | ||
| </body> | ||
|
|
||
| <html lang="en-US"> | ||
| <meta charset="utf-8"> | ||
| <title>Redirecting…</title> | ||
| <link rel="canonical" href="/api/patricia-tree.html"> | ||
| <script>location = "/api/patricia-tree.html"</script> | ||
| <meta http-equiv="refresh" content="0; url=/api/patricia-tree.html"> | ||
| <meta name="robots" content="noindex"> | ||
| <h1>Redirecting…</h1> | ||
| <a href="/api/patricia-tree.html">Click here if you are not redirected.</a> | ||
| </html> |
This file was deleted.
Oops, something went wrong.
13 changes: 0 additions & 13 deletions
13
main/PatriciaTree/HashconsedNode/argument-2-Value/index.html
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.