WasiFilesystem

Struct WasiFilesystem 

Source
pub struct WasiFilesystem;
Expand description

A helper struct which implements HasData for the wasi:filesystem APIs.

This can be useful when directly calling add_to_linker functions directly, such as [wasmtime_wasi::p2::bindings::filesystem::types::add_to_linker] as the D type parameter. See HasData for more information about the type parameter’s purpose.

When using this type you can skip the WasiFilesystemView trait, for example.

§Examples

use wasmtime::component::{Linker, ResourceTable};
use wasmtime::{Engine, Result, Config};
use wasmtime_wasi::filesystem::*;

struct MyStoreState {
    table: ResourceTable,
    filesystem: WasiFilesystemCtx,
}

fn main() -> Result<()> {
    let mut config = Config::new();
    config.async_support(true);
    let engine = Engine::new(&config)?;
    let mut linker = Linker::new(&engine);

    wasmtime_wasi::p2::bindings::filesystem::types::add_to_linker::<MyStoreState, WasiFilesystem>(
        &mut linker,
        |state| WasiFilesystemCtxView {
            table: &mut state.table,
            ctx: &mut state.filesystem,
        },
    )?;
    Ok(())
}

Trait Implementations§

Source§

impl HasData for WasiFilesystem

Source§

type Data<'a> = WasiFilesystemCtxView<'a>

The data associated with this trait implementation, chiefly used as a generic associated type to allow plumbing the 'a lifetime into the definition here. Read more
Source§

impl HostDescriptorWithStore for WasiFilesystem

Available on crate feature p3 only.
Source§

async fn read_via_stream<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, offset: Filesize, ) -> Result<(StreamReader<u8>, FutureReader<Result<(), ErrorCode>>)>

Return a stream for reading from a file. Read more
Source§

async fn write_via_stream<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, data: StreamReader<u8>, offset: Filesize, ) -> FilesystemResult<()>

Return a stream for writing to a file, if available. Read more
Source§

async fn append_via_stream<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, data: StreamReader<u8>, ) -> FilesystemResult<()>

Return a stream for appending to a file, if available. Read more
Source§

async fn advise<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, offset: Filesize, length: Filesize, advice: Advice, ) -> FilesystemResult<()>

Provide file advisory information on a descriptor. Read more
Source§

async fn sync_data<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, ) -> FilesystemResult<()>

Synchronize the data of a file to disk. Read more
Source§

async fn get_flags<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, ) -> FilesystemResult<DescriptorFlags>

Get flags associated with a descriptor. Read more
Source§

async fn get_type<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, ) -> FilesystemResult<DescriptorType>

Get the dynamic type of a descriptor. Read more
Source§

async fn set_size<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, size: Filesize, ) -> FilesystemResult<()>

Adjust the size of an open file. If this increases the file’s size, the extra bytes are filled with zeros. Read more
Source§

async fn set_times<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, data_access_timestamp: NewTimestamp, data_modification_timestamp: NewTimestamp, ) -> FilesystemResult<()>

Adjust the timestamps of an open file or directory. Read more
Source§

async fn read_directory<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, ) -> Result<(StreamReader<DirectoryEntry>, FutureReader<Result<(), ErrorCode>>)>

Read directory entries from a directory. Read more
Source§

async fn sync<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, ) -> FilesystemResult<()>

Synchronize the data and metadata of a file to disk. Read more
Source§

async fn create_directory_at<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, path: String, ) -> FilesystemResult<()>

Create a directory. Read more
Source§

async fn stat<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, ) -> FilesystemResult<DescriptorStat>

Return the attributes of an open file or directory. Read more
Source§

async fn stat_at<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, path_flags: PathFlags, path: String, ) -> FilesystemResult<DescriptorStat>

Return the attributes of a file or directory. Read more
Source§

async fn set_times_at<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, path_flags: PathFlags, path: String, data_access_timestamp: NewTimestamp, data_modification_timestamp: NewTimestamp, ) -> FilesystemResult<()>

Adjust the timestamps of a file or directory. Read more
Create a hard link. Read more
Source§

async fn open_at<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, path_flags: PathFlags, path: String, open_flags: OpenFlags, flags: DescriptorFlags, ) -> FilesystemResult<Resource<Descriptor>>

Open a file or directory. Read more
Read the contents of a symbolic link. Read more
Source§

async fn remove_directory_at<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, path: String, ) -> FilesystemResult<()>

Remove a directory. Read more
Source§

async fn rename_at<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, old_path: String, new_fd: Resource<Descriptor>, new_path: String, ) -> FilesystemResult<()>

Rename a filesystem object. Read more
Create a symbolic link (also known as a “symlink”). Read more
Unlink a filesystem object that is not a directory. Read more
Source§

async fn is_same_object<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, other: Resource<Descriptor>, ) -> Result<bool>

Test whether two descriptors refer to the same filesystem object. Read more
Source§

async fn metadata_hash<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, ) -> FilesystemResult<MetadataHashValue>

Return a hash of the metadata associated with a filesystem object referred to by a descriptor. Read more
Source§

async fn metadata_hash_at<U>( store: &Accessor<U, Self>, fd: Resource<Descriptor>, path_flags: PathFlags, path: String, ) -> FilesystemResult<MetadataHashValue>

Return a hash of the metadata associated with a filesystem object referred to by a directory descriptor and a relative path. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> GetSetFdFlags for T

§

fn get_fd_flags(&self) -> Result<FdFlags, Error>
where T: AsFilelike,

Query the “status” flags for the self file descriptor.
§

fn new_set_fd_flags(&self, fd_flags: FdFlags) -> Result<SetFdFlags<T>, Error>
where T: AsFilelike,

Create a new SetFdFlags value for use with set_fd_flags. Read more
§

fn set_fd_flags(&mut self, set_fd_flags: SetFdFlags<T>) -> Result<(), Error>
where T: AsFilelike,

Set the “status” flags for the self file descriptor. Read more
§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
§

impl<T> Pointee for T

§

type Pointer = u32

§

fn debug( pointer: <T as Pointee>::Pointer, f: &mut Formatter<'_>, ) -> Result<(), Error>

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<_T> HostDescriptorWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostDescriptorWithStore for _T
where _T: HasData + Send + ?Sized,

Source§

impl<_T> HostDirectoryEntryStreamWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostDirectoryEntryStreamWithStore for _T
where _T: HasData + Send + ?Sized,

§

impl<_T> HostErrorWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostIncomingDatagramStreamWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostIncomingDatagramStreamWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostInputStreamWithStore for _T
where _T: HasData + ?Sized,

§

impl<_T> HostInputStreamWithStore for _T
where _T: HasData + Send + ?Sized,

Source§

impl<_T> HostNetworkWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostOutgoingDatagramStreamWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostOutgoingDatagramStreamWithStore for _T
where _T: HasData + Send + ?Sized,

Source§

impl<_T> HostOutputStreamWithStore for _T
where _T: HasData + ?Sized,

§

impl<_T> HostOutputStreamWithStore for _T
where _T: HasData + Send + ?Sized,

Source§

impl<_T> HostPollableWithStore for _T
where _T: HasData + ?Sized,

§

impl<_T> HostPollableWithStore for _T
where _T: HasData + Send + ?Sized,

Source§

impl<_T> HostResolveAddressStreamWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostResolveAddressStreamWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostTcpSocketWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostTcpSocketWithStore for _T
where _T: HasData + Send + ?Sized,

Source§

impl<_T> HostTerminalInputWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostTerminalInputWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostTerminalOutputWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostTerminalOutputWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostUdpSocketWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostUdpSocketWithStore for _T
where _T: HasData + Send + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

§

impl<_T> HostWithStore for _T

§

impl<_T> HostWithStore for _T

§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

Source§

impl<_T> HostWithStore for _T

Source§

impl<_T> HostWithStore for _T
where _T: HasData + ?Sized,

§

impl<T> MaybeSendSync for T