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