0x5ddb9073 fails
0x5ddb90739641adb64ef94dd80c43f8d4
HTTP/1.1 client for http and https, with DNS and TLS.
Anonymous package: import it by hash.
- Published
- 2026-09-23
- Size
- 97,961 bytes, 7 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 338 defs, 18 types
Import
import 0x5ddb90739641adb64ef94dd80c43f8d4/about.bend as About import 0x5ddb90739641adb64ef94dd80c43f8d4/dns/dns.bend as Dns import 0x5ddb90739641adb64ef94dd80c43f8d4/http.bend as Http import 0x5ddb90739641adb64ef94dd80c43f8d4/url/url.bend as Url import 0x5ddb90739641adb64ef94dd80c43f8d4/wire.bend as Wire
Modules
- about.bend 0 declarations — HTTP/1.1 client for http and https, with DNS and TLS.
- dns/dns.bend 71 declarations — DNS A-record lookup over UDP.
- http.bend 232 declarations — HTTP/1.1 client for http and https, with DNS and TLS.
- url/url.bend 84 declarations — origin-form paths and query strings, percent-encoded.
- wire.bend 9 declarations — Byte-exact TCP, UDP, and TLS sockets.
Other files
- effs/wire.c 16,012 bytes
- effs/wire.js 10,100 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 |
|---|---|---|---|
| about.bend | checks | ALL PROOFS CHECK | 0.1 s |
| dns/dns.bend | fails | - expected : StringoutputError:
- expected : String
- observed : U32
Context:
- ns : String
- id : U32
- bytes : String
Location: resolve.q
388 | do IO<Maybe<&2, String>>:
389>| u : Result<&1, &1, U32 & String, Socket> <- UDP.bind(0)
| ^
390 | resolve.sock(ns, id, bytes, u) | 0.8 s |
| http.bend | fails | - expected : StringoutputError:
- expected : String
- observed : U32
Context:
- ns : String
- id : U32
- bytes : String
Location: resolve.q
388 | do IO<Maybe<&2, String>>:
389>| u : Result<&1, &1, U32 & String, Socket> <- UDP.bind(0)
| ^
390 | resolve.sock(ns, id, bytes, u) | 0.8 s |
| url/url.bend | relies on unsafe/foreign | 21 defs rely on unsafe or foreign code defs: hexhi.go, hexhi, hexlo, pct.enc.push, pct.enc.path, pct.enc.query, pct.encode_path, pct.encode_q, pct.decode.go, pct.decode, qput.kv, qput, qfold, parse.q, parse.path, parse.split, parse.ok, parse, enc.pairs.go, enc.pairs, encodeoutputSOME PROOFS FAIL Error: 21 defs rely on unsafe or foreign code: - hexhi.go - hexhi - hexlo - pct.enc.push - pct.enc.path - pct.enc.query - pct.encode_path - pct.encode_q - pct.decode.go - pct.decode - qput.kv - qput - qfold - parse.q - parse.path - parse.split - parse.ok - parse - enc.pairs.go - enc.pairs - encode | 1.0 s |
| wire.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: connect, recv, send, recv_from, send_to, tls.connect, tls.send, tls.recv, tls.closeoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - connect - recv - send - recv_from - send_to - tls.connect - tls.send - tls.recv - tls.close | 0.9 s |