Enum EngineError 

pub enum EngineError {
    Syntax(SyntaxDetail),
    Semantic(String),
    Reasoning(String),
    Backend((String, String)),
}

The pipeline’s typed error (Syntax/Semantic/Reasoning/Backend), re-exported so embedders, tests, and the server can pattern-match the error CLASS instead of string-parsing the [Xxx Error] Display prefix. Unified error type for the nibli-kr → nibli-semantics → nibli-reason pipeline.

Variants

Syntax(SyntaxDetail)

Syntax error from the parser (nibli-kr).

Semantic(String)

Semantic error from the compiler (nibli-semantics).

Reasoning(String)

Reasoning error from the inference engine (nibli-reason).

Backend((String, String))

Backend error from external compute dispatch. Fields: (predicate, message).

Trait Implementations

impl Clone for NibliError

fn clone(&self) -> NibliError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NibliError

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

Formats the value using the given formatter.

impl Display for NibliError

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

Formats the value using the given formatter.