Struct Interface 

pub struct Interface {
    pub capability_id: CapabilityId,
    pub direction: InterfaceDirection,
    pub codimension: usize,
}

A marked interface on a namespace: a capability with a direction.

In the operadic framework, output interfaces of one namespace can be glued to input interfaces of another.

Fields

capability_id: CapabilityId

Which capability this interface is associated with

direction: InterfaceDirection

Direction of the interface

codimension: usize

Codimension of the underlying Schubert class

Implementations

impl Interface

pub fn new( capability_id: CapabilityId, direction: InterfaceDirection, codimension: usize, ) -> Self

Create a new interface.

Trait Implementations

impl Clone for Interface

fn clone(&self) -> Interface

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Interface

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

Formats the value using the given formatter.