bend-kit-redis@0.1.0.2 relies on unsafe/foreign

0xae0449f4d22509013aa9b43b915c9d80

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

Earlier versions (2)

bend-kit-redis@0.1.0.1 2026-09-29
bend-kit-redis@0.1.0.0 2026-09-28

Published: 2026-10-09
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.2/redis.bend as Redis
import 0xae0449f4d22509013aa9b43b915c9d80/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.6.1 via redis.bend: import bend-kit-wire@0.4.6.1/wire.bend as Wire
bend-kit-dns@0.6.0.2 via redis.bend: import bend-kit-dns@0.6.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	89 defs rely on unsafe or foreign code defs: `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`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.try.sent`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.try.send`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.try.once`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.tries`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.sock`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.id`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.ns`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.at`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n3`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n2b`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n2`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n1b`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.list`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.read`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.conf`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.dns`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.lookup.all`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.os`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.dns`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.from`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.text`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.opened`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.hosts`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pick`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.ask`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pure.pick`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pure`, `0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.pure`, `0x9bf2c4100bf9328348d215e7ae1657de/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` output SOME PROOFS FAIL Error: 89 defs rely on unsafe or foreign code: - 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 - 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.sent - 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.send - 0x9bf2c4100bf9328348d215e7ae1657de/dns.try.once - 0x9bf2c4100bf9328348d215e7ae1657de/dns.tries - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.sock - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.id - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.ns - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.at - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n3 - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n2b - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n2 - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.n1b - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.list - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.read - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.conf - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.dns - 0x9bf2c4100bf9328348d215e7ae1657de/dns.lookup.all - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.os - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.dns - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.from - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.text - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.opened - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.hosts - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pick - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.ask - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pure.pick - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.all.pure - 0x9bf2c4100bf9328348d215e7ae1657de/dns.resolve.pure - 0x9bf2c4100bf9328348d215e7ae1657de/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.8 s