~/bend-docscommunity

0xa3e9a274 relies on unsafe/foreign

0xa3e9a274150f1e39ad6bd42f0b13518f

no description

Anonymous package: import it by hash.

Published
2026-09-18
Size
17,516 bytes, 18 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 47 defs, 4 types

Import

import 0xa3e9a274150f1e39ad6bd42f0b13518f/consumer.bend as Consumer
import 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.bend as Lapine
import 0xa3e9a274150f1e39ad6bd42f0b13518f/retry.bend as Retry
import 0xa3e9a274150f1e39ad6bd42f0b13518f/types.bend as Types

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
consumer.bendrelies on unsafe/foreign 21 defs rely on unsafe or foreign code
defs: 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.connect, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.channel, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.qos, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.consume, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.ack, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.publish, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.close, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.connect_cfg, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.apply_qos, 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.recv, Consumer.publish_dlq, Consumer.when_dlq, Consumer.ack_delivery, Consumer.ack_and_return, Consumer.finish_outcome, Consumer.process_attempt, Consumer.recv_next, Consumer.handle_once, Consumer.loop, Consumer.open_channel, Consumer.run
output
SOME PROOFS FAIL
Error: 21 defs rely on unsafe or foreign code:
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.connect
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.channel
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.qos
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.consume
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.ack
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.publish
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.close
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.connect_cfg
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.apply_qos
- 0xa3e9a274150f1e39ad6bd42f0b13518f/lapine.AMQP.recv
- Consumer.publish_dlq
- Consumer.when_dlq
- Consumer.ack_delivery
- Consumer.ack_and_return
- Consumer.finish_outcome
- Consumer.process_attempt
- Consumer.recv_next
- Consumer.handle_once
- Consumer.loop
- Consumer.open_channel
- Consumer.run
0.7 s
lapine.bendrelies on unsafe/foreign 10 defs rely on unsafe or foreign code
defs: AMQP.connect, AMQP.channel, AMQP.qos, AMQP.consume, AMQP.ack, AMQP.publish, AMQP.close, AMQP.connect_cfg, AMQP.apply_qos, AMQP.recv
output
SOME PROOFS FAIL
Error: 10 defs rely on unsafe or foreign code:
- AMQP.connect
- AMQP.channel
- AMQP.qos
- AMQP.consume
- AMQP.ack
- AMQP.publish
- AMQP.close
- AMQP.connect_cfg
- AMQP.apply_qos
- AMQP.recv
0.9 s
retry.bendchecks ALL PROOFS CHECK0.9 s
types.bendchecks ALL PROOFS CHECK0.7 s