Enum typeql::pattern::Definable

pub enum Definable {
    RuleDeclaration(RuleLabel),
    RuleDefinition(Rule),
    TypeStatement(TypeStatement),
}

Variants

RuleDeclaration(RuleLabel)

RuleDefinition(Rule)

TypeStatement(TypeStatement)

Implementations

impl Definable

pub fn into_rule_declaration(self) -> RuleLabel

impl Definable

pub fn into_rule(self) -> Rule

impl Definable

pub fn into_type_statement(self) -> TypeStatement

Trait Implementations

impl Clone for Definable

fn clone(&self) -> Definable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Definable

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

Formats the value using the given formatter.

impl Display for Definable

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

Formats the value using the given formatter.

impl From<Rule> for Definable

fn from(x: Rule) -> Self

Converts to this type from the input type.

impl From<RuleLabel> for Definable

fn from(x: RuleLabel) -> Self

Converts to this type from the input type.

impl From<TypeStatement> for Definable

fn from(x: TypeStatement) -> Self

Converts to this type from the input type.

impl PartialEq for Definable

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

fn validate(&self) -> Result

fn validated(self) -> Result<Self>

impl Eq for Definable

impl StructuralEq for Definable

impl StructuralPartialEq for Definable