Enum SemaError 

pub enum SemaError {
    Reader {
        message: String,
        span: Span,
    },
    Eval(String),
    Type {
        expected: String,
        got: String,
    },
    Arity {
        name: String,
        expected: String,
        got: usize,
    },
    Unbound(String),
    Llm(String),
    Io(String),
    PermissionDenied {
        function: String,
        capability: String,
    },
    PathDenied {
        function: String,
        path: String,
    },
    UserException(Value),
    WithTrace {
        inner: Box<SemaError>,
        trace: StackTrace,
    },
    WithContext {
        inner: Box<SemaError>,
        hint: Option<String>,
        note: Option<String>,
    },
}

Variants

Reader

Fields

message: String

span: Span

Eval(String)

Type

Fields

expected: String

got: String

Arity

Fields

name: String

expected: String

got: usize

Unbound(String)

Llm(String)

Io(String)

PermissionDenied

Fields

function: String

capability: String

PathDenied

Fields

function: String

path: String

UserException(Value)

WithTrace

Fields

inner: Box<SemaError>

trace: StackTrace

WithContext

Fields

inner: Box<SemaError>

hint: Option<String>

note: Option<String>

Implementations

impl SemaError

pub fn eval(msg: impl Into<String>) -> SemaError

pub fn type_error( expected: impl Into<String>, got: impl Into<String>, ) -> SemaError

pub fn arity( name: impl Into<String>, expected: impl Into<String>, got: usize, ) -> SemaError

pub fn with_hint(self, hint: impl Into<String>) -> SemaError

Attach a hint (actionable suggestion) to this error.

pub fn with_note(self, note: impl Into<String>) -> SemaError

Attach a note (extra context) to this error.

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

Get the hint from this error, if any.

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

Get the note from this error, if any.

pub fn with_stack_trace(self, trace: StackTrace) -> SemaError

Wrap this error with a stack trace (no-op if already wrapped).

pub fn stack_trace(&self) -> Option<&StackTrace>

pub fn inner(&self) -> &SemaError

Trait Implementations

impl Clone for SemaError

fn clone(&self) -> SemaError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemaError

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

Formats the value using the given formatter.

impl Display for SemaError

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

Formats the value using the given formatter.

impl Error for SemaError

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.