pub enum RuntimeError {
Show 13 variants ArithmeticError { term: Term, }, Unsupported { msg: String, term: Term, }, TypeError { msg: String, stack_trace: String, term: Term, }, StackOverflow { msg: String, }, QueryTimeout { elapsed: u64, timeout: u64, }, Application { msg: String, stack_trace: String, term: Option<Term>, }, IncompatibleBindings { msg: String, }, UnhandledPartial { var: Symbol, term: Term, }, DataFilteringFieldMissing { var_type: String, field: String, }, DataFilteringUnsupportedOp { operation: Operation, }, InvalidRegistration { sym: Symbol, msg: String, }, MultipleLoadError, QueryForUndefinedRule { name: String, },
}

Variants§

§

ArithmeticError

Fields

§term: Term

Term where the error arose, tracked for lexical context.

§

Unsupported

Fields

§term: Term

Term where the error arose, tracked for lexical context.

§

TypeError

Fields

§stack_trace: String
§term: Term

Term where the error arose, tracked for lexical context.

§

StackOverflow

Fields

§

QueryTimeout

Fields

§elapsed: u64
§timeout: u64
§

Application

Fields

§stack_trace: String
§term: Option<Term>

Option where the error arose, tracked for lexical context.

§

IncompatibleBindings

Fields

§

UnhandledPartial

Fields

§term: Term

Term where the error arose, tracked for lexical context.

§

DataFilteringFieldMissing

Fields

§var_type: String
§field: String
§

DataFilteringUnsupportedOp

Fields

§operation: Operation
§

InvalidRegistration

Fields

§

MultipleLoadError

§

QueryForUndefinedRule

Fields

§name: String

The user queried for an undefined rule. This is the runtime analogue of ValidationError::UndefinedRuleCall.

Trait Implementations§

source§

impl AsRef<str> for RuntimeError

source§

fn as_ref(&self) -> &str

Converts this type into a shared reference of the (usually inferred) input type.
source§

impl Clone for RuntimeError

source§

fn clone(&self) -> RuntimeError

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for RuntimeError

source§

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

Formats the value using the given formatter. Read more
source§

impl Display for RuntimeError

source§

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

Formats the value using the given formatter. Read more
source§

impl From<RuntimeError> for PolarError

source§

fn from(err: RuntimeError) -> Self

Converts to this type from the input type.
source§

impl Serialize for RuntimeError

source§

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

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.