bend-kit-http@0.31.1.0 fails
0x65535b2ba8933ce9a1b2c0a16f1330ae
Private bounded transport accounting. Replies contain copied data, never resources.
bend-kit-http@0.31.1.0 by paymog
Other versions (36)
- bend-kit-http@0.32.0.0 2026-10-09 latest
- bend-kit-http@0.31.1.1 2026-10-09
- bend-kit-http@0.31.0.0 2026-10-07
- bend-kit-http@0.30.0.0 2026-10-04
- bend-kit-http@0.29.0.0 2026-10-04
- bend-kit-http@0.28.0.0 2026-10-04
- bend-kit-http@0.27.0.0 2026-10-04
- bend-kit-http@0.26.0.0 2026-10-04
- bend-kit-http@0.25.0.2 2026-09-29
- bend-kit-http@0.25.0.1 2026-09-29
- bend-kit-http@0.25.0.0 2026-09-29
- bend-kit-http@0.24.3.1 2026-09-29
- bend-kit-http@0.24.3.0 2026-09-29
- bend-kit-http@0.24.2.0 2026-09-29
- bend-kit-http@0.24.1.0 2026-09-29
- bend-kit-http@0.24.0.0 2026-09-28
- bend-kit-http@0.23.0.1 2026-09-28
- bend-kit-http@0.23.0.0 2026-09-28
- bend-kit-http@0.22.0.0 2026-09-27
- bend-kit-http@0.21.1.0 2026-09-27
- bend-kit-http@0.21.0.0 2026-09-27
- bend-kit-http@0.20.1.0 2026-09-27
- bend-kit-http@0.20.0.0 2026-09-27
- bend-kit-http@0.19.1.0 2026-09-27
- bend-kit-http@0.19.0.0 2026-09-27
- bend-kit-http@0.18.1.0 2026-09-27
- bend-kit-http@0.18.0.0 2026-09-27
- bend-kit-http@0.17.0.0 2026-09-27
- bend-kit-http@0.16.0.0 2026-09-27
- bend-kit-http@0.15.0.5 2026-09-26
- bend-kit-http@0.15.0.4 2026-09-26
- bend-kit-http@0.15.0.3 2026-09-26
- bend-kit-http@0.15.0.1 2026-09-26
- bend-kit-http@0.15.0.0 2026-09-26
- bend-kit-http@0.14.0.1 2026-09-25
- bend-kit-http@0.14.0.0 2026-09-25
- Published
- 2026-10-09
- Size
- 280,746 bytes, 4 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 53 defs, 18 types
Import
import bend-kit-http@0.31.1.0/http/admission.bend as Admission import 0x65535b2ba8933ce9a1b2c0a16f1330ae/http/admission.bend as Admission import bend-kit-http@0.31.1.0/http/completion.bend as Completion import 0x65535b2ba8933ce9a1b2c0a16f1330ae/http/completion.bend as Completion import bend-kit-http@0.31.1.0/http/http.bend as Http import 0x65535b2ba8933ce9a1b2c0a16f1330ae/http/http.bend as Http import bend-kit-http@0.31.1.0/resources/resources.bend as Resources import 0x65535b2ba8933ce9a1b2c0a16f1330ae/resources/resources.bend as Resources
Modules
- http/admission.bend 67 declarations — Private bounded transport accounting. Replies contain copied data, never resources.
- http/completion.bend 14 declarations — Copied response completion data; successful host writes do not prove peer receipt.
- http/http.bend not loaded — HTTP/1.1 and HTTP/2 client, with an HTTP/1.1 server. Source: https://github.com/paymog/bend-kit/tree/main/http
- resources/resources.bend 28 declarations — Bounded capacity pools with affine reservations: reserve, release, split, and combine.
Dependencies
- bend-kit-wire@0.4.6.0 via
http/http.bend: import bend-kit-wire@0.4.6.0/wire.bend as Wire - bend-kit-http2@0.1.2.0 via
http/http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-bytes@0.3.1.0 via
http/http.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as HBytes - bend-kit-time@0.1.0.0 via
http/http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-int@0.2.0.0 via
http/http.bend: import bend-kit-int@0.2.0.0/int.bend as Int - bend-kit-concurrency@0.1.0.0 via
http/http.bend: import bend-kit-concurrency@0.1.0.0/concurrency.bend as Conc - bend-kit-url@0.4.1.0 via
http/http.bend: import 0x1f2d80f53f971b16c6de6a65cb1918ae/url.bend as Url - bend-kit-encoding@0.3.0.0 via
http/http.bend: import 0xcfc8be7b076f41f95c8e118383892d55/encoding.bend as Enc - bend-kit-json@0.5.0.1 via
http/http.bend: import 0x584fc27920487ceab242392391418d7f/json.bend as Json - bend-kit-bytes@0.3.0.0 via
http/http.bend: import 0x49814d83de8f70993a43e1002be29ecd/bytes.bend as Bytes - bend-kit-dns@0.5.0.0 via
http/http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns - bend-kit-zlib@0.2.0.0 via
http/http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| http/admission.bend | fails | - expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Result<&1, &1, Bool, Unit> -> IO.OP<R>) -> IO.OP<R>
Context:
- inbox : Chan(Command)
- running : Bool
- closing : Bool
- reply : Chan(Bool)
- ledger : Ledger
- admitted : Bool
Location: loop
216 | do IO<Counts>:
217>| sent : Bool <- Chan.send(Bool, reply, admitted)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
218 | loop(inbox, running, closing, Waiting{ledger}) | 0.7 s |
| http/completion.bend | fails | - expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Bool -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Result<&1, &1, Completion<receipt.send~D>, Unit> -> IO.OP<R>) -> IO.OP<R>
Context:
- payload : receipt.send~D
- channel : Chan(Completion<receipt.send~D>)
- status : U32
- outcome : Outcome
Location: receipt.send
20 | do IO<Unit>:
21>| sent : Bool <- Chan.send(Completion<D>, channel, Completion{payload, status, outcome})
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
22 | return Unit{} | 0.7 s |
| http/http.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
334 | type Reply is Type:
335>| Ready{client: Client, writes: List<&1, Bytes.Bytes>, events: List<&1, ClientEvent>}
| ^^^^^
336 | Failed{error: Error} | 2.2 s |
| resources/resources.bend | checks | ALL PROOFS CHECK | 0.8 s |