~/bend-docscommunity

bend-kit-wire@0.4.6.0 relies on unsafe/foreign

0x7322a00082d2cdc616a00f534e426eb2

Byte-exact TCP, UDP, and TLS sockets. Source: https://github.com/paymog/bend-kit/tree/main/wire

bend-kit-wire@0.4.6.0 by paymog

Other versions (11)
Published
2026-10-07
Size
61,194 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 21 defs, 0 types

Import

import bend-kit-wire@0.4.6.0/wire.bend as Wire
import 0x7322a00082d2cdc616a00f534e426eb2/wire.bend as Wire

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
wire.bendrelies on unsafe/foreign 21 defs rely on unsafe or foreign code
defs: connect, accept.deadline, recv, send, recv_from, send_to, tls.connect, tls.connect.cert, tls.connect.alpn, tls.connect.ca, tls.connect.alpn.ca, tls.send, tls.recv, tls.close, recv.words, send.words, send.words.deadline, recv_from.words, send_to.words, tls.recv.words, tls.send.words
output
SOME PROOFS FAIL
Error: 21 defs rely on unsafe or foreign code:
- connect
- accept.deadline
- recv
- send
- recv_from
- send_to
- tls.connect
- tls.connect.cert
- tls.connect.alpn
- tls.connect.ca
- tls.connect.alpn.ca
- tls.send
- tls.recv
- tls.close
- recv.words
- send.words
- send.words.deadline
- recv_from.words
- send_to.words
- tls.recv.words
- tls.send.words
0.7 s