Enum Error 

pub enum Error {
    Parsing(Box<ErrorDetails>),
    Inversion(Box<ErrorDetails>),
    Validation(Box<ErrorDetails>),
    Registry {
        details: Box<ErrorDetails>,
        identifier: String,
        kind: RegistryErrorKind,
    },
    MissingRepository {
        details: Box<ErrorDetails>,
        repository: String,
    },
    ResourceLimitExceeded {
        details: Box<ErrorDetails>,
        limit_name: String,
        limit_value: String,
        actual_value: String,
    },
    Request {
        details: Box<ErrorDetails>,
        kind: RequestErrorKind,
    },
}

Error types for the Lemma system with source location tracking

Variants

Parsing(Box<ErrorDetails>)

Parse error with source location

Inversion(Box<ErrorDetails>)

Inversion error (valid Lemma, but unsupported by inversion) with source location

Validation(Box<ErrorDetails>)

Validation error (semantic/planning, including circular dependency) with source location

Registry

Registry resolution error with source location and structured error kind.

Produced when an @... reference cannot be resolved by the configured Registry (e.g. the spec was not found, the request was unauthorized, or the network is unreachable).

Fields

details: Box<ErrorDetails>

identifier: String

The @... identifier that failed to resolve (includes the leading @).

kind: RegistryErrorKind

The category of failure.

MissingRepository

A referenced repository is not present in the context (not loaded / not fetched).

Produced during planning when a uses @repository ... reference names a repository qualifier that has not been added to the workspace.

Fields

details: Box<ErrorDetails>

repository: String

Full repository qualifier as written (e.g. "@lemma/std").

ResourceLimitExceeded

Resource limit exceeded

Fields

details: Box<ErrorDetails>

limit_name: String

limit_value: String

actual_value: String

Request

Request error: invalid or unsatisfiable API request (e.g. spec not found, invalid parameters). Not a parse/planning failure; the request itself is invalid. Such errors occur before any evaluation and never during evaluation.

Fields

details: Box<ErrorDetails>

kind: RequestErrorKind

Implementations

impl Error

pub fn parsing( message: impl Into<String>, source: Source, suggestion: Option<impl Into<String>>, ) -> Self

Create a parse error. Source is required: parsing errors always originate from source code.

pub fn parsing_with_context( message: impl Into<String>, source: Source, suggestion: Option<impl Into<String>>, spec_context: Option<Arc<LemmaSpec>>, related_spec: Option<Arc<LemmaSpec>>, ) -> Self

Parse error with optional spec context (for display).

pub fn parsing_with_suggestion( message: impl Into<String>, source: Source, suggestion: impl Into<String>, ) -> Self

Create a parse error with suggestion. Source is required.

pub fn inversion( message: impl Into<String>, source: Option<Source>, suggestion: Option<impl Into<String>>, ) -> Self

Create an inversion error with source information.

pub fn inversion_with_context( message: impl Into<String>, source: Option<Source>, suggestion: Option<impl Into<String>>, spec_context: Option<Arc<LemmaSpec>>, related_spec: Option<Arc<LemmaSpec>>, ) -> Self

Inversion error with optional spec context (for display).

pub fn inversion_with_suggestion( message: impl Into<String>, source: Option<Source>, suggestion: impl Into<String>, spec_context: Option<Arc<LemmaSpec>>, related_spec: Option<Arc<LemmaSpec>>, ) -> Self

Create an inversion error with suggestion

pub fn validation( message: impl Into<String>, source: Option<Source>, suggestion: Option<impl Into<String>>, ) -> Self

Create a validation error with source information (semantic/planning, including circular dependency).

pub fn validation_with_context( message: impl Into<String>, source: Option<Source>, suggestion: Option<impl Into<String>>, spec_context: Option<Arc<LemmaSpec>>, related_spec: Option<Arc<LemmaSpec>>, ) -> Self

Validation error with optional spec context and related spec (for display).

pub fn request( message: impl Into<String>, suggestion: Option<impl Into<String>>, ) -> Self

Create a request error (invalid API request, e.g. bad spec id). Request errors never have source locations — they are API-level.

pub fn request_not_found( message: impl Into<String>, suggestion: Option<impl Into<String>>, ) -> Self

Create a “spec not found” request error — map to HTTP 404.

pub fn rule_not_found( rule_name: &str, suggestion: Option<impl Into<String>>, ) -> Self

Create a rule not found error

pub fn resource_limit_exceeded( limit_name: impl Into<String>, limit_value: impl Into<String>, actual_value: impl Into<String>, suggestion: impl Into<String>, source: Option<Source>, spec_context: Option<Arc<LemmaSpec>>, related_spec: Option<Arc<LemmaSpec>>, ) -> Self

Create a resource-limit-exceeded error with optional source location and spec context.

pub fn registry( message: impl Into<String>, source: Source, identifier: impl Into<String>, kind: RegistryErrorKind, suggestion: Option<impl Into<String>>, spec_context: Option<Arc<LemmaSpec>>, related_spec: Option<Arc<LemmaSpec>>, ) -> Self

Create a registry error. Source is required: registry errors point to @ref in source.

pub fn missing_repository( message: impl Into<String>, source: Option<Source>, repository: impl Into<String>, suggestion: Option<impl Into<String>>, spec_context: Option<Arc<LemmaSpec>>, ) -> Self

Repository referenced in source is not loaded in the context.

pub fn with_spec_context(self, spec: Arc<LemmaSpec>) -> Self

Attach spec context for display grouping. Returns a new Error with context set.

pub fn with_related_data(self, name: impl Into<String>) -> Self

Attach a data-binding attribution. Returns a new Error carrying the data name. Consumers (WASM JsError, LSP, HTTP) can read this via Error::related_data to attribute the failure to a specific input field without parsing strings.

impl Error

pub fn kind(&self) -> ErrorKind

Classify this error. Used by FFI/WASM consumers that need to branch on error category without depending on internal variant shapes.

pub fn repository(&self) -> Option<&str>

Repository identifier when the error is about a missing repository or a registry fetch target.

Populated for Error::MissingRepository and Error::Registry (identifier).

pub fn message(&self) -> &str

Get the error message.

pub fn location(&self) -> Option<&Source>

Get the source location if available.

pub fn source_location(&self) -> Option<&Source>

Alias for Error::location. Preferred name when building the WASM/JS error payload.

pub fn source_text( &self, sources: &HashMap<SourceType, String>, ) -> Option<String>

Resolve source text from the sources map (for display). Source no longer stores text.

pub fn suggestion(&self) -> Option<&str>

Get the suggestion if available.

pub fn related_data(&self) -> Option<&str>

Data name this error is attributed to (set at the data-binding call site).

pub fn spec_context_name(&self) -> Option<&str>

Spec name when the error is attributed to a planning/eval context.

pub fn related_spec(&self) -> Option<&str>

Name of a related spec referenced by this error (e.g. a transitive dependency).

Trait Implementations

impl Clone for Error

fn clone(&self) -> Error

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Error

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

Formats the value using the given formatter.

impl Display for Error

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

Formats the value using the given formatter.

impl Error for Error

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<Error> for Error

fn from(err: Error) -> Self

Converts to this type from the input type.