Trait mentat_ffi::BuildTerms

pub trait BuildTerms {
    fn named_tempid(&mut self, name: String) -> Rc<TempId>;
    fn describe_tempid(self, name: &str) -> EntityBuilder<Self>;
    fn describe<E>(self, entity: E) -> EntityBuilder<Self>
    where
        E: IntoThing<Either<KnownEntid, Rc<TempId>>>;
    fn add<E, V>(
        &mut self, 
        e: E, 
        a: KnownEntid, 
        v: V
    ) -> Result<(), MentatError>
    where
        E: IntoThing<Either<KnownEntid, Rc<TempId>>>,
        V: IntoThing<Either<TypedValue, Rc<TempId>>>;
    fn retract<E, V>(
        &mut self, 
        e: E, 
        a: KnownEntid, 
        v: V
    ) -> Result<(), MentatError>
    where
        E: IntoThing<Either<KnownEntid, Rc<TempId>>>,
        V: IntoThing<Either<TypedValue, Rc<TempId>>>;
}

Required Methods

fn named_tempid(&mut self, name: String) -> Rc<TempId>

fn describe_tempid(self, name: &str) -> EntityBuilder<Self>

fn describe<E>(self, entity: E) -> EntityBuilder<Self> where
    E: IntoThing<Either<KnownEntid, Rc<TempId>>>, 

fn add<E, V>(&mut self, e: E, a: KnownEntid, v: V) -> Result<(), MentatError> where
    E: IntoThing<Either<KnownEntid, Rc<TempId>>>,
    V: IntoThing<Either<TypedValue, Rc<TempId>>>, 

fn retract<E, V>(
    &mut self,
    e: E,
    a: KnownEntid,
    v: V
) -> Result<(), MentatError> where
    E: IntoThing<Either<KnownEntid, Rc<TempId>>>,
    V: IntoThing<Either<TypedValue, Rc<TempId>>>, 

Implementations on Foreign Types

impl BuildTerms for TermBuilder

fn named_tempid(&mut self, name: String) -> Rc<TempId>

fn describe_tempid(self, name: &str) -> EntityBuilder<TermBuilder>

fn describe<E>(self, entity: E) -> EntityBuilder<TermBuilder> where     E: IntoThing<Either<KnownEntid, Rc<TempId>>>,

fn add<E, V>(&mut self, e: E, a: KnownEntid, v: V) -> Result<(), MentatError> where     E: IntoThing<Either<KnownEntid, Rc<TempId>>>,     V: IntoThing<Either<TypedValue, Rc<TempId>>>,

fn retract<E, V>(     &mut self,     e: E,     a: KnownEntid,     v: V ) -> Result<(), MentatError> where     E: IntoThing<Either<KnownEntid, Rc<TempId>>>,     V: IntoThing<Either<TypedValue, Rc<TempId>>>,

Implementors

• impl<'a, 'c> BuildTerms for InProgressBuilder<'a, 'c>