From 365537413098fc46d2f14d2f70efa215e4594c0e Mon Sep 17 00:00:00 2001 From: Dan Gallagher Date: Sun, 14 Mar 2021 18:01:06 -0400 Subject: [PATCH] [new release] interval-map (0.1.0) CHANGES: ### Added - Intervals with inclusive, exclusive, and unbounded bounds - Immutable interval tree with associated values - Add value to interval map associated with interval - Find all values with intervals that overlap query interval ### Changed ### Deprecated ### Fixed ### Security --- packages/interval-map/interval-map.0.1.0/opam | 47 +++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 packages/interval-map/interval-map.0.1.0/opam diff --git a/packages/interval-map/interval-map.0.1.0/opam b/packages/interval-map/interval-map.0.1.0/opam new file mode 100644 index 00000000000..6787dcaa4a2 --- /dev/null +++ b/packages/interval-map/interval-map.0.1.0/opam @@ -0,0 +1,47 @@ +opam-version: "2.0" +synopsis: "An immutable interval map data structure" +description: """ +An immutable interval map data structure implemented as an interval tree. Based +on [jgblight/im_interval_tree](https://github.com/jgblight/im_interval_tree). + +Interval maps are great for finding intervals and their associated values which +overlap a given interval. This interval map supports intervals with excluded, +included, and unbounded bound ends. Multiple values may be associated with the +same interval. +""" +maintainer: ["Dan Gallagher"] +authors: ["Dan Gallagher"] +license: "MIT" +homepage: "https://github.com/dgllghr/interval-map" +doc: "https://dgllghr.github.io/interval-map/" +bug-reports: "https://github.com/dgllghr/interval-map/issues" +depends: [ + "ocaml" {>= "4.08.0"} + "dune" {>= "2.0"} + "alcotest" {with-test} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {pinned} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/dgllghr/interval-map.git" +x-commit-hash: "e6e86adecf526dfbf8e41e2c4efd44743104c14a" +url { + src: + "https://github.com/dgllghr/interval-map/releases/download/0.1.0/interval-map-0.1.0.tbz" + checksum: [ + "sha256=73aad4d6fd4993e3a98e0da1120d551b863c90282fc316f92d127a525aa7322c" + "sha512=895e2aa016a1f048e15b823080899ef996e06298167321dfdeca1d37b8c5d0730261f3fea17f6f1a8e796e0b4f7ff0cd638cf97db867f1281cc7803a2cfda2ae" + ] +}