cartel_sqlite/dsl/scope/mod.rs
1pub(super) mod never;
2
3use crate::dsl::window;
4use std::convert;
5
6/// Uninhabited proof supplied only to generated query checks.
7pub struct Scope(pub convert::Infallible);
8
9impl Scope {
10 pub fn target<T>(&self, _: &mut T) -> crate::sql::Target<T> {
11 match self.0 {}
12 }
13
14 pub fn has_rows<S>(&self, _: S) -> bool {
15 match self.0 {}
16 }
17
18 pub fn has_no_rows<S>(&self, _: S) -> bool {
19 match self.0 {}
20 }
21
22 pub fn row_number(&self) -> window::Expr<i64> {
23 match self.0 {}
24 }
25}