0x9d83ddf9 checks
0x9d83ddf966d11f828944383c8c9577cc
Generic collections: maps, a vector, a deque and a priority queue. Source: https://github.com/paymog/bend-kit/tree/main/collections
Anonymous package: import it by hash.
Other versions (1)
- 0xd2d968d9 2026-09-29 latest
- Published
- 2026-09-29
- Size
- 28,310 bytes, 6 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 11 laws (11 proved), 90 defs, 6 types
Import
import 0x9d83ddf966d11f828944383c8c9577cc/collections.bend as Collections import 0x9d83ddf966d11f828944383c8c9577cc/deque.bend as Deque import 0x9d83ddf966d11f828944383c8c9577cc/heap.bend as Heap import 0x9d83ddf966d11f828944383c8c9577cc/hmap.bend as Hmap import 0x9d83ddf966d11f828944383c8c9577cc/omap.bend as Omap import 0x9d83ddf966d11f828944383c8c9577cc/vec.bend as Vec
Modules
- collections.bend 0 declarations — Generic collections: maps, a vector, a deque and a priority queue. Source: https://github.com/paymog/bend-kit/tree/main/collections
- deque.bend 31 declarations, 9 laws — Deque: a double-ended queue, as a front list and a reversed back list.
- heap.bend 16 declarations, 2 laws — Heap: a priority queue, as a skew heap ordered by a le you pass in.
- hmap.bend 17 declarations — HMap: a hash trie keyed by any Data type, with equality-checked collision buckets.
- omap.bend 34 declarations — OMap: an ordered map keyed by any Data type, as a weight-balanced tree.
- vec.bend 20 declarations — Vec: a growable array. push is amortized O(1): a full buffer doubles.
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| collections.bend | checks | ALL PROOFS CHECK | 0.8 s |
| deque.bend | checks | ALL PROOFS CHECK | 0.7 s |
| heap.bend | checks | ALL PROOFS CHECK | 0.8 s |
| hmap.bend | checks | ALL PROOFS CHECK | 1.0 s |
| omap.bend | checks | ALL PROOFS CHECK | 0.9 s |
| vec.bend | checks | ALL PROOFS CHECK | 0.8 s |