pub struct EvaluatedRule {
pub name: String,
pub path: RulePath,
pub default_expression: Expression,
pub unless_branches: Vec<(Option<Expression>, Expression)>,
pub source_location: Source,
pub rule_type: LemmaType,
}Expand description
Rule info with resolved expressions for use in evaluation response. Evaluation uses only semantics types; no parsing types.
Fields§
§name: String§path: RulePath§default_expression: Expression§unless_branches: Vec<(Option<Expression>, Expression)>§source_location: Source§rule_type: LemmaTypeTrait Implementations§
Source§impl Clone for EvaluatedRule
impl Clone for EvaluatedRule
Source§fn clone(&self) -> EvaluatedRule
fn clone(&self) -> EvaluatedRule
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for EvaluatedRule
impl Debug for EvaluatedRule
Auto Trait Implementations§
impl Freeze for EvaluatedRule
impl RefUnwindSafe for EvaluatedRule
impl Send for EvaluatedRule
impl Sync for EvaluatedRule
impl Unpin for EvaluatedRule
impl UnsafeUnpin for EvaluatedRule
impl UnwindSafe for EvaluatedRule
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more