pub struct KnowledgeBaseIpld {
pub rules: Vec<String>,
pub facts: Vec<FactIpld>,
pub version: String,
}Expand description
Snapshot of a complete knowledge base as an IPLD node
Rules are stored by CID reference so that the KB node is a DAG linking to all constituent rule blocks. This enables:
- Incremental sync: only missing rule blocks need to be fetched.
- Deduplication: a rule shared by multiple KB snapshots has one CID.
Fields§
§rules: Vec<String>CID strings of RuleIpld blocks comprising this KB
facts: Vec<FactIpld>Inline ground facts (typically small enough for a single block)
version: StringSchema/format version for forward compatibility
Trait Implementations§
Source§impl Clone for KnowledgeBaseIpld
impl Clone for KnowledgeBaseIpld
Source§fn clone(&self) -> KnowledgeBaseIpld
fn clone(&self) -> KnowledgeBaseIpld
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 moreSource§impl Debug for KnowledgeBaseIpld
impl Debug for KnowledgeBaseIpld
Source§impl<'de> Deserialize<'de> for KnowledgeBaseIpld
impl<'de> Deserialize<'de> for KnowledgeBaseIpld
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
Auto Trait Implementations§
impl Freeze for KnowledgeBaseIpld
impl RefUnwindSafe for KnowledgeBaseIpld
impl Send for KnowledgeBaseIpld
impl Sync for KnowledgeBaseIpld
impl Unpin for KnowledgeBaseIpld
impl UnsafeUnpin for KnowledgeBaseIpld
impl UnwindSafe for KnowledgeBaseIpld
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,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
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