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
FilesystemInfo
MountInfo
ReadOutput
ReadPosition
ResourceDescriptor
Only this descriptor crosses execution history. Native handles never do.

Enums§

FilesystemError
ReadItem
ReaderOptions
ResourceKind

Traits§

DirectoryReader
FileReader
FileWriter
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