Struct owoof::retrieve::Pattern

pub struct Pattern<'a, V> {
    pub entity: Either<Variable<'a>, V>,
    pub attribute: Either<Variable<'a>, V>,
    pub value: Either<Variable<'a>, V>,
}

A data structure for specifying high-level constraints with NamedNetwork::add_pattern.

• Variable::Any adds no constraint.
• Variable::Unify constrains the field to the first occurrence of the variable.
• Either::Right holds a crate::Value or crate::ValueRef or something and will match that field to that value using equality.

FYI: entity and attribute should use crate::Entity and crate::Attribute respectively instead, but it’s a bit convenient for all the fields to be homogeneous or whatever so you can add them to a Vec or iterate over them or otherwise interact with them all the same.

Can be parsed but must borrow the input string because Variables always borrow. See crate::BorrowedParse about that. Also requires the serde_json feature to parse a Value.

Fields

entity: Either<Variable<'a>, V>

attribute: Either<Variable<'a>, V>

value: Either<Variable<'a>, V>

Trait Implementations

impl<'a, V: Debug> Debug for Pattern<'a, V>

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

Formats the value using the given formatter.

impl<'a> FromBorrowedStr<'a> for Pattern<'a, Value>

Requires the serde_json feature.

type Err = PatternParseError

fn from_borrowed_str(s: &'a str) -> Result<Self, Self::Err>

impl<'a, V: PartialEq> PartialEq<Pattern<'a, V>> for Pattern<'a, V>

fn eq(&self, other: &Pattern<'a, V>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Pattern<'a, V>) -> bool

This method tests for !=.

impl<'a, V> StructuralPartialEq for Pattern<'a, V>