#[non_exhaustive]pub enum KnowledgeLayer {
Evidence,
Fact,
Hypothesis,
}Expand description
Knowledge record layer queried by a claim expression.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
Evidence
Immutable observations from the evidence engine.
Fact
Materialized facts.
Hypothesis
Bayesian hypotheses produced by earlier decision cycles.
Trait Implementations§
Source§impl Clone for KnowledgeLayer
impl Clone for KnowledgeLayer
Source§fn clone(&self) -> KnowledgeLayer
fn clone(&self) -> KnowledgeLayer
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for KnowledgeLayer
Source§impl Debug for KnowledgeLayer
impl Debug for KnowledgeLayer
Source§impl<'de> Deserialize<'de> for KnowledgeLayer
impl<'de> Deserialize<'de> for KnowledgeLayer
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for KnowledgeLayer
Source§impl PartialEq for KnowledgeLayer
impl PartialEq for KnowledgeLayer
Source§impl Serialize for KnowledgeLayer
impl Serialize for KnowledgeLayer
impl StructuralPartialEq for KnowledgeLayer
Auto Trait Implementations§
impl Freeze for KnowledgeLayer
impl RefUnwindSafe for KnowledgeLayer
impl Send for KnowledgeLayer
impl Sync for KnowledgeLayer
impl Unpin for KnowledgeLayer
impl UnsafeUnpin for KnowledgeLayer
impl UnwindSafe for KnowledgeLayer
Blanket Implementations§
§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
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,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more