~/bend-docscommunity

0x58d07180 relies on unsafe/foreign

0x58d0718042afbd57ac3a0124bfc0570f

UTF-8 and hex encoding for byte strings. Source: https://github.com/paymog/bend-net/tree/main/encoding

Anonymous package: import it by hash.

Published
2026-09-25
Size
6,070 bytes, 1 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 32 defs, 1 types

Import

import 0x58d0718042afbd57ac3a0124bfc0570f/encoding.bend as Encoding

Modules

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
encoding.bendrelies on unsafe/foreign 7 defs rely on unsafe or foreign code
defs: hi.go, hi, lo, encode.go, encode, decode.go, decode
output
SOME PROOFS FAIL
Error: 7 defs rely on unsafe or foreign code:
- hi.go
- hi
- lo
- encode.go
- encode
- decode.go
- decode
0.9 s