bend-kit-http2@0.2.0.0 checks
0xc0a30c11b68a9aafb25795f94a58eba5
RFC 7541 HPACK header blocks with a bounded dynamic table.
bend-kit-http2@0.2.0.0 by paymog
Earlier versions (3)
- bend-kit-http2@0.1.2.0 2026-09-27
- bend-kit-http2@0.1.1.0 2026-09-27
- bend-kit-http2@0.1.0.0 2026-09-27
- Published
- 2026-10-09
- Size
- 104,477 bytes, 3 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 244 defs, 19 types
Import
import bend-kit-http2@0.2.0.0/hpack.bend as Hpack import 0xc0a30c11b68a9aafb25795f94a58eba5/hpack.bend as Hpack import bend-kit-http2@0.2.0.0/http2.bend as Http2 import 0xc0a30c11b68a9aafb25795f94a58eba5/http2.bend as Http2 import bend-kit-http2@0.2.0.0/huffman.bend as Huffman import 0xc0a30c11b68a9aafb25795f94a58eba5/huffman.bend as Huffman
Modules
- hpack.bend 89 declarations — RFC 7541 HPACK header blocks with a bounded dynamic table.
- http2.bend 167 declarations — RFC 9113 HTTP/2 client and frames, with RFC 7541 HPACK 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
- bend-kit-http@0.32.0.0 via
http.bend: import bend-kit-http2@0.2.0.0/http2.bend as H2
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| hpack.bend | checks | ALL PROOFS CHECK | 6.1 s |
| http2.bend | checks | ALL PROOFS CHECK | 13.1 s |
| huffman.bend | checks | ALL PROOFS CHECK | 4.5 s |