bend-kit-files@0.1.1.1 relies on unsafe/foreign

0xbfce8e3c28ef3e7d2baa52370e0804c4

POSIX paths plus directory and metadata effects. Source: https://github.com/paymog/bend-kit/tree/main/files

bend-kit-files@0.1.1.1 by paymog

Published

2026-10-09

Size

21,943 bytes, 3 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 39 defs, 2 types

Import

import bend-kit-files@0.1.1.1/files.bend as Files
import 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.bend as Files

Modules

• files.bend 45 declarations — POSIX paths plus directory and metadata effects. Source: https://github.com/paymog/bend-kit/tree/main/files

Other files

• effs/files.c 8,859 bytes
• effs/files.js 3,503 bytes

Dependencies

• bend-kit-bytes@0.3.1.0 via files.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes

Dependents

• bend-kit-stream@0.1.0.1 via stream.bend: import bend-kit-files@0.1.1.1/files.bend as Files

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 15 defs rely on unsafe or foreign code:
- list_dir.raw
- stat.raw
- mkdir
- remove
- rename
- temp_dir
- read.words
- read_bytes
- write.words
- write_bytes
- list_dir
- stat
- exists
- mkdir_all.go
- mkdir_all