Struct diesel::expression::exists::Exists

source ·
#[non_exhaustive]
pub struct Exists<T> { pub subselect: Subselect<T, Bool>, }
Available on crate feature i-implement-a-third-party-backend-and-opt-into-breaking-changes only.
Expand description

The query dsl node that represents a SQL EXISTS (subselect) expression.

Third party backend can customize the QueryFragment implementation of this query dsl node via SqlDialect::ExistsSyntax. A customized implementation is expected to provide the same semantics as an ANSI SQL EXIST (subselect) expression.

Fields (Non-exhaustive)§

This struct is marked as non-exhaustive
Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.
§subselect: Subselect<T, Bool>

The inner subselect

Trait Implementations§

source§

impl<T: Clone> Clone for Exists<T>

source§

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

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<T: Debug> Debug for Exists<T>

source§

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

Formats the value using the given formatter. Read more
source§

impl<T> Expression for Exists<T>
where Subselect<T, Bool>: Expression,

§

type SqlType = Bool

The type that this expression represents in SQL
source§

impl<T, DB> QueryFragment<DB> for Exists<T>
where DB: Backend, Self: QueryFragment<DB, DB::ExistsSyntax>,

source§

fn walk_ast<'b>(&'b self, pass: AstPass<'_, 'b, DB>) -> QueryResult<()>

Walk over this QueryFragment for all passes. Read more
source§

fn to_sql(&self, out: &mut DB::QueryBuilder, backend: &DB) -> QueryResult<()>

Converts this QueryFragment to its SQL representation. Read more
source§

fn collect_binds<'b>( &'b self, out: &mut DB::BindCollector<'b>, metadata_lookup: &mut DB::MetadataLookup, backend: &'b DB ) -> QueryResult<()>

Serializes all bind parameters in this query. Read more
source§

fn is_safe_to_cache_prepared(&self, backend: &DB) -> QueryResult<bool>

Is this query safe to store in the prepared statement cache? Read more
source§

fn is_noop(&self, backend: &DB) -> QueryResult<bool>

Does walking this AST have any effect?
source§

impl<T, DB> QueryFragment<DB, AnsiSqlExistsSyntax> for Exists<T>
where DB: Backend + SqlDialect<ExistsSyntax = AnsiSqlExistsSyntax>, T: QueryFragment<DB>,

source§

fn walk_ast<'b>(&'b self, out: AstPass<'_, 'b, DB>) -> QueryResult<()>

Walk over this QueryFragment for all passes. Read more
source§

fn to_sql(&self, out: &mut DB::QueryBuilder, backend: &DB) -> QueryResult<()>

Converts this QueryFragment to its SQL representation. Read more
source§

fn collect_binds<'b>( &'b self, out: &mut DB::BindCollector<'b>, metadata_lookup: &mut DB::MetadataLookup, backend: &'b DB ) -> QueryResult<()>

Serializes all bind parameters in this query. Read more
source§

fn is_safe_to_cache_prepared(&self, backend: &DB) -> QueryResult<bool>

Is this query safe to store in the prepared statement cache? Read more
source§

fn is_noop(&self, backend: &DB) -> QueryResult<bool>

Does walking this AST have any effect?
source§

impl<T: QueryId> QueryId for Exists<T>

§

type QueryId = Exists<<T as QueryId>::QueryId>

A type which uniquely represents Self in a SQL query. Read more
source§

const HAS_STATIC_QUERY_ID: bool = _

Can the SQL generated by Self be uniquely identified by its type? Read more
source§

fn query_id() -> Option<TypeId>

Returns the type id of Self::QueryId if Self::HAS_STATIC_QUERY_ID. Returns None otherwise. Read more
source§

impl<T, GB> ValidGrouping<GB> for Exists<T>
where Subselect<T, Bool>: ValidGrouping<GB>,

§

type IsAggregate = <Subselect<T, Bool> as ValidGrouping<GB>>::IsAggregate

Is this expression aggregate? Read more
source§

impl<T, QS> AppearsOnTable<QS> for Exists<T>
where Self: Expression, Subselect<T, Bool>: AppearsOnTable<QS>,

source§

impl<T: Copy> Copy for Exists<T>

source§

impl<T, QS> SelectableExpression<QS> for Exists<T>
where Self: AppearsOnTable<QS>, Subselect<T, Bool>: SelectableExpression<QS>,

Auto Trait Implementations§

§

impl<T> Freeze for Exists<T>
where T: Freeze,

§

impl<T> RefUnwindSafe for Exists<T>
where T: RefUnwindSafe,

§

impl<T> Send for Exists<T>
where T: Send,

§

impl<T> Sync for Exists<T>
where T: Sync,

§

impl<T> Unpin for Exists<T>
where T: Unpin,

§

impl<T> UnwindSafe for Exists<T>
where T: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T, ST> AsExpression<ST> for T
where T: Expression<SqlType = ST>, ST: SqlType + TypedExpressionType,

§

type Expression = T

The expression being returned
source§

fn as_expression(self) -> T

Perform the conversion
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<Conn, DB, T> ExecuteDsl<Conn, DB> for T
where Conn: Connection<Backend = DB>, DB: Backend, T: QueryFragment<DB> + QueryId,

source§

fn execute(query: T, conn: &mut Conn) -> Result<usize, Error>

Execute this command
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoSql for T

source§

fn into_sql<T>(self) -> AsExprOf<Self, T>

Convert self to an expression for Diesel’s query builder. Read more
source§

fn as_sql<'a, T>(&'a self) -> AsExprOf<&'a Self, T>

Convert &self to an expression for Diesel’s query builder. Read more
source§

impl<T> NullableExpressionMethods for T
where T: Expression,

source§

fn nullable(self) -> Nullable<Self>

Converts this potentially non-null expression into one which is treated as nullable. This method has no impact on the generated SQL, and is only used to allow certain comparisons that would otherwise fail to compile. Read more
source§

fn assume_not_null(self) -> AssumeNotNull<Self>

Converts this potentially nullable expression into one which will be assumed to be not-null. This method has no impact on the generated SQL, however it will enable you to attempt deserialization of the returned value in a non-Option. Read more
source§

impl<T> PgExpressionMethods for T
where T: Expression,

source§

fn is_not_distinct_from<T>(self, other: T) -> IsNotDistinctFrom<Self, T>
where Self::SqlType: SqlType, T: AsExpression<Self::SqlType>,

Available on crate feature postgres_backend only.
Creates a PostgreSQL IS NOT DISTINCT FROM expression. Read more
source§

fn is_distinct_from<T>(self, other: T) -> IsDistinctFrom<Self, T>
where Self::SqlType: SqlType, T: AsExpression<Self::SqlType>,

Available on crate feature postgres_backend only.
Creates a PostgreSQL IS DISTINCT FROM expression. Read more
source§

impl<T> SqliteExpressionMethods for T
where T: Expression,

source§

fn is<T>(self, other: T) -> Is<Self, T>
where Self::SqlType: SqlType, T: AsExpression<Self::SqlType>,

Available on crate feature sqlite only.
Creates a Sqlite IS expression. Read more
source§

fn is_not<T>(self, other: T) -> IsNot<Self, T>
where Self::SqlType: SqlType, T: AsExpression<Self::SqlType>,

Available on crate feature sqlite only.
Creates a Sqlite IS NOT expression. Read more
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

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

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V