~/bend-docscommunity

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)
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

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
collections.bendchecks ALL PROOFS CHECK0.8 s
deque.bendchecks ALL PROOFS CHECK0.7 s
heap.bendchecks ALL PROOFS CHECK0.8 s
hmap.bendchecks ALL PROOFS CHECK1.0 s
omap.bendchecks ALL PROOFS CHECK0.9 s
vec.bendchecks ALL PROOFS CHECK0.8 s