sequent-repl 0.3.0

An adapter for using Sequent with Revolver.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! An adapter for using Sequent with Revolver.

pub mod commands;

use sequent::{Decoder, Simulation};
use revolver::terminal::{AccessTerminalError, Terminal};

/// Specification of a minimal application context for simulations.
pub trait Context {
    /// The state type.
    type State;

    /// A mutable reference to the simulation.
    fn sim(&mut self) -> &mut Simulation<Self::State>;

    /// Prints the current state to the given terminal interface.
    ///
    /// # Errors
    /// [`AccessTerminalError`] if an error occurs while writing to the terminal.
    fn print_state(&self, terminal: &mut impl Terminal) -> Result<(), AccessTerminalError>;

    /// A reference to a decoder for parsing events.
    fn decoder(&self) -> &Decoder<Self::State>;
}