bend-kit-websocket@0.1.0.0 relies on unsafe/foreign
0x6ff0f96d54a186e76b90f54fca91949f
RFC 6455 WebSocket client: opening handshake, frames over packed Bytes, and messages over Wire. Source: https://github.com/paymog/bend-kit/tree/main/websocket
bend-kit-websocket@0.1.0.0 by paymog
Other versions (2)
- bend-kit-websocket@0.2.0.1 2026-10-09 latest
- bend-kit-websocket@0.2.0.0 2026-10-09
- Published
- 2026-09-28
- Size
- 40,663 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 113 defs, 9 types
Import
import bend-kit-websocket@0.1.0.0/websocket.bend as Websocket import 0x6ff0f96d54a186e76b90f54fca91949f/websocket.bend as Websocket
Modules
- websocket.bend 146 declarations — RFC 6455 WebSocket client: opening handshake, frames over packed Bytes, and messages over Wire. Source: https://github.com/paymog/bend-kit/tree/main/websocket
Dependencies
- bend-kit-bytes@0.3.1.0 via
websocket.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes - bend-kit-crypto@0.1.0.0 via
websocket.bend: import bend-kit-crypto@0.1.0.0/crypto.bend as Crypto - bend-kit-wire@0.4.2.0 via
websocket.bend: import bend-kit-wire@0.4.2.0/wire.bend as Wire
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| websocket.bend | relies on unsafe/foreign | 55 defs rely on unsafe or foreign code defs: 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.digest.words, 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha256.words, 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha512.words, 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha1.words, 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.hmac.words, 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.hkdf.words, 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.random.words, 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.eq.ct.words, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.connect, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.recv, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.send, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.recv_from, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.send_to, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.connect, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.connect.cert, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.connect.alpn, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.send, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.recv, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.close, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.recv.words, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.send.words, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.recv.words, 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.send.words, accept.words, accept, key, io.send.if, io.send, io.recv, io.close, head.loop, head.read, hs.fail, hs.checked, hs.head, hs.sent, hs.request, hs.accepted, hs.keyed, handshake, connect.tls, connect.tcp, connect, raw.encoded, raw.key, raw.keyed, raw, send, close, shutdown, recv.fail, recv.closed, recv.stuck, recv.loop, recvoutputSOME PROOFS FAIL Error: 55 defs rely on unsafe or foreign code: - 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.digest.words - 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha256.words - 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha512.words - 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha1.words - 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.hmac.words - 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.hkdf.words - 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.random.words - 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.eq.ct.words - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.connect - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.recv - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.send - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.recv_from - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.send_to - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.connect - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.connect.cert - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.connect.alpn - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.send - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.recv - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.close - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.recv.words - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.send.words - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.recv.words - 0xa3dc0f6e3963608e4608a1017272cf4f/wire.tls.send.words - accept.words - accept - key - io.send.if - io.send - io.recv - io.close - head.loop - head.read - hs.fail - hs.checked - hs.head - hs.sent - hs.request - hs.accepted - hs.keyed - handshake - connect.tls - connect.tcp - connect - raw.encoded - raw.key - raw.keyed - raw - send - close - shutdown - recv.fail - recv.closed - recv.stuck - recv.loop - recv | 1.5 s |