Enum ConcretizationError 

pub enum ConcretizationError {
    ValueError {
        id: SmolStr,
        expected_type: &'static str,
        given_value: Value,
    },
    VarConfictError {
        id: SmolStr,
        existing_value: PartialValue,
        given_value: Value,
    },
    EntityTypeConfictError {
        id: SmolStr,
        existing_value: EntityType,
        given_value: Value,
    },
    ValueEval(EvaluationError),
}

Errors that occur during concretizing a partial request

Variants

ValueError

Errors that occur when binding unknowns with values of unexpected types

Fields

id: SmolStr

String representation of PARC

expected_type: &'static str

Expected type of the provided value

given_value: Value

The provided value

VarConfictError

Errors that occur when binding variables with known values

Fields

id: SmolStr

String representation of PARC

existing_value: PartialValue

Existing value of PARC

given_value: Value

The provided value

EntityTypeConfictError

Errors that occur when binding variables with known values

Fields

id: SmolStr

String representation of PARC

existing_value: EntityType

Existing value of PARC

given_value: Value

The provided value

ValueEval(EvaluationError)

Errors that occur when evaluating partial values

Trait Implementations

impl Debug for ConcretizationError

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

Formats the value using the given formatter.

impl Diagnostic for ConcretizationError

fn code(&self) -> Option<Box<dyn Display + '_>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn help(&self) -> Option<Box<dyn Display + '_>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.

fn related(&self) -> Option<Box<dyn Iterator<Item = &dyn Diagnostic> + '_>>

Additional related Diagnostics.

fn url(&self) -> Option<Box<dyn Display + '_>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.

impl Display for ConcretizationError

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

Formats the value using the given formatter.

impl Error for ConcretizationError

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<ConcretizationError> for ReauthorizationError

fn from(source: ConcretizationError) -> Self

Converts to this type from the input type.

impl From<EvaluationError> for ConcretizationError

fn from(source: EvaluationError) -> Self

Converts to this type from the input type.