├── .gitignore ├── LICENSE ├── README.md ├── deque.opam ├── dune-project ├── examples ├── dune ├── knuth_plass.ml ├── ngrams.ml ├── string_builder.ml ├── zipper.ml └── zipper.mli ├── makefile ├── src ├── deck.ml ├── deck.mli ├── deck_internal.ml ├── deckrev.ml ├── deckrev.mli ├── deckrev_internal.ml ├── deque.ml ├── deque.mli ├── deque_sig.ml ├── dequeue.ml ├── dequeue_internal.ml ├── dune ├── list_like.ml ├── steque.ml ├── steque.mli └── steque_internal.ml └── tests ├── bench.gp ├── bench_append.ml ├── bench_list.ml ├── deck_test.ml ├── deckrev_test.ml ├── dequeue_test.ml ├── dune ├── list_like_test.ml └── steque_test.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/README.md -------------------------------------------------------------------------------- /deque.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/deque.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/dune-project -------------------------------------------------------------------------------- /examples/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/examples/dune -------------------------------------------------------------------------------- /examples/knuth_plass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/examples/knuth_plass.ml -------------------------------------------------------------------------------- /examples/ngrams.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/examples/ngrams.ml -------------------------------------------------------------------------------- /examples/string_builder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/examples/string_builder.ml -------------------------------------------------------------------------------- /examples/zipper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/examples/zipper.ml -------------------------------------------------------------------------------- /examples/zipper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/examples/zipper.mli -------------------------------------------------------------------------------- /makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/makefile -------------------------------------------------------------------------------- /src/deck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deck.ml -------------------------------------------------------------------------------- /src/deck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deck.mli -------------------------------------------------------------------------------- /src/deck_internal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deck_internal.ml -------------------------------------------------------------------------------- /src/deckrev.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deckrev.ml -------------------------------------------------------------------------------- /src/deckrev.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deckrev.mli -------------------------------------------------------------------------------- /src/deckrev_internal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deckrev_internal.ml -------------------------------------------------------------------------------- /src/deque.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deque.ml -------------------------------------------------------------------------------- /src/deque.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deque.mli -------------------------------------------------------------------------------- /src/deque_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/deque_sig.ml -------------------------------------------------------------------------------- /src/dequeue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/dequeue.ml -------------------------------------------------------------------------------- /src/dequeue_internal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/dequeue_internal.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/dune -------------------------------------------------------------------------------- /src/list_like.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/list_like.ml -------------------------------------------------------------------------------- /src/steque.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/steque.ml -------------------------------------------------------------------------------- /src/steque.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/steque.mli -------------------------------------------------------------------------------- /src/steque_internal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/src/steque_internal.ml -------------------------------------------------------------------------------- /tests/bench.gp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/bench.gp -------------------------------------------------------------------------------- /tests/bench_append.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/bench_append.ml -------------------------------------------------------------------------------- /tests/bench_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/bench_list.ml -------------------------------------------------------------------------------- /tests/deck_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/deck_test.ml -------------------------------------------------------------------------------- /tests/deckrev_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/deckrev_test.ml -------------------------------------------------------------------------------- /tests/dequeue_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/dequeue_test.ml -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/dune -------------------------------------------------------------------------------- /tests/list_like_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/list_like_test.ml -------------------------------------------------------------------------------- /tests/steque_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/art-w/deque/HEAD/tests/steque_test.ml --------------------------------------------------------------------------------