Struct typeql::pattern::Predicate

pub struct Predicate {
    pub predicate: Predicate,
    pub value: Value,
}

Fields

predicate: Predicate

value: Value

Implementations

impl Predicate

pub fn new(predicate: Predicate, value: Value) -> Self

pub fn variables(&self) -> Box<dyn Iterator<Item = VariableRef<'_>> + '_>

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Predicate

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

Formats the value using the given formatter.

impl Display for Predicate

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

Formats the value using the given formatter.

impl PartialEq for Predicate

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

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

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

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

impl Validatable for Predicate

fn validate(&self) -> Result

fn validated(self) -> Result<Self>

impl Eq for Predicate

impl StructuralEq for Predicate

impl StructuralPartialEq for Predicate