pub struct InProgressBuilder<'a, 'c> { /* private fields */ }Implementations§
Source§impl<'a, 'c> InProgressBuilder<'a, 'c>
impl<'a, 'c> InProgressBuilder<'a, 'c>
pub fn new(in_progress: InProgress<'a, 'c>) -> InProgressBuilder<'a, 'c>
Sourcepub fn transact(self) -> (InProgress<'a, 'c>, Result<TxReport, MentatError>)
pub fn transact(self) -> (InProgress<'a, 'c>, Result<TxReport, MentatError>)
Build the terms from this builder and transact them against the current
InProgress. This method always returns the InProgress – failure doesn’t
imply an automatic rollback.
Sourcepub fn commit(self) -> Result<TxReport, MentatError>
pub fn commit(self) -> Result<TxReport, MentatError>
Transact the contents of the builder and commit the InProgress. If any
step fails, roll back. Return the TxReport.
Trait Implementations§
Source§impl<'a, 'c> BuildTerms for InProgressBuilder<'a, 'c>
impl<'a, 'c> BuildTerms for InProgressBuilder<'a, 'c>
fn named_tempid<I>(&mut self, name: I) -> Arc<TempId> ⓘ
fn describe_tempid(self, name: &str) -> EntityBuilder<InProgressBuilder<'a, 'c>>
fn describe<E>(self, entity: E) -> EntityBuilder<InProgressBuilder<'a, 'c>>
fn add<E, A, V>(&mut self, e: E, a: A, v: V) -> Result<(), MentatError>
fn retract<E, A, V>(&mut self, e: E, a: A, v: V) -> Result<(), MentatError>
Auto Trait Implementations§
impl<'a, 'c> !RefUnwindSafe for InProgressBuilder<'a, 'c>
impl<'a, 'c> !Send for InProgressBuilder<'a, 'c>
impl<'a, 'c> !Sync for InProgressBuilder<'a, 'c>
impl<'a, 'c> !UnwindSafe for InProgressBuilder<'a, 'c>
impl<'a, 'c> Freeze for InProgressBuilder<'a, 'c>
impl<'a, 'c> Unpin for InProgressBuilder<'a, 'c>
impl<'a, 'c> UnsafeUnpin for InProgressBuilder<'a, 'c>
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> 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