Skip to main content

InfixExpression

uor_foundation::kernel::schema

Trait InfixExpression 

Source 
pub trait InfixExpression<H: HostTypes>: TermExpression<H> {
    type TermExpression: TermExpression<H>;

    // Required methods
    fn left_operand(&self) -> &Self::TermExpression;
    fn right_operand(&self) -> &Self::TermExpression;
    fn infix_operator(&self) -> &H::HostString;
}
Expand description

An AST node for infix relations and logical connectives (e.g., x <= y, P -> Q, a = b).

Required Associated Types§

Source

type TermExpression: TermExpression<H>

Associated type for TermExpression.

Required Methods§

Source

fn left_operand(&self) -> &Self::TermExpression

The left operand of an infix expression.

Source

fn right_operand(&self) -> &Self::TermExpression

The right operand of an infix expression.

Source

fn infix_operator(&self) -> &H::HostString

The operator symbol in an infix expression (e.g., ‘=’, ‘\u{2264}’, ‘\u{2192}’).

Implementors§