0x620317aa checks
0x620317aa272e53852c5b5baae68a727b
Generic collections: an ordered map and set, a vector, a deque and a priority queue. Source: https://github.com/paymog/bend-kit/tree/main/collections
Anonymous package: import it by hash.
- Published
- 2026-09-25
- Size
- 23,491 bytes, 5 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 11 laws (11 proved), 79 defs, 4 types
Import
import 0x620317aa272e53852c5b5baae68a727b/collections.bend as Collections import 0x620317aa272e53852c5b5baae68a727b/deque.bend as Deque import 0x620317aa272e53852c5b5baae68a727b/heap.bend as Heap import 0x620317aa272e53852c5b5baae68a727b/omap.bend as Omap import 0x620317aa272e53852c5b5baae68a727b/vec.bend as Vec
Modules
- collections.bend 0 declarations — Generic collections: an ordered map and set, 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.
- 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 | 1.0 s |
| deque.bend | checks | ALL PROOFS CHECK | 0.9 s |
| heap.bend | checks | ALL PROOFS CHECK | 0.7 s |
| omap.bend | checks | ALL PROOFS CHECK | 1.0 s |
| vec.bend | checks | ALL PROOFS CHECK | 0.8 s |