pub struct WorldProduct { /* private fields */ }Expand description
Pure read-only product for semantic projection, diff, and explanation.
Implementations§
Source§impl WorldProduct
impl WorldProduct
Sourcepub fn bundled() -> Result<Self, WorldError>
pub fn bundled() -> Result<Self, WorldError>
Constructs the bundled baseline provider from its exact authored source.
Sourcepub fn project(
&self,
kind: &str,
fact: &str,
semantic: Datum,
envelope: Option<Datum>,
) -> Result<WorldProjection, WorldError>
pub fn project( &self, kind: &str, fact: &str, semantic: Datum, envelope: Option<Datum>, ) -> Result<WorldProjection, WorldError>
Projects one caller-supplied observed semantic fact.
Sourcepub fn diff(
&self,
kind: &str,
fact: &str,
before: Datum,
after: Datum,
) -> Result<Datum, WorldError>
pub fn diff( &self, kind: &str, fact: &str, before: Datum, after: Datum, ) -> Result<Datum, WorldError>
Compares two supplied semantic values under one qualified projection.
Sourcepub fn why(&self, conclusion: &str, fact: &str) -> Result<Datum, WorldError>
pub fn why(&self, conclusion: &str, fact: &str) -> Result<Datum, WorldError>
Explains one exact owner/conclusion/fact path from the sealed closure.
Sourcepub const fn effect_calls(&self) -> usize
pub const fn effect_calls(&self) -> usize
Reports effect invocations owned by this product; the value is always zero.
Trait Implementations§
Source§impl Clone for WorldProduct
impl Clone for WorldProduct
Source§fn clone(&self) -> WorldProduct
fn clone(&self) -> WorldProduct
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 moreAuto Trait Implementations§
impl !RefUnwindSafe for WorldProduct
impl !UnwindSafe for WorldProduct
impl Freeze for WorldProduct
impl Send for WorldProduct
impl Sync for WorldProduct
impl Unpin for WorldProduct
impl UnsafeUnpin for WorldProduct
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