package psq

  1. Overview
  2. Docs
Functional Priority Search Queues

Install

Dune Dependency

Authors

Maintainers

Sources

psq-0.2.1.tbz
sha256=42005f533eabe74b1799ee32b8905654cd66a22bed4af2bd266b28d8462cd344
sha512=8a8dfe20dc77e1cf38a7b1a7fc76f815c71a4ffe04627151b855feaba8f1ae742594739d1b7a45580b5b24a2cd99b58516f6b5c8d858aa314201f4a6422101ee

CHANGES.md.html

v0.2.1 2022-10-25

  • added push to bump priorities

  • added split_at

  • changed ++, of_list to select the lowest, not the last/rightmost priority

v0.2.0 2019-04-09

Semantics cleanup.

  • flipped args to adjust breaking

  • of_list now always chooses the rightmost binding

  • update, (++), add_seq, to_priority_list

  • somewhat faster

v0.1.1 2019-04-06

  • Seq.t conversions

  • property tests

  • fixed key ordering of interval queries

  • key order tie-breaks min

v0.1.0 2016-11-20

First release.