Enum VetoType 

pub enum VetoType {
    MissingData {
        data: DataPath,
        suggestion: Option<String>,
    },
    MissingRowData {
        key: String,
    },
    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

suggestion: Option<String>

MissingRowData

Evaluation needed a field of a list row that was not provided (key is the row path, e.g. menu.2.price).

Fields

key: String

UserDefined

Explicit veto "reason" in Lemma source

Fields

message: Option<String>

Computation

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

Fields

message: String

Implementations

impl VetoType

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

pub fn missing_data(data: DataPath, suggestion: Option<String>) -> Self

Trait Implementations

impl Clone for VetoType

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 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 Eq for VetoType

impl Hash for VetoType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for VetoType

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

Equality operator ==.

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

Inequality operator !=.

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