[][src]Struct codd::expression::Select

pub struct Select<T, E> where
    T: Tuple,
    E: Expression<T>, 
{ /* fields omitted */ }

Selects tuples of the underlying sub-expression according to a given predicate.

Example:

use codd::{Database, expression::Select};

let mut db = Database::new();
let fruit = db.add_relation::<String>("Fruit").unwrap();

db.insert(&fruit, vec!["Apple".to_string(), "BANANA".to_string(), "cherry".to_string()].into());

let select = Select::new(
    &fruit,
    |t| t.contains('A'), // select predicate
);

assert_eq!(vec!["Apple", "BANANA"], db.evaluate(&select).unwrap().into_tuples());

Implementations

impl<T, E> Select<T, E> where
    T: Tuple,
    E: Expression<T>, 
[src]

pub fn new<I, P>(expression: I, predicate: P) -> Self where
    I: IntoExpression<T, E>,
    P: FnMut(&T) -> bool + 'static, 
[src]

Creates a new Select expression over expression according to the predicate closure.

pub fn expression(&self) -> &E[src]

Returns a reference to the underlying sub-expression.

Trait Implementations

impl<T: Clone, E: Clone> Clone for Select<T, E> where
    T: Tuple,
    E: Expression<T>, 
[src]

impl<T, E> Debug for Select<T, E> where
    T: Tuple,
    E: Expression<T>, 
[src]

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

impl<T: Tuple> From<Select<T, Mono<T>>> for Mono<T>[src]

Auto Trait Implementations

impl<T, E> !RefUnwindSafe for Select<T, E>

impl<T, E> !Send for Select<T, E>

impl<T, E> !Sync for Select<T, E>

impl<T, E> Unpin for Select<T, E> where
    E: Unpin

impl<T, E> !UnwindSafe for Select<T, E>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, E> IntoExpression<T, E> for E where
    E: Expression<T>,
    T: Tuple
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.