diesel/expression/
assume_not_null.rs1use crate::expression::*;
2use crate::query_builder::*;
3use crate::query_source::joins::ToInnerJoin;
4use crate::result::QueryResult;
5use crate::sql_types::{DieselNumericOps, IntoNotNullable};
6
7#[derive(#[automatically_derived]
impl<T: ::core::default::Default> ::core::default::Default for
AssumeNotNull<T> {
#[inline]
fn default() -> AssumeNotNull<T> {
AssumeNotNull(::core::default::Default::default())
}
}Default, #[automatically_derived]
impl<T: ::core::fmt::Debug> ::core::fmt::Debug for AssumeNotNull<T> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_tuple_field1_finish(f, "AssumeNotNull",
&&self.0)
}
}Debug, #[automatically_derived]
impl<T: ::core::marker::Copy> ::core::marker::Copy for AssumeNotNull<T> { }Copy, #[automatically_derived]
impl<T: ::core::clone::Clone> ::core::clone::Clone for AssumeNotNull<T> {
#[inline]
fn clone(&self) -> AssumeNotNull<T> {
AssumeNotNull(::core::clone::Clone::clone(&self.0))
}
}Clone, const _: () =
{
use diesel;
use diesel::internal::derives::numeric_ops as ops;
use diesel::expression::{Expression, AsExpression};
use diesel::sql_types::ops::{Add, Sub, Mul, Div};
use diesel::sql_types::{SqlType, SingleValue};
impl<T, __Rhs> ::std::ops::Add<__Rhs> for AssumeNotNull<T> where
Self: Expression, Self: Expression,
<Self as Expression>::SqlType: Add,
<<Self as Expression>::SqlType as Add>::Rhs: SqlType +
SingleValue,
__Rhs: AsExpression<<<Self as Expression>::SqlType as Add>::Rhs> {
type Output = ops::Add<Self, __Rhs::Expression>;
fn add(self, rhs: __Rhs) -> Self::Output {
ops::Add::new(self, rhs.as_expression())
}
}
impl<T, __Rhs> ::std::ops::Sub<__Rhs> for AssumeNotNull<T> where
Self: Expression, Self: Expression,
<Self as Expression>::SqlType: Sub,
<<Self as Expression>::SqlType as Sub>::Rhs: SqlType +
SingleValue,
__Rhs: AsExpression<<<Self as Expression>::SqlType as Sub>::Rhs> {
type Output = ops::Sub<Self, __Rhs::Expression>;
fn sub(self, rhs: __Rhs) -> Self::Output {
ops::Sub::new(self, rhs.as_expression())
}
}
impl<T, __Rhs> ::std::ops::Mul<__Rhs> for AssumeNotNull<T> where
Self: Expression, Self: Expression,
<Self as Expression>::SqlType: Mul,
<<Self as Expression>::SqlType as Mul>::Rhs: SqlType +
SingleValue,
__Rhs: AsExpression<<<Self as Expression>::SqlType as Mul>::Rhs> {
type Output = ops::Mul<Self, __Rhs::Expression>;
fn mul(self, rhs: __Rhs) -> Self::Output {
ops::Mul::new(self, rhs.as_expression())
}
}
impl<T, __Rhs> ::std::ops::Div<__Rhs> for AssumeNotNull<T> where
Self: Expression, Self: Expression,
<Self as Expression>::SqlType: Div,
<<Self as Expression>::SqlType as Div>::Rhs: SqlType +
SingleValue,
__Rhs: AsExpression<<<Self as Expression>::SqlType as Div>::Rhs> {
type Output = ops::Div<Self, __Rhs::Expression>;
fn div(self, rhs: __Rhs) -> Self::Output {
ops::Div::new(self, rhs.as_expression())
}
}
};DieselNumericOps, const _: () =
{
use diesel;
impl<T, __GroupByClause>
diesel::expression::ValidGrouping<__GroupByClause> for
AssumeNotNull<T> where
T: diesel::expression::ValidGrouping<__GroupByClause> {
type IsAggregate =
<T as
diesel::expression::ValidGrouping<__GroupByClause>>::IsAggregate;
}
};ValidGrouping)]
8pub struct AssumeNotNull<T>(T);
9
10impl<T> AssumeNotNull<T> {
11 pub fn new(expr: T) -> Self {
12 AssumeNotNull(expr)
13 }
14}
15
16impl<T> Expression for AssumeNotNull<T>
17where
18 T: Expression,
19 T::SqlType: IntoNotNullable,
20 <T::SqlType as IntoNotNullable>::NotNullable: TypedExpressionType,
21{
22 type SqlType = <T::SqlType as IntoNotNullable>::NotNullable;
23}
24
25impl<T, DB> QueryFragment<DB> for AssumeNotNull<T>
26where
27 DB: Backend,
28 T: QueryFragment<DB>,
29{
30 fn walk_ast<'b>(&'b self, pass: AstPass<'_, 'b, DB>) -> QueryResult<()> {
31 self.0.walk_ast(pass)
32 }
33}
34
35impl<T, QS> AppearsOnTable<QS> for AssumeNotNull<T>
36where
37 T: AppearsOnTable<QS>,
38 AssumeNotNull<T>: Expression,
39{
40}
41
42impl<T: QueryId> QueryId for AssumeNotNull<T> {
43 type QueryId = T::QueryId;
44
45 const HAS_STATIC_QUERY_ID: bool = T::HAS_STATIC_QUERY_ID;
46}
47
48impl<T, QS> SelectableExpression<QS> for AssumeNotNull<T>
49where
50 Self: AppearsOnTable<QS>,
51 QS: ToInnerJoin,
52 T: SelectableExpression<QS::InnerJoin>,
53{
54}
55
56impl<T> SelectableExpression<NoFromClause> for AssumeNotNull<T> where
57 Self: AppearsOnTable<NoFromClause>
58{
59}