Struct MatchOp 

pub struct MatchOp {}

Trait Implementations

impl Clone for MatchOp

fn clone(&self) -> MatchOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CustomExecute for MatchOp

fn execute_bindings( &self, args: &[Atom], ) -> Result<BoxedIter<'static, (Atom, Option<Bindings>)>, ExecError>

Executes grounded function on passed args and returns list of results with associated variable bindings if there are ones. Default implementation calls [CustomExecute::execute] and returns no bindings.

fn execute(&self, _args: &[Atom]) -> Result<Vec<Atom>, ExecError>

Executes grounded function on passed args and returns list of results as Vec<Atom> or [ExecError]. This is a restricted version of the [CustomExecute::execute_bindings] method which is implemented if returning of variable bindings is not required.

impl Debug for MatchOp

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

Formats the value using the given formatter.

impl Display for MatchOp

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

Formats the value using the given formatter.

impl Grounded for MatchOp

fn type_(&self) -> Atom

Returns type of the grounded atom. Should return same type each time it is called. [rust_type_atom] function can be used to implement default behavior if required.

fn as_execute(&self) -> Option<&dyn CustomExecute>

Returns reference to the custom execution API implementation. If None is returned then atom is not executable. See [CustomExecute] for details.

fn as_match(&self) -> Option<&dyn CustomMatch>

Returns reference to the custom matching API implementation. If None is returned then atom is matched by equality. See [CustomMatch] for details.

fn serialize(&self, _serializer: &mut dyn Serializer) -> Result<(), Error>

Implements serialization logic of the grounded atom. The logic is implemented in terms of the Rust native types. See [serial] for details.

impl PartialEq for MatchOp

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.