bend-kit-websocket@0.2.0.1 relies on unsafe/foreign

0xa62177ca680fb4d3408fedd3cc24c3e6

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.2.0.1 by paymog

Earlier versions (2)

bend-kit-websocket@0.2.0.0 2026-10-09
bend-kit-websocket@0.1.0.0 2026-09-28

Published: 2026-10-09
Size: 47,488 bytes, 1 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 138 defs, 10 types

Import

import bend-kit-websocket@0.2.0.1/websocket.bend as Websocket
import 0xa62177ca680fb4d3408fedd3cc24c3e6/websocket.bend as Websocket

Modules

websocket.bend 175 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.2.0 via websocket.bend: import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
bend-kit-crypto@0.2.2.1 via websocket.bend: import bend-kit-crypto@0.2.2.1/crypto.bend as Crypto
bend-kit-wire@0.4.6.1 via websocket.bend: import bend-kit-wire@0.4.6.1/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	71 defs rely on unsafe or foreign code defs: `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.digest.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.sha256.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.sha512.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.sha1.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.hmac.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.hkdf.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.pbkdf2.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.scrypt.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.random.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.eq.ct.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.rsa.sign.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.rsa.verify.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.rsa.verify.jwk.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.ecdsa.sign.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.ecdsa.verify.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.ecdsa.verify.jwk.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.aead.seal.words`, `0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.aead.open.words`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.connect`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.accept.deadline`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.recv`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.send`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.cert`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.ca`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn.ca`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.close`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.recv.words`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words.deadline`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from.words`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to.words`, `0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv.words`, `0x1afdf90dbe41c30b1df4594db039b02a/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` output SOME PROOFS FAIL Error: 71 defs rely on unsafe or foreign code: - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.digest.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.sha256.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.sha512.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.sha1.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.hmac.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.hkdf.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.pbkdf2.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.scrypt.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.random.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.eq.ct.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.rsa.sign.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.rsa.verify.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.rsa.verify.jwk.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.ecdsa.sign.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.ecdsa.verify.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.ecdsa.verify.jwk.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.aead.seal.words - 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.aead.open.words - 0x1afdf90dbe41c30b1df4594db039b02a/wire.connect - 0x1afdf90dbe41c30b1df4594db039b02a/wire.accept.deadline - 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv - 0x1afdf90dbe41c30b1df4594db039b02a/wire.send - 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from - 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.cert - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.ca - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn.ca - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.close - 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv.words - 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words - 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words.deadline - 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from.words - 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to.words - 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv.words - 0x1afdf90dbe41c30b1df4594db039b02a/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.4 s