Trait codd::expression::Expression

pub trait Expression<T: Tuple>: Clone + Debug {
    fn visit<V>(&self, visitor: &mut V)
    where
        V: Visitor;

    fn builder(&self) -> Builder<T, Self> { ... }
}

Is the trait of expressions in relational algebra that can be evaluated in a database.

Required methods

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

Visits this expression by a Visitor.

Loading content...

Provided methods

fn builder(&self) -> Builder<T, Self>

Returns an expression builder over this expression.

Loading content...

Implementations on Foreign Types

impl<T, E, '_> Expression<T> for &'_ E where
    T: Tuple,
    E: Expression<T>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T, E> Expression<T> for Box<E> where
    T: Tuple,
    E: Expression<T>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

Loading content...

Implementors

impl<K, L, R, Left, Right, T> Expression<T> for Join<K, L, R, Left, Right, T> where
    K: Tuple,
    L: Tuple,
    R: Tuple,
    T: Tuple,
    Left: Expression<L>,
    Right: Expression<R>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<L, R, Left, Right, T> Expression<T> for Product<L, R, Left, Right, T> where
    L: Tuple,
    R: Tuple,
    T: Tuple,
    Left: Expression<L>,
    Right: Expression<R>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<S, T, E> Expression<T> for Project<S, T, E> where
    S: Tuple,
    T: Tuple,
    E: Expression<S>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T> Expression<T> for Empty<T> where
    T: Tuple, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T> Expression<T> for Full<T> where
    T: Tuple, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T> Expression<T> for Relation<T> where
    T: Tuple + 'static, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T> Expression<T> for Singleton<T> where
    T: Tuple, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T, E> Expression<T> for Select<T, E> where
    T: Tuple,
    E: Expression<T>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T, E> Expression<T> for View<T, E> where
    T: Tuple + 'static,
    E: Expression<T> + 'static, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T, L, R> Expression<T> for Difference<T, L, R> where
    T: Tuple,
    L: Expression<T>,
    R: Expression<T>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T, L, R> Expression<T> for Intersect<T, L, R> where
    T: Tuple,
    L: Expression<T>,
    R: Expression<T>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T, L, R> Expression<T> for Union<T, L, R> where
    T: Tuple,
    L: Expression<T>,
    R: Expression<T>, 

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

impl<T: Tuple + 'static> Expression<T> for Mono<T>

fn visit<V>(&self, visitor: &mut V) where
    V: Visitor, 

Loading content...