systemprompt-extension 0.2.1

Compile-time extension framework for systemprompt.io AI governance infrastructure. Built on the inventory crate — registers schemas, API routes, jobs, and providers in the MCP governance pipeline.
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
53
54
55
56
57
58
59
60
61
62
63
64

use std::any::TypeId;

pub trait TypeList: 'static {
    fn contains_type<T: 'static>() -> bool;
    fn type_ids() -> Vec<TypeId>;
    fn len() -> usize;
    fn is_empty() -> bool {
        Self::len() == 0
    }
}

impl TypeList for () {
    fn contains_type<T: 'static>() -> bool {
        false
    }

    fn type_ids() -> Vec<TypeId> {
        vec![]
    }

    fn len() -> usize {
        0
    }
}

impl<H: 'static, T: TypeList> TypeList for (H, T) {
    fn contains_type<X: 'static>() -> bool {
        TypeId::of::<H>() == TypeId::of::<X>() || T::contains_type::<X>()
    }

    fn type_ids() -> Vec<TypeId> {
        let mut ids = vec![TypeId::of::<H>()];
        ids.extend(T::type_ids());
        ids
    }

    fn len() -> usize {
        1 + T::len()
    }
}

pub trait Subset<B: TypeList>: TypeList {
    fn is_subset_of() -> bool;
}

impl<B: TypeList> Subset<B> for () {
    fn is_subset_of() -> bool {
        true
    }
}

impl<H: 'static, T: TypeList + Subset<B>, B: TypeList> Subset<B> for (H, T) {
    fn is_subset_of() -> bool {
        B::contains_type::<H>() && T::is_subset_of()
    }
}

pub trait Contains<T: 'static>: TypeList {}

impl<T: 'static, Tail: TypeList> Contains<T> for (T, Tail) {}

pub trait NotSame {}

impl<A, B> NotSame for (A, B) {}