Enum GateError 

pub enum GateError {
    Apply(ApplyError),
    TypeError {
        op_id: OpId,
        errors: Vec<TypeError>,
    },
}

Variants

Apply(ApplyError)

The operation’s parent or merge structure is wrong. Pass-through from ApplyError; same shape so callers already handling stale-parent / unknown-merge-parent on the raw apply path can keep their existing match arms.

TypeError

The candidate program — i.e. the state that would exist after applying the op — doesn’t typecheck. The op is not persisted; the branch head is unchanged.

op_id is the would-be op_id (computed before the apply path persisted anything). Lets callers correlate the rejection with the op they submitted, even though no <root>/ops/<op_id>.json file exists.

errors is the structured envelope lex check already emits. Effect violations show up here as a TypeError variant; the gate doesn’t model them as a separate kind because the type checker doesn’t either.

Fields

op_id: OpId

errors: Vec<TypeError>

Trait Implementations

impl Debug for GateError

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

Formats the value using the given formatter.

impl Display for GateError

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

Formats the value using the given formatter.

impl Error for GateError

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 From<ApplyError> for GateError

fn from(source: ApplyError) -> Self

Converts to this type from the input type.