Struct ReplFunctionCall 

pub struct ReplFunctionCall {
    pub function_name: String,
    pub args: Vec<MontyObject>,
    pub kwargs: Vec<(MontyObject, MontyObject)>,
    pub call_id: u32,
    pub method_call: bool,
    /* private fields */
}

Available on crate features code and embedded-python only.

REPL execution paused at an external function call or dataclass method call.

Resume with resume(result, print) to provide the return value and continue, or resume_pending(print) to push an ExternalFuture for async resolution.

Fields

function_name: String

The name of the function or method being called.

args: Vec<MontyObject>

The positional arguments passed to the function.

kwargs: Vec<(MontyObject, MontyObject)>

The keyword arguments passed to the function (key, value pairs).

call_id: u32

Unique identifier for this call (used for async correlation).

method_call: bool

Whether this is a dataclass method call (first arg is self).

Implementations

impl ReplFunctionCall

pub fn into_repl(self) -> MontyRepl

Extracts the REPL session, discarding the in-flight execution state.

Restores globals from the VM snapshot so the REPL remains usable.

pub fn resume( self, result: impl Into<ExtFunctionResult>, print: PrintWriter<'_>, ) -> Result<ReplProgress, Box<ReplStartError>>

Resumes snippet execution with an external result.

pub fn resume_pending( self, print: PrintWriter<'_>, ) -> Result<ReplProgress, Box<ReplStartError>>

Resumes execution by pushing an ExternalFuture for async resolution.

Uses self.call_id internally — no need to pass it again.

Trait Implementations

impl Debug for ReplFunctionCall

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ReplFunctionCall

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ReplFunctionCall

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.