Enum VetoType 

pub enum VetoType {
    MissingData {
        data: DataPath,
    },
    UserDefined {
        message: Option<String>,
    },
    Computation {
        message: String,
    },
}

Why an operation yielded no value (domain veto).

JSON serialization is a single string (see fmt::Display). There is intentionally no Deserialize implementation: veto payloads are engine output only.

Variants

MissingData

Evaluation needed a data that was not provided

Fields

data: DataPath

UserDefined

Explicit veto "reason" in Lemma source

Fields

message: Option<String>

Computation

Runtime domain failure (division by zero, date overflow, etc.)

Fields

message: String

Implementations

impl VetoType

pub fn computation(message: impl Into<String>) -> Self

Trait Implementations

impl Clone for VetoType

fn clone(&self) -> VetoType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VetoType

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

Formats the value using the given formatter.

impl Display for VetoType

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

Formats the value using the given formatter.

impl PartialEq for VetoType

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VetoType

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for VetoType