Trait TableHKT 

pub trait TableHKT {
    type Mode: TableMode;
    type InMode<Mode: TableMode>;
}

A trait abstracting the mode of a user defined table, which allows us to talk about the same table in two different modes.

impl<'scope, T: Column<'scope>> TableHKT<'scope> for MyTable<'scope, T> {
    type InMode<Mode: Column<'scope>> = MyTable<'scope, Mode>;

    type Mode = T;
}

Required Associated Types

type Mode: TableMode

The current mode of this table.

type InMode<Mode: TableMode>

Replace the mode with another.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'scope, T: TableMode, A, B, C> TableHKT for Three<'scope, T, A, B, C>

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

type InMode<Mode: TableMode> = Three<'scope, Mode, A, B, C>

type Mode = T

impl<'scope, T: TableMode, A, B> TableHKT for Two<'scope, T, A, B>

where A: Value, B: Value,

type InMode<Mode: TableMode> = Two<'scope, Mode, A, B>

type Mode = T

impl<'scope, T: TableMode, A> TableHKT for One<'scope, T, A>

where A: Value,

type InMode<Mode: TableMode> = One<'scope, Mode, A>

type Mode = T