0x64e1b9e0 fails
0x64e1b9e0466cf913fa57e70aeb11c176
no description
Anonymous package: import it by hash.
- Published
- 2026-09-27
- Size
- 138,185 bytes, 32 files
- License
- MIT (LICENSE)
MIT (http/LICENSE)
MIT (http1/LICENSE)
MIT (http_json/LICENSE)
MIT (http_router/LICENSE)
MIT (http_server/LICENSE)
MIT (io/LICENSE)
MIT (json/LICENSE)
MIT (utf8/LICENSE)
MIT (wire/LICENSE) - Declarations
- 7 laws (4 proved), 470 defs, 68 types
Import
import 0x64e1b9e0466cf913fa57e70aeb11c176/grounds.bend as Grounds import 0x64e1b9e0466cf913fa57e70aeb11c176/http/headers.bend as Headers import 0x64e1b9e0466cf913fa57e70aeb11c176/http/http.bend as Http import 0x64e1b9e0466cf913fa57e70aeb11c176/http/method.bend as Method import 0x64e1b9e0466cf913fa57e70aeb11c176/http/query.bend as Query import 0x64e1b9e0466cf913fa57e70aeb11c176/http/request.bend as Request import 0x64e1b9e0466cf913fa57e70aeb11c176/http/response.bend as Response import 0x64e1b9e0466cf913fa57e70aeb11c176/http/status.bend as Status import 0x64e1b9e0466cf913fa57e70aeb11c176/http/text.bend as Text import 0x64e1b9e0466cf913fa57e70aeb11c176/http1/bytes.bend as Bytes import 0x64e1b9e0466cf913fa57e70aeb11c176/http1/http1.bend as Http1 import 0x64e1b9e0466cf913fa57e70aeb11c176/http_json/http_json.bend as Http_json import 0x64e1b9e0466cf913fa57e70aeb11c176/http_router/router.bend as Router import 0x64e1b9e0466cf913fa57e70aeb11c176/http_server/http_server.bend as Http_server import 0x64e1b9e0466cf913fa57e70aeb11c176/http_server/middleware.bend as Middleware import 0x64e1b9e0466cf913fa57e70aeb11c176/http_server/server.bend as Server import 0x64e1b9e0466cf913fa57e70aeb11c176/io/io.bend as Io import 0x64e1b9e0466cf913fa57e70aeb11c176/json/json.bend as Json import 0x64e1b9e0466cf913fa57e70aeb11c176/utf8/utf8.bend as Utf8 import 0x64e1b9e0466cf913fa57e70aeb11c176/wire/wire.bend as Wire
Modules
- grounds.bend 0 declarations
- http/headers.bend 15 declarations
- http/http.bend 0 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_json/http_json.bend 25 declarations
- http_router/router.bend 47 declarations
- http_server/http_server.bend 0 declarations
- http_server/middleware.bend 19 declarations
- http_server/server.bend 26 declarations, 3 laws
- io/io.bend 11 declarations, 4 laws
- json/json.bend 329 declarations
- utf8/utf8.bend 25 declarations
- wire/wire.bend 7 declarations
Other files
- LICENSE 1,101 bytes
- http/LICENSE 1,101 bytes
- http1/LICENSE 1,101 bytes
- http_json/LICENSE 1,101 bytes
- http_router/LICENSE 1,101 bytes
- http_server/LICENSE 1,101 bytes
- io/LICENSE 1,101 bytes
- json/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 |
|---|---|---|---|
| grounds.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 | | 2.9 s |
| http/headers.bend | checks | ALL PROOFS CHECK | 0.6 s |
| http/http.bend | checks | ALL PROOFS CHECK | 6.0 s |
| http/method.bend | checks | ALL PROOFS CHECK | 5.1 s |
| http/query.bend | checks | ALL PROOFS CHECK | 0.9 s |
| http/request.bend | checks | ALL PROOFS CHECK | 5.6 s |
| http/response.bend | checks | ALL PROOFS CHECK | 0.8 s |
| http/status.bend | checks | ALL PROOFS CHECK | 1.0 s |
| http/text.bend | checks | ALL PROOFS CHECK | 0.8 s |
| http1/bytes.bend | checks | ALL PROOFS CHECK | 0.8 s |
| http1/http1.bend | checks | ALL PROOFS CHECK | 5.4 s |
| http_json/http_json.bend | checks | ALL PROOFS CHECK | 7.0 s |
| http_router/router.bend | checks | ALL PROOFS CHECK | 5.7 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.9 s |
| http_server/middleware.bend | checks | ALL PROOFS CHECK | 5.3 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 |
| io/io.bend | checks | ALL PROOFS CHECK | 0.7 s |
| json/json.bend | checks | ALL PROOFS CHECK | 1.6 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.7 s |