0x0a372da4 fails

0x0a372da4a053652f70ded7d6e0d19330

ezhttp/b64: Base64 encoding for HTTP credentials (RFC 4648 §4). The

Anonymous package: import it by hash.

Published

2026-09-25

Size

109,162 bytes, 13 files

License

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

Declarations

0 laws (0 proved), 372 defs, 12 types

Import

import 0x0a372da4a053652f70ded7d6e0d19330/b64.bend as B64
import 0x0a372da4a053652f70ded7d6e0d19330/body.bend as Body
import 0x0a372da4a053652f70ded7d6e0d19330/cache.bend as Cache
import 0x0a372da4a053652f70ded7d6e0d19330/client.bend as Client
import 0x0a372da4a053652f70ded7d6e0d19330/cookie.bend as Cookie
import 0x0a372da4a053652f70ded7d6e0d19330/cors.bend as Cors
import 0x0a372da4a053652f70ded7d6e0d19330/http.bend as Http
import 0x0a372da4a053652f70ded7d6e0d19330/main.bend as Main
import 0x0a372da4a053652f70ded7d6e0d19330/server.bend as Server
import 0x0a372da4a053652f70ded7d6e0d19330/url.bend as Url
import 0x0a372da4a053652f70ded7d6e0d19330/wire.bend as Wire

Modules

• b64.bend 15 declarations — ezhttp/b64: Base64 encoding for HTTP credentials (RFC 4648 §4). The
• body.bend 12 declarations — ezhttp/body: request entity as empty, UTF-8 text, or octet list. Core does
• cache.bend 26 declarations — ezhttp/cache: Cache-Control and a small freshness check (RFC 9111). This is
• client.bend 20 declarations — ezhttp/client: fetch a URL. URL and HTTP parsing joined to the wire effect.
• cookie.bend 72 declarations — ezhttp/cookie: Set-Cookie and Cookie (RFC 6265 §§4–5). A thin jar: parse
• cors.bend 41 declarations — ezhttp/cors: Fetch CORS response headers for a simple request and an OPTIONS
• http.bend 125 declarations — ezhttp/http: HTTP/1.1 message text for client and server — request and
• main.bend 31 declarations — ezhttp: HTTP client and server for Bend 2. Shared message types, BYO JSON
• server.bend 34 declarations — ezhttp/server: listen, accept, parse one request, write one response.
• url.bend 27 declarations — ezhttp/url: a URL taken apart far enough for an HTTP request. Scheme, host,
• wire.bend 4 declarations — ezhttp/wire: one request out and one response back. TLS and DNS stay in

Other files

• effs/wire.c 11,871 bytes
• effs/wire.js 8,843 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 10 defs rely on unsafe or foreign code:
- 0x0a372da4a053652f70ded7d6e0d19330/wire.ezwire.talk
- 0x0a372da4a053652f70ded7d6e0d19330/wire.wire.talk
- http.talk
- http.loc
- client.get
- client.head
- client.post
- client.put
- client.delete
- client.options

Error:
- expected : String
- observed : U32
Context:
- port : U32
Location: server.listen
13 | def server.listen(port: U32) -> IO(Listener):
14>|   IO.try(Listener, TCP.listen(port))
   |                               ^^^^
15 |

Error:
- expected : String
- observed : U32
Context:
- port : U32
Location: server.listen
13 | def server.listen(port: U32) -> IO(Listener):
14>|   IO.try(Listener, TCP.listen(port))
   |                               ^^^^
15 |

SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- ezwire.talk
- wire.talk