Struct Passdata 

pub struct Passdata<'s> { /* private fields */ }

Data for the logic program.

Implementations

impl<'s> Passdata<'s>

pub const unsafe fn new_unchecked(schema: &'s Schema<'s>, data: Vec<u8>) -> Self

Constructs with empty data.

Safety

The data is not verified to be valid.

pub const fn with_schema(schema: &'s Schema<'s>) -> Self

Constructs with the given schema and empty data.

pub fn into_inner(self) -> Vec<u8>

Returns the underlying encoded data.

pub fn predicates_iter(&self) -> impl Iterator<Item = &str> + '_

Iterator over predicates.

pub fn edb_iter( &self, predicate: &str, ) -> Result<impl Iterator<Item = FactTerms<'_>> + '_>

Iterator over facts.

Errors

• if the predicate is unknown.

pub fn add_fact<'a, T>(&mut self, predicate: &str, constants: T) -> Result<()>

where T: IntoArray<Constant<'a>>, <T as IntoArray<Constant<'a>>>::Length: ArrayLength<ConstantTy> + ArrayLength<ConstantId>,

Add a fact explicitly.

Errors

Returns an error if the values do not match the expected types for the predicate.

pub fn query_edb<'a, T>( &'a self, predicate: &str, values: T, ) -> Result<impl Iterator<Item = T::ResultTy> + 'a>

where T: QueryResult<'a> + 'a,

Query for an explictly declared fact.

Errors

If the expected types are not compatible with the types in the data.

pub fn contains_edb<'a, T>(&'a self, pred: &str, values: T) -> Result<bool>

where T: QueryResult<'a> + 'a,

Determines if there is any explicitly declared fact which matches the given parameters.

Errors

If the expected types are not compatible with the types in the data.

pub fn query_only_one_edb<'a, T>( &'a self, pred: &str, values: T, ) -> Result<Option<T::ResultTy>>

where T: QueryResult<'a> + 'a,

Queries the data for an explicitly declared fact, and only returns a success if there is a single matching fact.

Errors

• If the expected types are not compatible with the types in the data.
• If there are multiple matching facts

Trait Implementations

impl<'s> Debug for Passdata<'s>

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

Formats the value using the given formatter.