Skip to main content

Module filesystem

Module filesystem 

Source
Expand description

Filesystem services supplied by the embedding runtime.

Capability checks and fuel admission belong to the host caller. Embedders supply an effect ID and optional work budget with each call.

Structs§

DirectoryEntry
DirectoryReader
FileReader
Resource values contain persistent identity and optional process-local handles. They never retain a backend or persistence services. Every resource belongs to a run; process-local handles are omitted from history and absent after decoding.
FileWriter
FilesystemInfo
MountInfo
ReadOutput
ReadPosition

Enums§

FilesystemError
ReadItem
ReaderOptions

Traits§

Filesystem
MutationBudget
Resource accounting for native tree operations. Once a mutation succeeds, subsequent work must settle fuel rather than refuse. Heap admission stays fallible.

Functions§

bounded_read