cartel-sqlite 0.29.0

SQLite driver for the dope runtime
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

pub(super) mod never;

use crate::dsl::window;
use std::convert;

/// Uninhabited proof supplied only to generated query checks.
pub struct Scope(pub convert::Infallible);

impl Scope {
    pub fn target<T>(&self, _: &mut T) -> crate::sql::Target<T> {
        match self.0 {}
    }

    pub fn has_rows<S>(&self, _: S) -> bool {
        match self.0 {}
    }

    pub fn has_no_rows<S>(&self, _: S) -> bool {
        match self.0 {}
    }

    pub fn row_number(&self) -> window::Expr<i64> {
        match self.0 {}
    }
}