devela 0.27.0

A development layer of coherence.
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

// devela::code::intro::define
//
//! Defines the [`Introspect`] struct.
//

#![doc = crate::_tags!(wip)]
#[doc = crate::_tags!(introspect)]
/// Introspection core trait.
#[doc = crate::_doc_location!("code")]
///
/// Provides structural metadata about types and values.
/// Implement for any type to describe its fundamental properties.
///
///
/// ```ignore
/// # use devela::Introspect;
/// enum MyKind { A, B, C }
///
/// struct MyTypeA;
/// struct MyTypeB;
///
/// impl Introspect for MyTypeA {
///     type Kind = MyKind;
///     fn intro_kind(&self) -> Self::Kind { MyKind::A }
/// }
///
/// impl Introspect for MyTypeB {
///     type Kind = MyKind;
///     fn intro_kind(&self) -> Self::Kind { MyKind::B }
/// }
/// ```
pub trait Introspect {
    /// A type representing the kind of `Self`.
    type Kind;

    /// Returns the kind/type of the implementing value.
    fn intro_kind(&self) -> Self::Kind;
}