Struct sequent_repl::commands::load::Load

pub struct Load { /* private fields */ }

Command that will load the simulation from a user-specified YAML file. Upon completion, the simulation will be reset to the initial state, as per the loaded file, and the cursor position reset to 0.

Trait Implementations

impl<S, C: Context<S>, T: Terminal> Command<C, SimulationError<S>, T> for Loadwhere
    for<'de> S: Clone + Deserialize<'de>,

fn apply(
    &mut self,
    looper: &mut Looper<'_, C, SimulationError<S>, T>
) -> Result<ApplyOutcome, ApplyCommandError<SimulationError<S>>>

Applies the command for the given Looper. References to the underlying application context and the terminal interface are supplied by the Looper.