Struct CustomOperatorInfo 

#[non_exhaustive]
pub struct CustomOperatorInfo {
    pub deterministic: bool,
    pub reads_context: bool,
    pub min_args: usize,
    pub max_args: Option<usize>,
}

What the engine may assume about a CustomOperator, returned by CustomOperator::info.

Build one from Self::opaque or Self::pure and the with / -ing methods; the struct is #[non_exhaustive] so fields can be added in 5.x.

use datalogic_rs::CustomOperatorInfo;

// Depends only on its one or two arguments.
let info = CustomOperatorInfo::pure().with_args(1, Some(2));
assert!(info.deterministic && !info.reads_context);

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

deterministic: bool

The same arguments (and, if Self::reads_context, the same data) always give the same result, and evaluating it has no effect the rule could observe.

reads_context: bool

Reads the data context through EvalContext, beyond its arguments.

min_args: usize

The fewest arguments a call may pass.

max_args: Option<usize>

The most arguments a call may pass, or None for no limit.

Implementations

impl CustomOperatorInfo

pub const fn opaque() -> Self

Nothing assumed: nondeterministic, may read the context, any number of arguments. The default.

pub const fn pure() -> Self

A function of its arguments alone: deterministic, reads no context, any number of arguments.

pub const fn reading_context(self) -> Self

The same, but also reading the data context.

pub const fn with_args(self, min: usize, max: Option<usize>) -> Self

The same, accepting between min and max arguments (None: no upper limit).

Trait Implementations

impl Clone for CustomOperatorInfo

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CustomOperatorInfo

impl Debug for CustomOperatorInfo

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

Formats the value using the given formatter.

impl Default for CustomOperatorInfo

fn default() -> Self

Returns the “default value” for a type.

impl Eq for CustomOperatorInfo

impl PartialEq for CustomOperatorInfo

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CustomOperatorInfo