Enum ResumeValue 

pub enum ResumeValue {
    None,
    Payload(RtPayload),
    Chan(ChanId),
    Task(TaskId),
    Select {
        arm: usize,
        payload: RtPayload,
    },
}

What the scheduler delivers back to the interpreter on resume.

Variants

None

Nothing meaningful (e.g. after Send/Sleep/Spawn-fire-and-forget).

Payload(RtPayload)

A received value (after Recv / a winning select recv arm).

Chan(ChanId)

A freshly-created channel id (after NewChan).

Task(TaskId)

A spawned task’s id (after Spawn).

Select

The winning arm of a Select: its index plus the received payload (Nothing for a timeout arm).

Fields

arm: usize

payload: RtPayload

Implementations

impl ResumeValue

pub fn into_payload(self) -> RtPayload

The received payload, or Nothing.

pub fn into_chan(self) -> Option<ChanId>

The created channel id, if this resume was from a NewChan.

pub fn into_task(self) -> Option<TaskId>

The spawned task id, if this resume was from a Spawn.

pub fn into_select(self) -> Option<(usize, RtPayload)>

The winning arm index + its payload, if this resume was from a Select.