bend-kit-redis@0.1.0.0 relies on unsafe/foreign
0x24dc4beaaf2be48430ae7d5ece604448
Redis and Valkey client: RESP3 over TCP or TLS, with pipelining and a pool. Source: https://github.com/paymog/bend-kit/tree/main/redis
bend-kit-redis@0.1.0.0 by paymog
Other versions (2)
- bend-kit-redis@0.1.0.2 2026-10-09 latest
- bend-kit-redis@0.1.0.1 2026-09-29
- Published
- 2026-09-28
- Size
- 36,956 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 137 defs, 13 types
Import
import bend-kit-redis@0.1.0.0/redis.bend as Redis import 0x24dc4beaaf2be48430ae7d5ece604448/redis.bend as Redis
Modules
- redis.bend 189 declarations — Redis and Valkey client: RESP3 over TCP or TLS, with pipelining and a pool. Source: https://github.com/paymog/bend-kit/tree/main/redis
Dependencies
- bend-kit-bytes@0.3.1.0 via
redis.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes - bend-kit-wire@0.4.2.0 via
redis.bend: import bend-kit-wire@0.4.2.0/wire.bend as Wire - bend-kit-dns@0.4.0.2 via
redis.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| redis.bend | relies on unsafe/foreign | 96 defs rely on unsafe or foreign code defs: 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, 0x096635686408886b7d907f16c4550317/wire.connect, 0x096635686408886b7d907f16c4550317/wire.recv, 0x096635686408886b7d907f16c4550317/wire.send, 0x096635686408886b7d907f16c4550317/wire.recv_from, 0x096635686408886b7d907f16c4550317/wire.send_to, 0x096635686408886b7d907f16c4550317/wire.tls.connect, 0x096635686408886b7d907f16c4550317/wire.tls.send, 0x096635686408886b7d907f16c4550317/wire.tls.recv, 0x096635686408886b7d907f16c4550317/wire.tls.close, 0x096635686408886b7d907f16c4550317/wire.recv.words, 0x096635686408886b7d907f16c4550317/wire.send.words, 0x096635686408886b7d907f16c4550317/wire.tls.recv.words, 0x096635686408886b7d907f16c4550317/wire.tls.send.words, 0x3032c733631327d69c18d386991b6af3/dns.try.sent, 0x3032c733631327d69c18d386991b6af3/dns.try.once, 0x3032c733631327d69c18d386991b6af3/dns.tries, 0x3032c733631327d69c18d386991b6af3/dns.resolve.sock, 0x3032c733631327d69c18d386991b6af3/dns.resolve.q, 0x3032c733631327d69c18d386991b6af3/dns.resolve.id, 0x3032c733631327d69c18d386991b6af3/dns.resolve.ns, 0x3032c733631327d69c18d386991b6af3/dns.resolve.at, 0x3032c733631327d69c18d386991b6af3/dns.resolve.n3, 0x3032c733631327d69c18d386991b6af3/dns.resolve.n2b, 0x3032c733631327d69c18d386991b6af3/dns.resolve.n2, 0x3032c733631327d69c18d386991b6af3/dns.resolve.n1b, 0x3032c733631327d69c18d386991b6af3/dns.resolve.list, 0x3032c733631327d69c18d386991b6af3/dns.resolve.read, 0x3032c733631327d69c18d386991b6af3/dns.resolve.conf, 0x3032c733631327d69c18d386991b6af3/dns.resolve.dns, 0x3032c733631327d69c18d386991b6af3/dns.lookup.all, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.os, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.dns, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.from, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.text, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.opened, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.hosts, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.pick, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.ask, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.pure.pick, 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.pure, 0x3032c733631327d69c18d386991b6af3/dns.resolve.pure, 0x3032c733631327d69c18d386991b6af3/dns.resolve, io.close, io.send, io.recv, close, send.after, send, read.fail, read.loop, read, read.n, pipeline.sent, pipeline.of, pipeline, command.sent, command, get, set, incr, hello.check, hello.got, hello, tls.done, dialed, dial.after, dial.more, dial, connect.to, connect, pool.got, pool.get, conns.cut, pool.keep, pool.give, pool.clean, pool.left, pool.put, pool.close.go, pool.closeoutputSOME PROOFS FAIL Error: 96 defs rely on unsafe or foreign code: - 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 - 0x096635686408886b7d907f16c4550317/wire.connect - 0x096635686408886b7d907f16c4550317/wire.recv - 0x096635686408886b7d907f16c4550317/wire.send - 0x096635686408886b7d907f16c4550317/wire.recv_from - 0x096635686408886b7d907f16c4550317/wire.send_to - 0x096635686408886b7d907f16c4550317/wire.tls.connect - 0x096635686408886b7d907f16c4550317/wire.tls.send - 0x096635686408886b7d907f16c4550317/wire.tls.recv - 0x096635686408886b7d907f16c4550317/wire.tls.close - 0x096635686408886b7d907f16c4550317/wire.recv.words - 0x096635686408886b7d907f16c4550317/wire.send.words - 0x096635686408886b7d907f16c4550317/wire.tls.recv.words - 0x096635686408886b7d907f16c4550317/wire.tls.send.words - 0x3032c733631327d69c18d386991b6af3/dns.try.sent - 0x3032c733631327d69c18d386991b6af3/dns.try.once - 0x3032c733631327d69c18d386991b6af3/dns.tries - 0x3032c733631327d69c18d386991b6af3/dns.resolve.sock - 0x3032c733631327d69c18d386991b6af3/dns.resolve.q - 0x3032c733631327d69c18d386991b6af3/dns.resolve.id - 0x3032c733631327d69c18d386991b6af3/dns.resolve.ns - 0x3032c733631327d69c18d386991b6af3/dns.resolve.at - 0x3032c733631327d69c18d386991b6af3/dns.resolve.n3 - 0x3032c733631327d69c18d386991b6af3/dns.resolve.n2b - 0x3032c733631327d69c18d386991b6af3/dns.resolve.n2 - 0x3032c733631327d69c18d386991b6af3/dns.resolve.n1b - 0x3032c733631327d69c18d386991b6af3/dns.resolve.list - 0x3032c733631327d69c18d386991b6af3/dns.resolve.read - 0x3032c733631327d69c18d386991b6af3/dns.resolve.conf - 0x3032c733631327d69c18d386991b6af3/dns.resolve.dns - 0x3032c733631327d69c18d386991b6af3/dns.lookup.all - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.os - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.dns - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.from - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.text - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.opened - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.hosts - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.pick - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.ask - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.pure.pick - 0x3032c733631327d69c18d386991b6af3/dns.resolve.all.pure - 0x3032c733631327d69c18d386991b6af3/dns.resolve.pure - 0x3032c733631327d69c18d386991b6af3/dns.resolve - io.close - io.send - io.recv - close - send.after - send - read.fail - read.loop - read - read.n - pipeline.sent - pipeline.of - pipeline - command.sent - command - get - set - incr - hello.check - hello.got - hello - tls.done - dialed - dial.after - dial.more - dial - connect.to - connect - pool.got - pool.get - conns.cut - pool.keep - pool.give - pool.clean - pool.left - pool.put - pool.close.go - pool.close | 1.9 s |