Struct TaskHandle 

pub struct TaskHandle {
    pub id: TaskId,
    pub stop: Call,
    pub status: Key,
    pub feedback: Vec<Key>,
    pub result: Vec<Key>,
    pub update: Vec<Key>,
}

The serializable contract for one run’s lifecycle: everything needed to follow and stop it, as data.

Returned from spawn. The keys are allocated by the interpreter under the run’s id, so concurrent runs demux. A run’s actuation writes are deliberately not here — those go to the shared standard keys, where overlapping runs are last-write-wins.

Fields

id: TaskId

The run’s identity.

stop: Call

How to stop the run: a Call the observer issues, which reaches halt. Carrying it as a Call keeps “how to stop it” serializable and interpreter-agnostic.

status: Key

The run’s lifecycle status key — a single key an observer watches to learn when the run reaches a terminal state and how it ended.

feedback: Vec<Key>

Keys carrying the run’s progress feedback, updated as it runs.

result: Vec<Key>

Keys carrying the run’s result, written when it terminates.

update: Vec<Key>

Keys an observer may write to steer a live run (e.g. a moving target).

Trait Implementations

impl AroraType for TaskHandle

fn arora_type_id() -> Uuid

The id this type is known by: the id its arora_type carries, and the id a field of this type is referenced by.

fn arora_type() -> Type

This type’s own definition. Nested user-defined types are named by id in the field type references; their definitions are obtained from the registry filled by register_types.

fn register_types(registry: &mut TypeRegistry)

Insert this type and every type it transitively depends on into registry. Idempotent, and safe for types reachable from themselves.

fn arora_type_with_registry() -> (Type, HashMap<Uuid, Type>)

This type’s definition together with a registry holding it and all its dependencies — everything a walk needs to resolve a value of this type.

impl Clone for TaskHandle

fn clone(&self) -> TaskHandle

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TaskHandle

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TaskHandle

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TaskHandle

fn eq(&self, other: &TaskHandle) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for TaskHandle

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TaskHandle