Enum polyhorn_core::Command

pub enum Command<P: ?Sized> where
    P: Platform,  {
    Mount(P::ContainerID, P::ContainerID, Box<dyn FnOnce(&mut P::Container, &mut P::Environment) -> P::Container + Send>),
    Mutate(Vec<P::ContainerID>, Box<dyn FnOnce(&mut [&mut P::Container], &mut P::Environment) + Send>),
    Unmount(P::ContainerID),
}

A command that can be send from any thread and will be executed on the main thread.

Variants

Mount(P::ContainerID, P::ContainerID, Box<dyn FnOnce(&mut P::Container, &mut P::Environment) -> P::Container + Send>)

Initializes the container that corresponds to the second container ID with the given initialization closure and mounts the second given container ID onto the first given container ID.

Mutate(Vec<P::ContainerID>, Box<dyn FnOnce(&mut [&mut P::Container], &mut P::Environment) + Send>)

Applies a closure to all containers with the given IDs.

Unmount(P::ContainerID)

Unmounts a container with the given ID.