Struct Connection 

pub struct Connection {
    pub kind: String,
    pub source: String,
    pub target: String,
    pub action: GeneratorAction,
    pub laws: Vec<String>,
}

The uniform serialized morphism.

Fields

kind: String

The specific kind, resolved against the meta-ontology (e.g. "FullyFaithful", "FreeForgetful"). The action variant names the family; kind refines it.

source: String

The source category/ontology name.

target: String

The target category/ontology name.

action: GeneratorAction

The finite action-on-generators that IS this connection.

laws: Vec<String>

Names of the laws this connection must satisfy (functor laws, the triangle identities, the lens laws, …) — carried uniformly as data.

Implementations

impl Connection

pub fn address(&self) -> Result<ContentAddress, CodecError>

The content address of this connection — its definition-bearing identity, over the canonical (sorted) action + laws.

Trait Implementations

impl Clone for Connection

fn clone(&self) -> Connection

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Connection

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Connection

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Connection

impl PartialEq for Connection

fn eq(&self, other: &Connection) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Connection

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Connection