pub struct TermBuilder { /* private fields */ }Implementations§
Source§impl TermBuilder
impl TermBuilder
pub fn build( self, ) -> Result<(Vec<Entity<TypedValue>>, InternSet<TempId>), MentatError>
pub fn new() -> TermBuilder
pub fn is_empty(&self) -> bool
pub fn numbered_tempid(&mut self, id: i64) -> Arc<TempId> ⓘ
pub fn lookup_ref<A, V>(a: A, v: V) -> LookupRef<TypedValue>
pub fn tx_function(op: &str) -> TxFunction
Trait Implementations§
Source§impl BuildTerms for TermBuilder
impl BuildTerms for TermBuilder
fn named_tempid<I>(&mut self, name: I) -> Arc<TempId> ⓘ
fn describe_tempid(self, name: &str) -> EntityBuilder<TermBuilder>
fn describe<E>(self, entity: E) -> EntityBuilder<TermBuilder>
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>
Source§impl Debug for TermBuilder
impl Debug for TermBuilder
Source§impl Default for TermBuilder
impl Default for TermBuilder
Source§fn default() -> TermBuilder
fn default() -> TermBuilder
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for TermBuilder
impl RefUnwindSafe for TermBuilder
impl Send for TermBuilder
impl Sync for TermBuilder
impl Unpin for TermBuilder
impl UnsafeUnpin for TermBuilder
impl UnwindSafe for TermBuilder
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