Struct polar_core::error::PolarError

pub struct PolarError {
    pub kind: ErrorKind,
    pub context: Option<ErrorContext>,
}

Fields

kind: ErrorKind

context: Option<ErrorContext>

Implementations

impl PolarError

pub fn set_context(self, source: Option<&Source>, term: Option<&Term>) -> Self

Trait Implementations

impl Clone for PolarError

fn clone(&self) -> PolarError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PolarError

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PolarError

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Display for PolarError

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

Formats the value using the given formatter.

impl Error for PolarError

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

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

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

Returns a stack backtrace, if available, of where this error occurred.

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

impl From<OperationalError> for PolarError

fn from(err: OperationalError) -> Self

Performs the conversion.

impl From<ParameterError> for PolarError

fn from(err: ParameterError) -> Self

Performs the conversion.

impl From<ParseError> for PolarError

fn from(err: ParseError) -> Self

Performs the conversion.

impl From<PolarError> for FormattedPolarError

fn from(other: PolarError) -> Self

Performs the conversion.

impl From<RuntimeError> for PolarError

fn from(err: RuntimeError) -> Self

Performs the conversion.

impl Serialize for PolarError

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.