1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
use expression::{Expression, NonAggregate};
use query_builder::AsQuery;
use query_source::filter::FilteredQuerySource;
use query_source::{Table, InnerJoinSource, LeftOuterJoinSource};
use types::Bool;
pub trait FilterDsl<Predicate>: AsQuery {
type Output: AsQuery<SqlType=Self::SqlType>;
fn filter(self, predicate: Predicate) -> Self::Output;
}
pub trait NotFiltered {
}
impl<T, Predicate, ST> FilterDsl<Predicate> for T where
Predicate: Expression<SqlType=Bool> + NonAggregate,
FilteredQuerySource<T, Predicate>: AsQuery<SqlType=ST>,
T: AsQuery<SqlType=ST> + NotFiltered,
{
type Output = FilteredQuerySource<Self, Predicate>;
fn filter(self, predicate: Predicate) -> Self::Output {
FilteredQuerySource::new(self, predicate)
}
}
impl<T: Table> NotFiltered for T {}
impl<Left, Right> NotFiltered for InnerJoinSource<Left, Right> {}
impl<Left, Right> NotFiltered for LeftOuterJoinSource<Left, Right> {}
use expression::expression_methods::*;
use helper_types::Filter;
pub trait FindDsl<PK>: AsQuery {
type Output: AsQuery<SqlType=Self::SqlType>;
fn find(self, id: PK) -> Self::Output;
}
impl<T, PK> FindDsl<PK> for T where
T: Table + FilterDsl<<<T as Table>::PrimaryKey as EqAll<PK>>::Output>,
T::PrimaryKey: EqAll<PK>,
{
type Output = Filter<Self, <T::PrimaryKey as EqAll<PK>>::Output>;
fn find(self, id: PK) -> Self::Output {
let primary_key = self.primary_key();
self.filter(primary_key.eq_all(id))
}
}