non_std 0.1.4

Collection of general purpose tools for solving problems. Fundamentally extend the language without spoiling, so may be used solely or in conjunction with another module of such kind.
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

/// Internal namespace.
pub( crate ) mod private
{
  use crate::prelude::*;

  // macro_rules! NODE_ID
  // {
  //   () => { < Node as HasId >::Id };
  // }

  ///
  /// Canonical implementation of edge.
  ///

  #[ derive( Debug, Copy, Clone ) ]
  pub struct Edge< EdgeId = crate::IdentityWithInt, NodeId = crate::IdentityWithInt, Kind = crate::EdgeKindless >
  where
    EdgeId : IdentityInterface,
    NodeId : IdentityInterface,
    Kind : EdgeKindInterface,
  {
    /// Input node.
    pub in_node : NodeId,
    /// Output node.
    pub out_node : NodeId,
    /// Kind of the edge.
    pub kind : Kind,
    /// Identifier.
    pub id : EdgeId,
  }

  //

  impl< EdgeId, NodeId, Kind > HasId
  for Edge< EdgeId, NodeId, Kind >
  where
    EdgeId : IdentityInterface,
    NodeId : IdentityInterface,
    Kind : EdgeKindInterface,
  {
    type Id = EdgeId;
    fn id( &self ) -> Self::Id
    {
      self.id
    }
  }

  //

  impl< EdgeId, NodeId, Kind > EdgeBasicInterface
  for Edge< EdgeId, NodeId, Kind >
  where
    EdgeId : IdentityInterface,
    NodeId : IdentityInterface,
    Kind : EdgeKindInterface,
  {
  }

  //

  impl< EdgeId, NodeId, Kind > PartialEq
  for Edge< EdgeId, NodeId, Kind >
  where
    EdgeId : IdentityInterface,
    NodeId : IdentityInterface,
    Kind : EdgeKindInterface,
  {
    fn eq( &self, other : &Self ) -> bool
    {
      self.id() == other.id()
    }
  }

  impl< EdgeId, NodeId, Kind > Eq
  for Edge< EdgeId, NodeId, Kind >
  where
    EdgeId : IdentityInterface,
    NodeId : IdentityInterface,
    Kind : EdgeKindInterface,
  {}

}

/// Protected namespace of the module.
pub mod protected
{
  pub use super::orphan::*;
}

pub use protected::*;

/// Parented namespace of the module.
pub mod orphan
{
  pub use super::exposed::*;
  pub use super::private::Edge;
}

/// Exposed namespace of the module.
pub mod exposed
{
  pub use super::prelude::*;
}

/// Prelude to use essentials: `use my_module::prelude::*`.
pub mod prelude
{
}