Enum ReplProgress 

pub enum ReplProgress<T>
where
    T: ResourceTracker,
{
    FunctionCall(ReplFunctionCall<T>),
    OsCall(ReplOsCall<T>),
    ResolveFutures(ReplResolveFutures<T>),
    NameLookup(ReplNameLookup<T>),
    Complete {
        repl: MontyRepl<T>,
        value: MontyObject,
    },
}

Available on crate features code and embedded-python only.

Result of a single suspendable REPL snippet execution.

This mirrors RunProgress but returns the updated MontyRepl on completion so callers can continue feeding additional snippets without replaying prior code. Each variant (except Complete) wraps a dedicated struct with only the relevant resume methods.

Variants

FunctionCall(ReplFunctionCall<T>)

Execution paused at an external function call or dataclass method call.

OsCall(ReplOsCall<T>)

Execution paused for an OS-level operation.

ResolveFutures(ReplResolveFutures<T>)

All async tasks are blocked waiting for external futures to resolve.

NameLookup(ReplNameLookup<T>)

Execution paused for an unresolved name lookup.

Complete

Snippet execution completed with the updated REPL and result value.

Fields

repl: MontyRepl<T>

Updated REPL session state to continue feeding snippets.

value: MontyObject

Final result produced by the snippet.

Implementations

impl<T> ReplProgress<T>

where T: ResourceTracker,

pub fn into_function_call(self) -> Option<ReplFunctionCall<T>>

Consumes the progress and returns the ReplFunctionCall struct.

pub fn into_resolve_futures(self) -> Option<ReplResolveFutures<T>>

Consumes the progress and returns the ReplResolveFutures struct.

pub fn into_name_lookup(self) -> Option<ReplNameLookup<T>>

Consumes the progress and returns the ReplNameLookup struct.

pub fn into_complete(self) -> Option<(MontyRepl<T>, MontyObject)>

Consumes the progress and returns the completed REPL and value.

pub fn into_repl(self) -> MontyRepl<T>

Extracts the REPL session from any progress variant, discarding the in-flight execution state.

Use this to recover the REPL when you need to abandon the current snippet (e.g. because feed_run doesn’t support async futures). The REPL state reflects any mutations that occurred before the snapshot was taken.

pub fn tracker(&self) -> &T

Returns the session’s resource tracker, whatever the progress state.

Lets hosts read resource accounting — e.g. cumulative execution time for max_duration budgeting — at any suspension point without consuming the progress.

impl<T> ReplProgress<T>

where T: ResourceTracker + Serialize,

pub fn dump(&self) -> Result<Vec<u8>, Error>

Serializes the REPL execution progress to a binary format.

Errors

Returns an error if serialization fails.

impl<T> ReplProgress<T>

where T: ResourceTracker + DeserializeOwned,

pub fn load(bytes: &[u8]) -> Result<ReplProgress<T>, Error>

Deserializes REPL execution progress from a binary format.

Errors

Returns an error if deserialization fails.

Trait Implementations

impl<T> Debug for ReplProgress<T>

where T: Debug + ResourceTracker,

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

Formats the value using the given formatter.

impl<'de, T> Deserialize<'de> for ReplProgress<T>

where T: ResourceTracker + DeserializeOwned,

fn deserialize<__D>( __deserializer: __D, ) -> Result<ReplProgress<T>, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T> Serialize for ReplProgress<T>

where T: ResourceTracker + Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.