Enum CompileError 

pub enum CompileError {
    Schema(SchemaError),
    AggregateOutsideHead {
        rule_id: RuleId,
    },
    AggregateVariableInGroupKey {
        rule_id: RuleId,
        variable: String,
    },
    UnsupportedAggregateInputType {
        rule_id: RuleId,
        function: AggregateFunction,
        variable: String,
        input_type: ValueType,
    },
    AggregateOutputTypeMismatch {
        rule_id: RuleId,
        function: AggregateFunction,
        expected: ValueType,
        actual: ValueType,
    },
    RuleVariableTypeConflict {
        rule_id: RuleId,
        variable: String,
        first: ValueType,
        second: ValueType,
    },
    RuleVariableTypeUnknown {
        rule_id: RuleId,
        variable: String,
    },
    RuleTermTypeMismatch {
        rule_id: RuleId,
        predicate: String,
        position: usize,
        expected: ValueType,
        actual: ValueType,
    },
    RecursiveAggregation {
        rule_id: RuleId,
        predicate: String,
    },
    IncompatibleExtensionalBinding {
        predicate: String,
        attribute: String,
        expected_fields: Vec<ValueType>,
        actual_fields: Vec<ValueType>,
    },
    FactTypeMismatch {
        predicate: String,
        expected: Vec<ValueType>,
        actual: Vec<ValueType>,
    },
    UnsafeVariable {
        rule_id: RuleId,
        variable: String,
    },
    UnstratifiedNegation {
        depender: String,
        dependency: String,
    },
}

Variants

Schema(SchemaError)

AggregateOutsideHead

Fields

rule_id: RuleId

AggregateVariableInGroupKey

Fields

rule_id: RuleId

variable: String

UnsupportedAggregateInputType

Fields

rule_id: RuleId

function: AggregateFunction

variable: String

input_type: ValueType

AggregateOutputTypeMismatch

Fields

rule_id: RuleId

function: AggregateFunction

expected: ValueType

actual: ValueType

RuleVariableTypeConflict

Fields

rule_id: RuleId

variable: String

first: ValueType

second: ValueType

RuleVariableTypeUnknown

Fields

rule_id: RuleId

variable: String

RuleTermTypeMismatch

Fields

rule_id: RuleId

predicate: String

position: usize

expected: ValueType

actual: ValueType

RecursiveAggregation

Fields

rule_id: RuleId

predicate: String

IncompatibleExtensionalBinding

Fields

predicate: String

attribute: String

expected_fields: Vec<ValueType>

actual_fields: Vec<ValueType>

FactTypeMismatch

Fields

predicate: String

expected: Vec<ValueType>

actual: Vec<ValueType>

UnsafeVariable

Fields

rule_id: RuleId

variable: String

UnstratifiedNegation

Fields

depender: String

dependency: String

Trait Implementations

impl Debug for CompileError

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

Formats the value using the given formatter.

impl Display for CompileError

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

Formats the value using the given formatter.

impl Error for CompileError

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<SchemaError> for CompileError

fn from(source: SchemaError) -> Self

Converts to this type from the input type.