Enum StartError 

pub enum StartError {
    UnsupportedDatamodel {
        name: String,
    },
    DatamodelMismatch {
        chart: String,
        given: String,
    },
    Datamodel(EvalError),
    ChartRefused {
        datamodel: String,
        problems: Vec<String>,
    },
    BudgetExceeded {
        budget: u32,
        partial: Box<Outcome>,
    },
}

Why a session could not start.

Variants

UnsupportedDatamodel

The chart names a datamodel the host did not register.

Fields

name: String

The datamodel name.

DatamodelMismatch

The datamodel passed in is not the one the chart names.

Fields

chart: String

The chart’s datamodel.

given: String

The datamodel given.

Datamodel(EvalError)

The datamodel refused to initialize the session.

ChartRefused

The datamodel refused to instantiate the chart, with every problem it found (a statically checked datamodel refuses a chart with type errors).

Fields

datamodel: String

The datamodel name.

problems: Vec<String>

Every problem, each with its location in the chart.

BudgetExceeded

The start macrostep did not stabilize within the microstep budget.

Fields

budget: u32

The budget.

partial: Box<Outcome>

The session and effects as left when the budget ran out.

Trait Implementations

impl Clone for StartError

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StartError

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

Formats the value using the given formatter.

impl PartialEq for StartError

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for StartError