bend-kit-http2@0.1.1.0 checks
0xd41d074c90469a15eca58dd6df15d1c8
RFC 7541 HPACK header blocks with a bounded dynamic table.
bend-kit-http2@0.1.1.0 by paymog
Other versions (3)
- bend-kit-http2@0.2.0.0 2026-10-09 latest
- bend-kit-http2@0.1.2.0 2026-09-27
- bend-kit-http2@0.1.0.0 2026-09-27
- Published
- 2026-09-27
- Size
- 61,176 bytes, 3 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 143 defs, 11 types
Import
import bend-kit-http2@0.1.1.0/hpack.bend as Hpack import 0xd41d074c90469a15eca58dd6df15d1c8/hpack.bend as Hpack import bend-kit-http2@0.1.1.0/http2.bend as Http2 import 0xd41d074c90469a15eca58dd6df15d1c8/http2.bend as Http2 import bend-kit-http2@0.1.1.0/huffman.bend as Huffman import 0xd41d074c90469a15eca58dd6df15d1c8/huffman.bend as Huffman
Modules
- hpack.bend 89 declarations — RFC 7541 HPACK header blocks with a bounded dynamic table.
- http2.bend 46 declarations — RFC 9113 HTTP/2 frames and RFC 7541 HPACK header blocks over packed Bytes.
- huffman.bend 33 declarations — RFC 7541 Appendix B Huffman alphabet and streaming codec.
Dependencies
- bend-kit-bytes@0.3.1.0 via
hpack.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| hpack.bend | checks | ALL PROOFS CHECK | 4.4 s |
| http2.bend | checks | ALL PROOFS CHECK | 4.5 s |
| huffman.bend | checks | ALL PROOFS CHECK | 4.4 s |