pub struct DistributedProofAssembler { /* private fields */ }Expand description
Proof assembler for distributed proofs
Implementations§
Source§impl DistributedProofAssembler
impl DistributedProofAssembler
Sourcepub fn new(remote_provider: Arc<dyn RemoteKnowledgeProvider>) -> Self
pub fn new(remote_provider: Arc<dyn RemoteKnowledgeProvider>) -> Self
Create a new distributed proof assembler
Sourcepub async fn assemble_proof(
&mut self,
goal: &Predicate,
) -> Result<Option<Proof>, RemoteReasoningError>
pub async fn assemble_proof( &mut self, goal: &Predicate, ) -> Result<Option<Proof>, RemoteReasoningError>
Assemble a proof from distributed fragments
Sourcepub async fn fetch_fragment(
&mut self,
cid: Cid,
) -> Result<ProofFragment, RemoteReasoningError>
pub async fn fetch_fragment( &mut self, cid: Cid, ) -> Result<ProofFragment, RemoteReasoningError>
Fetch a proof fragment from the network
Auto Trait Implementations§
impl Freeze for DistributedProofAssembler
impl !RefUnwindSafe for DistributedProofAssembler
impl Send for DistributedProofAssembler
impl Sync for DistributedProofAssembler
impl Unpin for DistributedProofAssembler
impl !UnwindSafe for DistributedProofAssembler
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> 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