structural 0.2.2

Abstractions over fields.
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

/*!
Contains types representing values.
*/

// pub use core_extensions::type_level_bool::{self,True,False,Boolean};

pub mod cmp;
pub mod collection_traits;

#[doc(hidden)]
#[deprecated]
pub mod ident{
    pub use crate::type_level::field_path::*;
}

pub mod field_path;

pub mod integer;
#[doc(hidden)]
pub mod list;

#[doc(hidden)]
pub use self::{
    field_path::FieldPath1,
    list::{TList,TNil},
};

pub use self::{
    field_path::{
        IsFieldPath,IsFieldPathSet,
        FieldPath,FieldPathSet,
        UniquePaths,AliasedPaths,
    },
};


// Importing stuff from this module anywhere other than 
// `structural_derive` or `structural`  is
// explicitly disallowed,and is likely to break.
#[doc(hidden)]
pub mod _private{

    use crate::std_::marker::PhantomData;
    use crate::type_level::FieldPath;
    use crate::type_level::collection_traits::Flatten;

    /// A type-level string,represented as a tuple of type-level bytes.
    ///
    /// This is an implementation detail of structural,
    /// so that it's possible to replace it with `pub struct TString<const NAME:&'static str>`
    ///
    /// This cannot be converted to a `&'static str` constant
    /// (if you can figure out a cheap way to do that please create an issue/pull request).
    ///
    pub struct TString<T>(pub(crate) PhantomData<T>);

    pub type FlattenedFieldPath<Tuple>=
        FieldPath<Flatten<Tuple>>;

}