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

use tola_caps::prelude::*;

#[test]
fn test_std_types_caps() {
    // std::fs::File implements Read, Write, Seek, Debug
    #[cfg(feature = "std")]
    {
        use std::fs::File;
        // File is Sized (implicit).
        assert!(caps_check!(File: std::io::Read));
        assert!(caps_check!(File: std::io::Write));
        assert!(caps_check!(File: std::io::Seek));
        assert!(caps_check!(File: core::fmt::Debug));

        // Check Metadata
        assert!(caps_check!(std::fs::Metadata: core::clone::Clone));
    }

    // std::sync::Mutex (Generic)
    #[cfg(feature = "std")]
    {
        use std::sync::Mutex;
        // Mutex<i32> is Send, Sync, Debug, Default
        assert!(caps_check!(Mutex<i32>: Send));
        assert!(caps_check!(Mutex<i32>: Sync));
        assert!(caps_check!(Mutex<i32>: core::fmt::Debug));
        assert!(caps_check!(Mutex<i32>: Default));

        // Mutex<Rc<i32>> is NOT Send because Rc is not Send
        use std::rc::Rc;
        assert!(!caps_check!(Mutex<Rc<i32>>: Send));
    }

    // std::thread::JoinHandle
    #[cfg(feature = "std")]
    {
        use std::thread::JoinHandle;
        assert!(caps_check!(JoinHandle<()>: core::fmt::Debug));
    }

    // std::path::PathBuf
    #[cfg(feature = "std")]
    {
        use std::path::PathBuf;
        assert!(caps_check!(PathBuf: core::clone::Clone));
        assert!(caps_check!(PathBuf: core::fmt::Debug));
        // PathBuf should implement Default
        assert!(caps_check!(PathBuf: Default));
    }

    // std::net::TcpStream
    #[cfg(feature = "std")]
    {
        use std::net::TcpStream;
        assert!(caps_check!(TcpStream: std::io::Read));
        assert!(caps_check!(TcpStream: std::io::Write));
    }
}