emerging-ezhttp@0.8.0.0 fails

0xf1c957a470368870a6d1d62a8c0cbe32

ezhttp: HTTP/1.1 client and server for Bend 2, with auth, cookie and CORS helpers.

emerging-ezhttp@0.8.0.0 by noah-emp

Published

2026-09-30

Size

111,640 bytes, 16 files

License

MIT (LICENSE)

Declarations

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

Import

import emerging-ezhttp@0.8.0.0/main.bend as Main
import 0xf1c957a470368870a6d1d62a8c0cbe32/main.bend as Main
import emerging-ezhttp@0.8.0.0/src/auth.bend as Auth
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/auth.bend as Auth
import emerging-ezhttp@0.8.0.0/src/b64.bend as B64
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/b64.bend as B64
import emerging-ezhttp@0.8.0.0/src/body.bend as Body
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/body.bend as Body
import emerging-ezhttp@0.8.0.0/src/cache.bend as Cache
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/cache.bend as Cache
import emerging-ezhttp@0.8.0.0/src/client.bend as Client
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/client.bend as Client
import emerging-ezhttp@0.8.0.0/src/cookie.bend as Cookie
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/cookie.bend as Cookie
import emerging-ezhttp@0.8.0.0/src/cors.bend as Cors
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/cors.bend as Cors
import emerging-ezhttp@0.8.0.0/src/http.bend as Http
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/http.bend as Http
import emerging-ezhttp@0.8.0.0/src/server.bend as Server
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/server.bend as Server
import emerging-ezhttp@0.8.0.0/src/url.bend as Url
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/url.bend as Url
import emerging-ezhttp@0.8.0.0/src/wire.bend as Wire
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/wire.bend as Wire
import emerging-ezhttp@0.8.0.0/src/wirespec.bend as Wirespec
import 0xf1c957a470368870a6d1d62a8c0cbe32/src/wirespec.bend as Wirespec

Modules

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

Other files

• LICENSE 1,074 bytes
• src/effs/wire.c 11,872 bytes
• src/effs/wire.js 8,964 bytes

Dependencies

No imports from other hub packages.

Dependents

• 0x74799d3f via src/hub/get.bend: import 0xf1c957a470368870a6d1d62a8c0cbe32/main.bend as Http
• 0x886223f5 via src/hub/get.bend: import 0xf1c957a470368870a6d1d62a8c0cbe32/main.bend as Http

Status on bend 2.0.36

Error:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f    : Nat
- sock : Socket
- got  : String
Location: server.read.go
136 |         Socket & Http.Request,
137>|         TCP.recv(sock, server.max()),
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 |         pair => server.read.un(got, s => g => server.read.go(f, s, g), pair))

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

Error:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f    : Nat
- sock : Socket
- got  : String
Location: server.read.go
136 |         Socket & Http.Request,
137>|         TCP.recv(sock, server.max()),
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 |         pair => server.read.un(got, s => g => server.read.go(f, s, g), pair))

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