pub struct RuleV2 {
pub rule_id: String,
pub head: String,
pub body: Vec<String>,
pub priority: i32,
pub author: String,
pub created_at_secs: u64,
}Expand description
A versioned logic rule with conflict-resolution metadata.
Fields§
§rule_id: StringUnique identifier for this rule.
head: StringHead predicate pattern (what the rule proves).
body: Vec<String>Body predicates (what the rule depends on).
priority: i32Priority value — higher is preferred.
Author / owner of this rule.
created_at_secs: u64Unix timestamp (seconds) of rule creation.
Trait Implementations§
impl Eq for RuleV2
impl StructuralPartialEq for RuleV2
Auto Trait Implementations§
impl Freeze for RuleV2
impl RefUnwindSafe for RuleV2
impl Send for RuleV2
impl Sync for RuleV2
impl Unpin for RuleV2
impl UnsafeUnpin for RuleV2
impl UnwindSafe for RuleV2
Blanket Implementations§
impl<T> Allocation for T
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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