Struct codd::expression::Full

pub struct Full<T> where
    T: Tuple,  { /* fields omitted */ }

Is a placeholder for a "full" instance, containing all tuples of its type.

Note: because Full expression cannot be described by a range-restricted (see chapter 2 of Foundations of Databases) query, any query containing Full as a subexpression cannot be evaluated in a database safely.

Example:

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

let mut db = Database::new();
let full = Full::<i32>::new();

assert!(db.evaluate(&full).is_err()); // cannot be evaluated

Implementations

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

pub fn new() -> Self

Creates a new instance of Full.

Trait Implementations

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

fn clone(&self) -> Full<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

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

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Tuple> Default for Full<T>

fn default() -> Self

Returns the "default value" for a type.

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

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

Visits this expression by a Visitor.

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

Returns an expression builder over this expression.

impl<T: Tuple> From<Full<T>> for Mono<T>

fn from(full: Full<T>) -> Self

Performs the conversion.