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

//! Capability markers for standard traits.
//!
//! Each marker is a zero-sized type with a unique hash stream for trie routing.

use crate::primitives::{Cons, ConstStream, GetTail, HashStream};
use crate::primitives::{X0, X1, X2, X3, X4, X5};
use crate::primitives::const_utils::TypeMarker;

// Import Capability from trie (but trie isn't enabled yet, so use capability.rs)
use crate::capability::Capability;

// =============================================================================
// Capability Markers
// =============================================================================

/// Marker for Clone detection (ID 0)
pub struct IsClone;
impl Capability for IsClone {
    type Stream = Cons<X0, ConstStream<X0>>;
    type Identity = TypeMarker<Self>;
    type At<D> = <<Self::Stream as GetTail<D>>::Out as HashStream>::Head
    where
        Self::Stream: GetTail<D>;
}

/// Marker for Copy detection (ID 1)
pub struct IsCopy;
impl Capability for IsCopy {
    type Stream = Cons<X1, ConstStream<X0>>;
    type Identity = TypeMarker<Self>;
    type At<D> = <<Self::Stream as GetTail<D>>::Out as HashStream>::Head
    where
        Self::Stream: GetTail<D>;
}

/// Marker for Debug detection (ID 2)
pub struct IsDebug;
impl Capability for IsDebug {
    type Stream = Cons<X2, ConstStream<X0>>;
    type Identity = TypeMarker<Self>;
    type At<D> = <<Self::Stream as GetTail<D>>::Out as HashStream>::Head
    where
        Self::Stream: GetTail<D>;
}

/// Marker for Default detection (ID 3)
pub struct IsDefault;
impl Capability for IsDefault {
    type Stream = Cons<X3, ConstStream<X0>>;
    type Identity = TypeMarker<Self>;
    type At<D> = <<Self::Stream as GetTail<D>>::Out as HashStream>::Head
    where
        Self::Stream: GetTail<D>;
}

/// Marker for Send detection (ID 4)
pub struct IsSend;
impl Capability for IsSend {
    type Stream = Cons<X4, ConstStream<X0>>;
    type Identity = TypeMarker<Self>;
    type At<D> = <<Self::Stream as GetTail<D>>::Out as HashStream>::Head
    where
        Self::Stream: GetTail<D>;
}

/// Marker for Sync detection (ID 5)
pub struct IsSync;
impl Capability for IsSync {
    type Stream = Cons<X5, ConstStream<X0>>;
    type Identity = TypeMarker<Self>;
    type At<D> = <<Self::Stream as GetTail<D>>::Out as HashStream>::Head
    where
        Self::Stream: GetTail<D>;
}

/// Empty Stream (for types with no capabilities)
pub type EmptyStream = ConstStream<X0>;