Struct typedb_driver::transaction::logic::LogicManager

pub struct LogicManager<'tx> { /* private fields */ }

Provides methods for manipulating rules in the database.

Implementations

impl<'tx> LogicManager<'tx>

pub fn put_rule( &self, label: String, when: Conjunction, then: Statement ) -> impl Promise<'tx, Result<Rule>>

Creates a new Rule if none exists with the given label, or replaces the existing one.

Arguments

• label – The label of the Rule to create or replace
• when – The when body of the rule to create
• then – The then body of the rule to create

Examples

transaction.logic().put_rule(label, when, then).await

pub fn get_rule(&self, label: String) -> impl Promise<'tx, Result<Option<Rule>>>

Retrieves the Rule that has the given label.

Arguments

• label – The label of the Rule to create or retrieve

Examples

transaction.logic().get_rule(label).await

pub fn get_rules(&self) -> Result<impl Stream<Item = Result<Rule>> + 'tx>

Retrieves all rules.

Examples

transaction.logic.get_rules()

Trait Implementations

impl<'tx> Clone for LogicManager<'tx>

fn clone(&self) -> LogicManager<'tx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tx> Debug for LogicManager<'tx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.