F.of_listSemantics cleanup.
Breaking:
find drops ?promote and never changes the ordering.add drops ?trim and never drops bindings.size -> weightitems -> sizeunadd -> popF.S.fold and F.S.iter iterate in LRU order.F.M.fold and F.M.iter drop ?dir and always iterate in LRU order.Other:
F.S.fold_k and F.S.iter_kTo fix client code:
find ~promote:false with find;find and find ~promote:true with find and promote;add ~trim:false with add;add and add ~trim:true with add and trim;s/size/weight/g, s/items/size/g, s/unadd/pop/g;fold and iter for order-sensitivity.Breaking changes:
resize no longer drops bindings if the new size pushes the queue over capacity.of_list has simpler semantics; dropped the cap parameter.Other changes:
Lru.M.cache with more general Lru.memo.trim to shrink a queue to its capacity, as queues are no longer guaranteed to have size smaller than capacity.find gets the promote parameter, allowing queries that do not change the order.add gets the trim parameter, allowing insertions that do not drop old entries.psq in META.First release.