pub enum QGMError {
    UnsupportedHirRelationExpr(UnsupportedHirRelationExpr),
    UnsupportedHirScalarExpr(UnsupportedHirScalarExpr),
    UnsupportedBoxType(UnsupportedBoxType),
    UnsupportedBoxScalarExpr(UnsupportedBoxScalarExpr),
    UnsupportedQuantifierType(UnsupportedQuantifierType),
    UnsupportedDecorrelation(UnsupportedDecorrelation),
    Internal(Internal),
}
Expand description

Errors that can occur while handling a QGM model.

A bunch of the error types exist because our support for HIR ⇒ QGM conversion and QGM ⇒ MIR conversion is currently incomplete. They will be removed once these limitations are addressed.

Variants§

§

UnsupportedHirRelationExpr(UnsupportedHirRelationExpr)

Indicates HIR ⇒ QGM conversion failure due to unsupported HirRelationExpr.

§

UnsupportedHirScalarExpr(UnsupportedHirScalarExpr)

Indicates HIR ⇒ QGM conversion failure due to unsupported HirScalarExpr.

§

UnsupportedBoxType(UnsupportedBoxType)

Indicates QGM ⇒ MIR conversion failure due to unsupported box type.

§

UnsupportedBoxScalarExpr(UnsupportedBoxScalarExpr)

Indicates QGM ⇒ MIR conversion failure due to unsupported scalar expression.

§

UnsupportedQuantifierType(UnsupportedQuantifierType)

Indicates QGM ⇒ MIR conversion failure due to unsupported quantifier type.

§

UnsupportedDecorrelation(UnsupportedDecorrelation)

Indicates QGM ⇒ MIR conversion failure due to lack of support for decorrelation.

§

Internal(Internal)

An unstructured error.

Trait Implementations§

Returns a copy of the value. Read more
Performs copy-assignment from source. Read more
Formats the value using the given formatter. Read more
Formats the value using the given formatter. Read more
The lower-level source of this error, if any. Read more
👎Deprecated since 1.42.0: use the Display impl or to_string()
👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type based access to context intended for error reports. Read more
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
Formats an object with the “alternative” format ({:#}) and returns it.

Returns the argument unchanged.

Converts to this type from a reference to the input type.
Attaches the provided Context to this type, returning a WithContext wrapper. Read more
Attaches the current Context to this type, returning a WithContext wrapper. Read more
Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Calls U::from(self).

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

Wrap the input message T in a tonic::Request
The alignment of pointer.
The type for initializers.
Initializes a with the given initializer. Read more
Dereferences the given pointer. Read more
Mutably dereferences the given pointer. Read more
Drops the object pointed to by the given pointer. Read more
Upcasts this ProgressEventTimestamp to Any. Read more
Returns the name of the concrete type of this object. Read more
🔬This is a nightly-only experimental API. (provide_any)
Data providers should implement this method to provide all values they are able to provide by using demand. Read more
Should always be Self
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
Converts the given value to a String. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.
Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more