Enum DomainError 

pub enum DomainError {
    EmptyField {
        field: &'static str,
    },
    FieldTooLong {
        field: &'static str,
        actual: usize,
        max: usize,
    },
    InvalidCharacters {
        field: &'static str,
    },
    OutOfRange {
        field: &'static str,
        value: f64,
        min: f64,
        max: f64,
    },
    MustBeNonZero {
        field: &'static str,
    },
    EmptyCollection {
        field: &'static str,
    },
    InvalidTransition {
        from: &'static str,
        to: &'static str,
    },
    InvariantViolated {
        reason: &'static str,
    },
    NotFound {
        what: &'static str,
    },
    AlreadyExists {
        what: &'static str,
    },
    Conflict {
        what: &'static str,
    },
    NoValidProposal {
        contract_id: String,
    },
}

All errors that the core domain can raise.

Variants are intentionally coarse-grained at the boundary: each variant names the invariant that was violated, not the primitive type involved.

Variants

EmptyField

A required textual field was empty or whitespace-only.

Fields

field: &'static str

FieldTooLong

A textual field exceeded its maximum allowed length.

Fields

field: &'static str

actual: usize

max: usize

InvalidCharacters

A textual field contained characters outside the allowed set.

Fields

field: &'static str

OutOfRange

A numeric value fell outside its allowed range.

Fields

field: &'static str

value: f64

min: f64

max: f64

MustBeNonZero

A numeric value that must be non-zero was zero.

Fields

field: &'static str

EmptyCollection

A collection that must contain at least one element was empty.

Fields

field: &'static str

InvalidTransition

A state transition was attempted from an invalid state.

Fields

from: &'static str

to: &'static str

InvariantViolated

An aggregate rejected a command because its preconditions were not met (e.g. registering an agent into a sealed council).

Fields

reason: &'static str

NotFound

A lookup in a domain registry did not resolve.

Fields

what: &'static str

AlreadyExists

A domain entity with the same identity already exists.

Fields

what: &'static str

Conflict

Somebody else changed this first.

A distinct variant rather than an invariant violation, because the two ask different things of a caller. An invariant that was violated will be violated again by the same call; a conflict is the expected outcome of two callers reaching the same thing at once, and the answer is to reload and decide, not to give up.

Collapsing them made a caller unable to tell “try again from what is stored now” from “this can never work”.

Fields

what: &'static str

NoValidProposal

No candidate satisfied the structured output contract.

Fields

contract_id: String

Trait Implementations

impl Clone for DomainError

fn clone(&self) -> DomainError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DomainError

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

Formats the value using the given formatter.

impl Display for DomainError

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

Formats the value using the given formatter.

impl Error for DomainError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for DomainError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DomainError