~/bend-docscommunity

bend-kit-encoding@0.2.1.0 relies on unsafe/foreign

0xaec630f7a2f6b6ef96750f95d6e4195b

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

bend-kit-encoding@0.2.1.0 by paymog

Other versions (1)
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 bend-kit-encoding@0.2.1.0/encoding.bend as Encoding
import 0xaec630f7a2f6b6ef96750f95d6e4195b/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.6 s