sntl 0.1.1

Compile-time guarded ORM for PostgreSQL — your data's guardian from compile to production
Documentation 
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

use sntl::core::relation::*;

struct User;
struct UserPosts;
struct UserProfile;

// Manual transition impls (macro generates these in production)
impl<B> IncludeTransition<User, (Unloaded, B), UserPosts> for () {
    type Next = (Loaded, B);
}
impl<A> IncludeTransition<User, (A, Unloaded), UserProfile> for () {
    type Next = (A, Loaded);
}

#[test]
fn include_transition_compiles() {
    // This test passes if it compiles — verifies the trait + impls work
    fn assert_transition<M, S, Rel, N>()
    where
        (): IncludeTransition<M, S, Rel, Next = N>,
    {
    }

    assert_transition::<User, (Unloaded, Unloaded), UserPosts, (Loaded, Unloaded)>();
    assert_transition::<User, (Unloaded, Unloaded), UserProfile, (Unloaded, Loaded)>();
    // Including posts when profile already loaded
    assert_transition::<User, (Unloaded, Loaded), UserPosts, (Loaded, Loaded)>();
}

#[test]
fn relation_include_holds_spec() {
    let inc: RelationInclude<User, UserPosts> = RelationInclude::new(RelationSpec::new(
        "posts",
        "user_id",
        "posts",
        RelationKind::HasMany,
    ));
    assert_eq!(inc.spec().name(), "posts");
}

#[test]
fn relation_include_into_spec() {
    let inc: RelationInclude<User, UserPosts> = RelationInclude::new(RelationSpec::new(
        "posts",
        "user_id",
        "posts",
        RelationKind::HasMany,
    ));
    let spec = inc.into_spec();
    assert_eq!(spec.name(), "posts");
    assert_eq!(spec.kind(), RelationKind::HasMany);
}