Trait Table 

pub trait Table<'scope> {
    type Nullify: Table<'scope>;
    type Result;

    // Required methods
    fn visit(&self, f: &mut impl FnMut(&ErasedExpr));
    fn visit_mut(&mut self, f: &mut impl FnMut(&mut ErasedExpr));
    fn nullify(self) -> Self::Nullify;
}

A trait that represents a database result row.

If you implement Table on your type, you must also implement ForLifetimeTable.

Required Associated Types

type Nullify: Table<'scope>

type Result

Required Methods

fn visit(&self, f: &mut impl FnMut(&ErasedExpr))

Visit each expr in the table.

The order and number of expressions visited must always remain the same, across: Table::visit, Table::visit_mut, and all methods of MapTable.

fn visit_mut(&mut self, f: &mut impl FnMut(&mut ErasedExpr))

Visit each expr in the table, with a mutable reference.

The order and number of expressions visited must always remain the same, across: Table::visit, Table::visit_mut, and all methods of MapTable.

fn nullify(self) -> Self::Nullify

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'scope, A: Table<'scope>> Table<'scope> for (A,)

type Nullify = (<A as Table<'scope>>::Nullify,)

type Result = (<A as Table<'scope>>::Result,)

fn visit(&self, f: &mut impl FnMut(&ErasedExpr))

fn visit_mut(&mut self, f: &mut impl FnMut(&mut ErasedExpr))

fn nullify(self) -> Self::Nullify

impl<'scope, A: Table<'scope>, B: Table<'scope>> Table<'scope> for (A, B)

type Nullify = (<A as Table<'scope>>::Nullify, <B as Table<'scope>>::Nullify)

type Result = (<A as Table<'scope>>::Result, <B as Table<'scope>>::Result)

fn visit(&self, f: &mut impl FnMut(&ErasedExpr))

fn visit_mut(&mut self, f: &mut impl FnMut(&mut ErasedExpr))

fn nullify(self) -> Self::Nullify

impl<'scope, A: Table<'scope>, B: Table<'scope>, C: Table<'scope>> Table<'scope> for (A, B, C)

type Nullify = (<A as Table<'scope>>::Nullify, <B as Table<'scope>>::Nullify, <C as Table<'scope>>::Nullify)

type Result = (<A as Table<'scope>>::Result, <B as Table<'scope>>::Result, <C as Table<'scope>>::Result)

fn visit(&self, f: &mut impl FnMut(&ErasedExpr))

fn visit_mut(&mut self, f: &mut impl FnMut(&mut ErasedExpr))

fn nullify(self) -> Self::Nullify

Implementors

impl<'scope, A> Table<'scope> for One<'scope, ExprMode, A>

where <Self as TableHKT>::Of<ExprNullifiedMode>: Table<'scope>, A: Value,

type Nullify = <One<'scope, ExprMode, A> as TableHKT>::Of<ExprNullifiedMode>

type Result = <One<'scope, ExprMode, A> as TableHKT>::Of<ValueMode>

impl<'scope, A> Table<'scope> for One<'scope, ExprNullifiedMode, A>

where A: Value,

type Nullify = One<'scope, ExprNullifiedMode, A>

type Result = <One<'scope, ExprNullifiedMode, A> as TableHKT>::Of<ValueNullifiedMode>

impl<'scope, A, B> Table<'scope> for Two<'scope, ExprMode, A, B>

where <Self as TableHKT>::Of<ExprNullifiedMode>: Table<'scope>, A: Value, B: Value,

type Nullify = <Two<'scope, ExprMode, A, B> as TableHKT>::Of<ExprNullifiedMode>

type Result = <Two<'scope, ExprMode, A, B> as TableHKT>::Of<ValueMode>

impl<'scope, A, B> Table<'scope> for Two<'scope, ExprNullifiedMode, A, B>

where A: Value, B: Value,

type Nullify = Two<'scope, ExprNullifiedMode, A, B>

type Result = <Two<'scope, ExprNullifiedMode, A, B> as TableHKT>::Of<ValueNullifiedMode>

impl<'scope, A, B, C> Table<'scope> for Three<'scope, ExprMode, A, B, C>

where <Self as TableHKT>::Of<ExprNullifiedMode>: Table<'scope>, A: Value, B: Value, C: Value,

type Nullify = <Three<'scope, ExprMode, A, B, C> as TableHKT>::Of<ExprNullifiedMode>

type Result = <Three<'scope, ExprMode, A, B, C> as TableHKT>::Of<ValueMode>

impl<'scope, A, B, C> Table<'scope> for Three<'scope, ExprNullifiedMode, A, B, C>

where A: Value, B: Value, C: Value,

type Nullify = Three<'scope, ExprNullifiedMode, A, B, C>

type Result = <Three<'scope, ExprNullifiedMode, A, B, C> as TableHKT>::Of<ValueNullifiedMode>

impl<'scope, T> Table<'scope> for Expr<'scope, T>

type Nullify = Expr<'scope, Option<T>>

type Result = T

impl<'scope, T> Table<'scope> for TableUsingMapper<T>

where T: Table<'scope> + MapTable<'scope> + TableHKT<Mode = ExprMode>, T::Of<ExprNullifiedMode>: Table<'scope>,

type Nullify = <T as TableHKT>::Of<ExprNullifiedMode>

type Result = <T as TableHKT>::Of<ValueMode>

impl<'scope, T> Table<'scope> for TableUsingMapperNullified<T>

where T: Table<'scope> + MapTable<'scope> + TableHKT<Mode = ExprNullifiedMode>,

type Nullify = T

type Result = <T as TableHKT>::Of<ValueNullifiedMode>

impl<'scope, T: Table<'scope>> Table<'scope> for MaybeTable<'scope, T>

type Nullify = MaybeTable<'scope, T>

type Result = Option<<T as Table<'scope>>::Result>