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

//! # Layer 2: Std Trait Detection
//!
//! Provides compile-time detection of standard library traits
//! and automatic capability set construction.
//!
//! ## Public API
//!
//! Use `caps_check!` macro for trait detection:
//!
//! ```ignore
//! use tola_caps::caps_check;
//!
//! // Check if a type implements Clone
//! let is_clone: bool = caps_check!(String: Clone);
//!
//! // Boolean expressions
//! let is_copy_or_default: bool = caps_check!(i32: Copy | Default);
//! ```
//!
//! ## Supported Traits
//!
//! Clone, Copy, Debug, Default, Send, Sync, Eq, PartialEq,
//! Ord, PartialOrd, Hash, Display, Sized, Unpin

pub mod autocaps;

macros::define_std_traits!();

pub use autocaps::{AutoCapSet, Cap, InsertIf, InsertIfType};