~/bend-docscommunity

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

Other files

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
http/headers.bendchecks ALL PROOFS CHECK0.6 s
http/method.bendchecks ALL PROOFS CHECK5.0 s
http/query.bendchecks ALL PROOFS CHECK0.8 s
http/request.bendchecks ALL PROOFS CHECK5.6 s
http/response.bendchecks ALL PROOFS CHECK0.7 s
http/status.bendchecks ALL PROOFS CHECK0.6 s
http/text.bendchecks ALL PROOFS CHECK0.6 s
http1/bytes.bendchecks ALL PROOFS CHECK0.7 s
http1/http1.bendchecks ALL PROOFS CHECK5.8 s
http_server/http_server.bendfails - expected : String
output
Error:
- 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.bendchecks ALL PROOFS CHECK5.5 s
http_server/server.bendfails - expected : String
output
Error:
- 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.bendchecks ALL PROOFS CHECK0.6 s
wire/wire.bendfails - expected : String
output
Error:
- 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