0xd2d968d9 checks
0xd2d968d969a26029a632a3347c989456
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.
Earlier versions (1)
- 0x9d83ddf9 2026-09-29
- Published
- 2026-09-29
- Size
- 30,496 bytes, 6 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 11 laws (11 proved), 95 defs, 6 types
Import
import 0xd2d968d969a26029a632a3347c989456/collections.bend as Collections import 0xd2d968d969a26029a632a3347c989456/deque.bend as Deque import 0xd2d968d969a26029a632a3347c989456/heap.bend as Heap import 0xd2d968d969a26029a632a3347c989456/hmap.bend as Hmap import 0xd2d968d969a26029a632a3347c989456/omap.bend as Omap import 0xd2d968d969a26029a632a3347c989456/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 22 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.9 s |
| deque.bend | checks | ALL PROOFS CHECK | 0.9 s |
| heap.bend | checks | ALL PROOFS CHECK | 0.7 s |
| hmap.bend | checks | ALL PROOFS CHECK | 1.0 s |
| omap.bend | checks | ALL PROOFS CHECK | 1.0 s |
| vec.bend | checks | ALL PROOFS CHECK | 0.8 s |