this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Resizable arrays with fast insertion/deletion"
3description: """
4
5- O(1) constant time for random access `arr.(i)` and updates `arr.(i) <- v`
6- O(1) amortized for `push_front` and `pop_front`, `push_back` and `pop_back` to add or remove an element to the start or the end
7- O(sqrt N) for `insert_at arr i x` and `delete_at arr i` to insert or delete an element anywhere else
8
9This datastructure was invented by Goodrich and Kloss and is described in their paper "Tiered Vectors: Efficient Dynamic Arrays for Rank-Based Sequences"."""
10maintainer: ["art.wendling@gmail.com"]
11authors: ["Arthur Wendling"]
12license: "MIT"
13homepage: "https://github.com/art-w/varray"
14bug-reports: "https://github.com/art-w/varray/issues"
15depends: [
16 "dune" {>= "2.8"}
17 "ocaml" {>= "4.08"}
18 "monolith" {with-test}
19 "odoc" {with-doc}
20]
21build: [
22 ["dune" "subst"] {dev}
23 [
24 "dune"
25 "build"
26 "-p"
27 name
28 "-j"
29 jobs
30 "@install"
31 "@runtest" {with-test}
32 "@doc" {with-doc}
33 ]
34]
35dev-repo: "git+https://github.com/art-w/varray.git"
36url {
37 src: "https://github.com/art-w/varray/releases/download/0.1/varray-0.1.tbz"
38 checksum: [
39 "sha256=69a22c87d9eb4cd27ddd74b24d9fd6fe4e3ec28781012f6eb99203a9fb78e167"
40 "sha512=c5c2292a1eff693d8f10a7b398b1924b17ab3d7b84788f94e689460106df5f41f7bba3e0e30b51f9faaba88db7b502448f4850c344a4765bfd2e37da7fe7f460"
41 ]
42}
43x-commit-hash: "d08aa2c0e2ea1773b57cc2319a7a391385fa6d0f"