cartel-pg 0.29.0

Async PostgreSQL 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
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

pub(super) mod never;

use crate::dsl::{expr, shape, window};
use std::convert;

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

impl Scope {
    pub fn element<S: shape::ColSlice>(&self, _: &S) -> S::Elem {
        match self.0 {}
    }

    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 {}
    }

    pub fn count<T>(&self, _: T) -> window::Expr<i64> {
        match self.0 {}
    }

    pub fn lag<T, R>(&self, _: T, _: i64) -> window::Expr<Option<R>> {
        match self.0 {}
    }

    pub fn lead<T, R>(&self, _: T, _: i64) -> window::Expr<Option<R>> {
        match self.0 {}
    }

    pub fn vector<S: AsRef<str>>(&self, _: S) -> expr::TsVector {
        match self.0 {}
    }

    pub fn query<S: AsRef<str>>(&self, _: S) -> expr::TsQuery {
        match self.0 {}
    }

    pub fn plain_query<S: AsRef<str>>(&self, _: S) -> expr::TsQuery {
        match self.0 {}
    }

    pub fn rank(&self, _: expr::TsVector, _: expr::TsQuery) -> f32 {
        match self.0 {}
    }

    pub fn array_len<T>(&self, _: T, _: i32) -> i32 {
        match self.0 {}
    }

    pub fn cardinality<T>(&self, _: T) -> i32 {
        match self.0 {}
    }
}