Struct typeql::pattern::SubConstraint

pub struct SubConstraint {
    pub type_: TypeReference,
    pub is_explicit: IsExplicit,
}

Fields

type_: TypeReference

is_explicit: IsExplicit

Implementations

impl SubConstraint

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

Trait Implementations

impl Clone for SubConstraint

fn clone(&self) -> SubConstraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SubConstraint

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

Formats the value using the given formatter.

impl Display for SubConstraint

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

Formats the value using the given formatter.

impl From<(ConceptVariable, IsExplicit)> for SubConstraint

fn from((type_, is_explicit): (ConceptVariable, IsExplicit)) -> Self

Converts to this type from the input type.

impl<T: Into<Label>> From<(T, IsExplicit)> for SubConstraint

fn from((type_, is_explicit): (T, IsExplicit)) -> Self

Converts to this type from the input type.

impl From<(TypeReference, IsExplicit)> for SubConstraint

fn from((type_, is_explicit): (TypeReference, IsExplicit)) -> Self

Converts to this type from the input type.

impl From<ConceptVariable> for SubConstraint

fn from(type_: ConceptVariable) -> Self

Converts to this type from the input type.

impl<T: Into<Label>> From<T> for SubConstraint

fn from(type_: T) -> Self

Converts to this type from the input type.

impl From<TypeReference> for SubConstraint

fn from(type_: TypeReference) -> Self

Converts to this type from the input type.

impl PartialEq for SubConstraint

fn eq(&self, other: &SubConstraint) -> 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 SubConstraint

fn validate(&self) -> Result

fn validated(self) -> Result<Self>

impl Eq for SubConstraint

impl StructuralEq for SubConstraint

impl StructuralPartialEq for SubConstraint