Enum polar_core::error::RuntimeError

pub enum RuntimeError {
    ArithmeticError {
        msg: String,
    },
    Serialization {
        msg: String,
    },
    Unsupported {
        msg: String,
    },
    TypeError {
        msg: String,
        stack_trace: Option<String>,
    },
    UnboundVariable {
        sym: Symbol,
    },
    StackOverflow {
        limit: usize,
    },
    QueryTimeout {
        msg: String,
    },
    Application {
        msg: String,
        stack_trace: Option<String>,
    },
    FileLoading {
        msg: String,
    },
    IncompatibleBindings {
        msg: String,
    },
    UnhandledPartial {
        var: Symbol,
        term: Term,
    },
}

Variants

ArithmeticError

Fields of ArithmeticError

msg: String

Serialization

Fields of Serialization

msg: String

Unsupported

Fields of Unsupported

msg: String

TypeError

Fields of TypeError

msg: Stringstack_trace: Option<String>

UnboundVariable

Fields of UnboundVariable

sym: Symbol

StackOverflow

Fields of StackOverflow

limit: usize

QueryTimeout

Fields of QueryTimeout

msg: String

Application

Fields of Application

msg: Stringstack_trace: Option<String>

FileLoading

Fields of FileLoading

msg: String

IncompatibleBindings

Fields of IncompatibleBindings

msg: String

UnhandledPartial

Fields of UnhandledPartial

var: Symbolterm: Term

Implementations

impl RuntimeError

pub fn add_stack_trace(&mut self, vm: &PolarVirtualMachine)

Trait Implementations

impl Clone for RuntimeError

fn clone(&self) -> RuntimeError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RuntimeError

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuntimeError

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

Deserialize this value from the given Serde deserializer.

impl Display for RuntimeError

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

Formats the value using the given formatter.

impl From<RuntimeError> for PolarError

fn from(err: RuntimeError) -> Self

Performs the conversion.

impl Serialize for RuntimeError

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

Serialize this value into the given Serde serializer.