tola-caps 0.2.0

Capability system enabling type-level state tracking, trait detection, and stable specialization.
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

//! AutoCapSet: Capability set for concrete types.
//!
//! # Usage
//!
//! - Concrete types: `Cap<T>` provides type-level capability queries
//! - Generic functions: Use `caps_check!(T: Clone)` macro instead

use crate::primitives::Bool;
use crate::trie::{Capability, InsertAt};
use crate::primitives::stream::D0;

// =============================================================================
// AutoCapSet Trait
// =============================================================================

/// Provides a type-level capability set for a type.
pub trait AutoCapSet {
    /// The Trie type (Empty, Leaf, or Node16).
    type Out;
}

/// Access T's capability set. Requires T: AutoCapSet.
pub type Cap<T> = <T as AutoCapSet>::Out;

// =============================================================================
// InsertIf - Conditional insertion based on const bool
// =============================================================================

/// Insert capability into set if condition is true.
pub trait InsertIf<Cap, const B: bool> {
    type Out;
}

impl<S, Cap> InsertIf<Cap, true> for S
where
    Cap: Capability,
    S: InsertAt<Cap, D0>,
{
    type Out = <S as InsertAt<Cap, D0>>::Out;
}

impl<S, Cap> InsertIf<Cap, false> for S {
    type Out = S;
}

/// Insert based on type-level Bool (Present/Absent).
pub trait InsertIfType<Cap, B: Bool> {
    type Out;
}

impl<S, Cap, B> InsertIfType<Cap, B> for S
where
    B: Bool,
    S: InsertAt<Cap, D0>,
{
    type Out = B::If<<S as InsertAt<Cap, D0>>::Out, S>;
}

// =============================================================================
// Macros (generated by proc-macros)
// =============================================================================

macros::define_impl_auto_caps_macro!();
macros::define_impl_std_types_macro!();

#[cfg(feature = "alloc")]
macros::define_impl_alloc_types_macro!();

#[cfg(feature = "std")]
macros::define_impl_std_lib_types_macro!();

// =============================================================================
// Apply type implementations
// =============================================================================

impl_std_types!();

#[cfg(feature = "alloc")]
impl_alloc_types!();

#[cfg(feature = "std")]
impl_std_lib_types!();