pub enum EdgeKind {
RequiresArtifact,
RequiresInterface,
Tests,
Integrates,
ConflictsWith,
DerivedFrom,
BlocksOnSensor,
}Expand description
Typed edge semantics (PSP-8 System 4).
Variants§
RequiresArtifact
Destination reads a file produced by source.
RequiresInterface
Destination relies on a sealed signature/schema/symbol.
Tests
Destination test node validates source implementation node.
Integrates
Destination reconciles a cross-node/domain/adapter boundary.
ConflictsWith
Nodes touch non-commuting durable state and must serialize.
DerivedFrom
Graph-rewrite lineage edge for audit.
BlocksOnSensor
Node cannot execute until a required sensor exists or is downgraded.
Implementations§
Trait Implementations§
impl Copy for EdgeKind
Source§impl<'de> Deserialize<'de> for EdgeKind
impl<'de> Deserialize<'de> for EdgeKind
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for EdgeKind
impl StructuralPartialEq for EdgeKind
Auto Trait Implementations§
impl Freeze for EdgeKind
impl RefUnwindSafe for EdgeKind
impl Send for EdgeKind
impl Sync for EdgeKind
impl Unpin for EdgeKind
impl UnsafeUnpin for EdgeKind
impl UnwindSafe for EdgeKind
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.