~/bend-docscommunity

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

0x902b9f92801b87d6be0bcd03919d01bb

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

bend-kit-files@0.1.0.0 by paymog

Other versions (2)
Published
2026-09-26
Size
16,292 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 33 defs, 2 types

Import

import bend-kit-files@0.1.0.0/files.bend as Files
import 0x902b9f92801b87d6be0bcd03919d01bb/files.bend as Files

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
files.bendrelies on unsafe/foreign 11 defs rely on unsafe or foreign code
defs: list_dir.raw, stat.raw, mkdir, remove, rename, temp_dir, list_dir, stat, exists, mkdir_all.go, mkdir_all
output
SOME PROOFS FAIL
Error: 11 defs rely on unsafe or foreign code:
- list_dir.raw
- stat.raw
- mkdir
- remove
- rename
- temp_dir
- list_dir
- stat
- exists
- mkdir_all.go
- mkdir_all
0.7 s