package psq
Functional Priority Search Queues
Install
Dune Dependency
Authors
Maintainers
Sources
psq-0.2.1.tbz
sha256=42005f533eabe74b1799ee32b8905654cd66a22bed4af2bd266b28d8462cd344
sha512=8a8dfe20dc77e1cf38a7b1a7fc76f815c71a4ffe04627151b855feaba8f1ae742594739d1b7a45580b5b24a2cd99b58516f6b5c8d858aa314201f4a6422101ee
doc/CHANGES.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 bindingupdate
,(++)
,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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page