0x7232384c fails
0x7232384c42402f977ceed3b85efc3adc
no description
Anonymous package: import it by hash.
- Published
- 2026-09-27
- Size
- 66,504 bytes, 21 files
- License
- MIT (http/LICENSE)
MIT (http1/LICENSE)
MIT (http_server/LICENSE)
MIT (utf8/LICENSE)
MIT (wire/LICENSE) - Declarations
- 3 laws (0 proved), 232 defs, 26 types
Import
import 0x7232384c42402f977ceed3b85efc3adc/http/headers.bend as Headers import 0x7232384c42402f977ceed3b85efc3adc/http/method.bend as Method import 0x7232384c42402f977ceed3b85efc3adc/http/query.bend as Query import 0x7232384c42402f977ceed3b85efc3adc/http/request.bend as Request import 0x7232384c42402f977ceed3b85efc3adc/http/response.bend as Response import 0x7232384c42402f977ceed3b85efc3adc/http/status.bend as Status import 0x7232384c42402f977ceed3b85efc3adc/http/text.bend as Text import 0x7232384c42402f977ceed3b85efc3adc/http1/bytes.bend as Bytes import 0x7232384c42402f977ceed3b85efc3adc/http1/http1.bend as Http1 import 0x7232384c42402f977ceed3b85efc3adc/http_server/http_server.bend as Http_server import 0x7232384c42402f977ceed3b85efc3adc/http_server/middleware.bend as Middleware import 0x7232384c42402f977ceed3b85efc3adc/http_server/server.bend as Server import 0x7232384c42402f977ceed3b85efc3adc/utf8/utf8.bend as Utf8 import 0x7232384c42402f977ceed3b85efc3adc/wire/wire.bend as Wire
Modules
- http/headers.bend 15 declarations
- http/method.bend 13 declarations
- http/query.bend 12 declarations
- http/request.bend 11 declarations
- http/response.bend 13 declarations
- http/status.bend 24 declarations
- http/text.bend 9 declarations
- http1/bytes.bend 27 declarations
- http1/http1.bend 125 declarations
- http_server/http_server.bend 0 declarations
- http_server/middleware.bend 19 declarations
- http_server/server.bend 26 declarations, 3 laws
- utf8/utf8.bend 25 declarations
- wire/wire.bend 7 declarations
Other files
- http/LICENSE 1,101 bytes
- http1/LICENSE 1,101 bytes
- http_server/LICENSE 1,101 bytes
- utf8/LICENSE 1,101 bytes
- wire/LICENSE 1,101 bytes
- wire/effs/wire.c 3,889 bytes
- wire/effs/wire.js 2,405 bytes
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 |
|---|---|---|---|
| http/headers.bend | checks | ALL PROOFS CHECK | 0.6 s |
| http/method.bend | checks | ALL PROOFS CHECK | 5.0 s |
| http/query.bend | checks | ALL PROOFS CHECK | 0.8 s |
| http/request.bend | checks | ALL PROOFS CHECK | 5.6 s |
| http/response.bend | checks | ALL PROOFS CHECK | 0.7 s |
| http/status.bend | checks | ALL PROOFS CHECK | 0.6 s |
| http/text.bend | checks | ALL PROOFS CHECK | 0.6 s |
| http1/bytes.bend | checks | ALL PROOFS CHECK | 0.7 s |
| http1/http1.bend | checks | ALL PROOFS CHECK | 5.8 s |
| http_server/http_server.bend | fails | - expected : StringoutputError: - expected : String - observed : U32 Context: - port : U32 Location: listen 35 | def listen(port: U32) -> IO(Result<&1, &1, U32 & String, Listener>): 36>| TCP.listen(port) | ^^^^ 37 | | 1.6 s |
| http_server/middleware.bend | checks | ALL PROOFS CHECK | 5.5 s |
| http_server/server.bend | fails | - expected : StringoutputError: - expected : String - observed : U32 Context: - port : U32 Location: listen 35 | def listen(port: U32) -> IO(Result<&1, &1, U32 & String, Listener>): 36>| TCP.listen(port) | ^^^^ 37 | | 1.8 s |
| utf8/utf8.bend | checks | ALL PROOFS CHECK | 0.6 s |
| wire/wire.bend | fails | - expected : StringoutputError: - expected : String - observed : U32 Context: - port : U32 Location: listen 35 | def listen(port: U32) -> IO(Result<&1, &1, U32 & String, Listener>): 36>| TCP.listen(port) | ^^^^ 37 | | 0.6 s |