0x85ef478b fails

0x85ef478b6b1f5563321049b52b8cd0de

HTTP/1.1 client for http and https, with DNS and TLS.

Anonymous package: import it by hash.

Published

2026-09-24

Size

203,636 bytes, 10 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 329 defs, 18 types

Import

import 0x85ef478b6b1f5563321049b52b8cd0de/about.bend as About
import 0x85ef478b6b1f5563321049b52b8cd0de/dns/dns.bend as Dns
import 0x85ef478b6b1f5563321049b52b8cd0de/encoding/encoding.bend as Encoding
import 0x85ef478b6b1f5563321049b52b8cd0de/http.bend as Http
import 0x85ef478b6b1f5563321049b52b8cd0de/json/json.bend as Json
import 0x85ef478b6b1f5563321049b52b8cd0de/url/url.bend as Url
import 0x85ef478b6b1f5563321049b52b8cd0de/wire.bend as Wire
import 0x85ef478b6b1f5563321049b52b8cd0de/zlib/zlib.bend as Zlib

Modules

• about.bend 0 declarations — HTTP/1.1 client for http and https, with DNS and TLS.
• dns/dns.bend not loaded — DNS A-record lookup over UDP.
• encoding/encoding.bend 34 declarations — Hex of each char as two nibbles.
• http.bend not loaded — HTTP/1.1 client for http and https, with DNS and TLS.
• json/json.bend 89 declarations — JSON values, parsed and encoded as RFC 8259.
• url/url.bend 97 declarations — origin-form paths and query strings, percent-encoded.
• wire.bend 9 declarations — Byte-exact TCP, UDP, and TLS sockets.
• zlib/zlib.bend 158 declarations — DEFLATE, gzip, and zlib decoding (RFC 1951, 1952, 1950) over byte strings.

Other files

• effs/wire.c 15,910 bytes
• effs/wire.js 10,102 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

Error:
- expected : a name (words joined by dots, got 'resolve.3')
- observed : 'resolve.3'
Location:
436 | # ponytail: 3 nameservers; a longer resolv.conf ignores the rest
437>| def resolve.3(+name: String, xs: List<&2, String>) -> IO(Maybe<&2, String>):
    |     ^^^^^^^^^
438 |   match xs:

SOME PROOFS FAIL
Error: 7 defs rely on unsafe or foreign code:
- hi.go
- hi
- lo
- encode.go
- encode
- decode.go
- decode

Error:
- expected : a name (words joined by dots, got 'resolve.3')
- observed : 'resolve.3'
Location:
436 | # ponytail: 3 nameservers; a longer resolv.conf ignores the rest
437>| def resolve.3(+name: String, xs: List<&2, String>) -> IO(Maybe<&2, String>):
    |     ^^^^^^^^^
438 |   match xs:

SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- enc.go
- encode

SOME 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